About ICSI Groups Projects Publications Events Partnerships Visitors' Program News Search
 
       
 

Publications

ICSI Technical Reports

 

 
07/__/2009
Handling Temporal Granularity in Situation-Based Services

S. Pfennigschmidt and A. Voisard

ICSI Technical Report TR-09-005

07/__/2009
EVA: An EVent Algebra Supporting Adaptivity and Collaboration in Event‐Based Systems

A. Hinze and A. Voisard

ICSI Technical Report TR-09-006

07/__/2009
Exploiting Road Network Properties in Efficient Shortest‐Path Computation

D. Pfoser, A. Efentakis, A. Voisard, and C. Wenk

ICSI Technical Report TR-09-007

06/__/2009
Designing Sensor‐Based Event Processing Infrastructures: A Tradeoff Analysis

A. Voisard and H. Ziekow

ICSI Technical Report TR-09-004

03/__/2009
A Specification of a Hybrid Petri Net Semantics for the HISim Simulator

A. Amengual

ICSI Technical Report TR-09-003

03/__/2009
A Computational Model of Attachment Secure Responses in the Strange Situation

A. Amengual

ICSI Technical Report TR-09-002

02/__/2009
Hill-Climbing Ensemble Feature Selection with a Larger Ensemble

D. Gelbart

ICSI Technical Report TR-09-001

10/__/2008
Multi-Modal Speaker Diarization of Real-World Meetings Using Compressed-Domain Video Features

G. Friedland, H. Hung, and C. Yeo

ICSI Technical Report TR-08-007

08/__/2008
Using Spurious Retransmissions to Adapt the Retransmission Timeout

J. Blanton, E. Blanton, and M. Allman

ICSI Technical Report TR-08-005

08/__/2008
NAP, WCCN, a New Linear Kernel, and a Keyword Weighting for the HMM Supervector Speaker Recognition System

H. Lei

ICSI Technical Report TR-08-006

03/__/2008
Effects of Replication on Web Service Performance in WebSphere

V. Stantchev

ICSI Technical Report TR-08-003

03/__/2008
Speaker Role Detection in Meetings Using Lexiocal Information and Social Network Analysis

N. P. Garg and D. Hakkani-Tur

ICSI Technical Report TR-08-004

02/__/2008
Hybrid-System Modeling of Human Blood Clotting

J. Makin and S. Narayanan

ICSI Technical Report TR-08-002

01/__/2008
Live Speaker Identification in Meetings:

O. Vinyals and G. Friedland

ICSI Technical Report TR-08-001

11/__/2007
Speeding Up Speaker Diarization by Using Prosodic Features

Y. Huang, G. Friedland, C. Mueller, and N. Mirghafori

ICSI Technical Report TR-07-004

07/__/2007
An Investigation of Tandem MLP Features for ASR

A. Faria

ICSI Technical Report TR-07-003

06/__/2007
Revisiting a Basic Function on Current CPUs: A Fast Logarithm Implementation with Adjustable Accuracy

O. Vinyals, G. Friedland, and N. Mirghafori

ICSI Technical Report TR-07-002

03/__/2007
Multilinguality and FrameNet

B. Lönneker-Rodman

ICSI Technical Report TR-07-001

06/__/2006
The Annotation and Analysis of Importance in Meetings

R. Eklund, R. Bates, C. Kuyper, E. Willingham, and E. Shriberg

ICSI Technical Report TR-06-003

05/__/2006
A (Somewhat) New Solution to the Binding Problem

L. Barrett, J. Feldman, and L. M. Dermed

ICSI Technical Report TR-06-001

04/__/2006
It’s the Body, Stupid: Concept Learning According to Cognitive Science

B. Bergen and J. Feldman

ICSI Technical Report TR-06-002

09/__/2005
Semi-Supervised Model Selection Based on Cross-Validation

M. Kaariainen

ICSI Technical Report TR-05-010

09/__/2005
Semi-Supervised Model Selection Based on Cross-Validation

M. Kaariainen

ICSI Technical Report TR-05-010

08/__/2005
CosMos - Communication Scenario and Mobility Scenario Generator

M. Guenes

ICSI Technical Report TR-05-003

08/__/2005
XBIC: Real-Time Cross Probabilities measure for speaker segmentation

X. Anguera

ICSI Technical Report TR-05-008

07/__/2005
Language Modeling in the ICSI-SRI Spring 2005 Meeting Speech Recognition Evaluation System

O. Cetin and A. Stolcke

ICSI Technical Report TR-05-006

05/__/2005
Meeting Recorder Project: Hot Spot Labeling Guide

B. Wrede, S. Bhagat, R. Dhillon, and E. Shriberg

ICSI Technical Report TR-05-004

04/__/2005
Spoken Language Processing in the Clarissa Procedure Browser

M. Rayner, B. A. Hockey, J.-M. Renders, N.Chatzichrisafis, and K. Farrell

ICSI Technical Report TR-05-005

11/__/2004
On the Impact of BER on Realistic TCP Traffic in Satellite Networks

P. Narasimhan, H. Kruse, S. Ostermann, and M. Allman

ICSI Technical Report TR-04-005

02/__/2004
Meeting Recorder Project: Dialog Act Labeling Guide

R. Dhillon, S. Bhagat, H. Carvey, and E. Shriberg

ICSI Technical Report TR-04-002

11/__/2003
Pitch-based Vocal Tract Length Normalization

A. Faria

ICSI Technical Report TR-03-001

10/__/2003
A Discriminative Model for Identifying Spatial cis-Regulatory Modules

E. Segal and R. Sharan

ICSI Technical Report TR-03-004

09/__/2003
Scaling Up: Learning Large-scale Recognition Methods from Small-scale Recognition Tasks

N. Morgan, B. Y. Chen, Q. Zhu, and A. Stolcke

ICSI Technical Report TR-03-002

09/__/2003
Identification of Protein Complexes by Comparative Analysis of Yeast and Bacterial Protein Interaction Data

R. Sharan, T. Ideker, B. Kelley, R. Shamir, and R. M. Karp

ICSI Technical Report TR-03-003

09/__/2003
SchemaDB - An Extensible Schema Database System Using ECG Representation

M. Li

ICSI Technical Report TR-04-001

10/__/2002
A Connectionist Encoding of Parameterized Schemas and Reactive Plans

L. Shastri, D. Grannes, S. Narayanan, and J. Feldman

ICSI Technical Report TR-02-008

10/__/2002
FrameNet: Theory and Practice

C. R. Johnson, C. J. Fillmore, M. R. L. Petruck, C. F. Baker, M. Ellsworth, J. Ruppenhofer, and E. J. Wood

ICSI Technical Report TR-02-009

09/__/2002
A Syllable, Articulatory-Feature, and Stress-Accent Model of Speech Recognition

S. Chang

ICSI Technical Report TR-02-007

09/__/2002
A Proposed Formalism for ECG Schemas, Constructions, Mental Spaces, and Maps

J. A. Feldman

ICSI Technical Report TR-02-010

09/__/2002
The Meaning of Reference in Embodied Construction Grammar

J. A. Feldman

ICSI Technical Report TR-02-011

07/__/2002
RR-TCP: A Reordering-Bobust TCP with DSACK

M. Zhang, B. Karp, S. Floyd and L. Peterson

ICSI Technical Report TR-02-006, Berkeley, CA, July 2002.

07/__/2002
Improving TCP's Performance under Reordering with DSACK

M. Zhang, B. Karp, S. Floyd, and L. Peterson

ICSI Technical Report TR-02-006

02/__/2002
A New View of the Medial Temporal Lobes and the Structure of Memory

C. Ranganath, L. Shastri, and M. D'Esposito

ICSI Technical Report TR-02-001

02/__/2002
Embodied Construction Grammar in Simulation-Based Language Understanding

B. K. Bergen and N C. Chang

ICSI Technical Report TR-02-004

02/__/2002
Analysis of Composite Corridors

T. Nakamura and E. Berlekamp

ICSI Technical Report TR-02-005

09/__/2001
Arriving Events in English and Spanish: A Contrastive Analysis in terms of Frame Semantics

M. Cristobal

ICSI Technical Report TR-01-009

08/__/2001
Exiting Events in Spanish: Boundary I-Schema and Move X-Schema

C. Bretones, M. Cristóbal, and I. Ibarretxe

ICSI Technical Report TR-01-007

08/__/2001
Synaesthetic Metaphors in English

C. Bretones

ICSI Technical Report TR-01-008

07/__/2001
An Overview of Basque Locational Cases: Old Descriptions, New Approaches

I. Ibarretxe-Antunano

ICSI Technical Report TR-01-006

04/__/2001
Controlling High Bandwidth Flows at the Congested Router

R. Mahajan and S. Floyd

ICSI Technical Report TR-01-001

04/__/2001
Episodic Memory Trace Formation in the Hippocampal System: A Model of Cortico-Hippocampal Interaction

L. Shastri

ICSI Technical Report TR-01-004

04/__/2001
Automatic Labeling of Semantic Roles

D. Gildea and D. Jurafsky

ICSI Technical Report TR-01-005

02/__/2001
Identifying the TCP Behavior of Web Servers

J. Padhye and S.Floyd

ICSI Technical Report TR-01-002

02/__/2001
USAIA: Ubiquitous Service Access Internet Architecture

J. Sokol and J. Widmer

ICSI Technical Report TR-01-003

12/__/2000
Discriminant Training of Front-End and Acoustic Modeling Stages to Heterogeneous Acoustic Environments for Multi-Stream Automatic Speech Recognition

M. L. Shire

ICSI Technical Report TR-00-012

10/__/2000
A Scalable Content Addressable Network

S. Ratnasamy, P. Francis, M. Handley, R. Karp, and S. Shenker

ICSI Technical Report TR-00-010

07/__/2000
Workshop on Design Issues in Anonymity and Unobservability (Preproceedings)

H. Federrath

ICSI Technical Report TR-00-011

05/__/2000
A Mobile Network Architecture for Vehicles

J. Widmer

ICSI Technical Report TR-00-009

04/__/2000
Stream Combination Before and/or After the Acoustic Model

D. P.W. Ellis

ICSI Technical Report TR-00-007

04/__/2000
Variable Packet Size Equation Based Congestion Control

P. Reviriego

ICSI Technical Report TR-00-008

03/__/2000
Automatic Detection of Prosodic Stress in American English Discourse

R. Silipo and S. Greenberg

ICSI Technical Report TR-00-001

03/__/2000
Broadcasting Time Cannot be Approximated Within a Factor of 57/56-epsilon

C. Schindelhauer

ICSI Technical Report TR-00-002

03/__/2000
Equation-Based Congestion Control for Unicast Applications: the Extended Version

S. Floyd, M. Handley, J. Padhye, and J. Widmer

ICSI Technical Report TR-00-003

03/__/2000
Speech Recognition Experiments on Switchboard Corpus

T. Abe

ICSI Technical Report TR-00-004

03/__/2000
Acoustic Stress and Topic Detection in American English Spoken Sentences

R. Silipo and F. Crestani

ICSI Technical Report TR-00-005

03/__/2000
Acoustic Change Detection and Clustering on Broadcast News

J. Ferreiros and D. Ellis

ICSI Technical Report TR-00-006

12/__/1999
A Model for Combining Semantic and Phonetic Term Similarity for Spoken Document and Spoken Query Retrieval

F. Crestani

ICSI Technical Report TR-99-020

12/__/1999
Schematic Maps for Robot Navigation

C. Freksa, R. Moratz, and T. Barkowsky

ICSI Technical Report TR-99-021

10/__/1999
An Experimental Study of the Effects of Word Recognition Errors in
Spoken Queries on the Effectiveness of an Information Retrieval System

F. Crestani

ICSI Technical Report TR-99-016

10/__/1999
MetaViz: Visual Interaction with Geospatial Digital Libraries

V. Jung

ICSI Technical Report TR-99-017

09/__/1999
Soft-to-Hard Model Transition in Clustering: A Review

A. Baraldi and L. Schenato

ICSI Technical Report TR-99-010

09/__/1999
Dynamic Pronunciation Models for Automatic Speech Recognition

J. E. Fosler-Lussier

ICSI Technical Report TR-99-015

07/__/1999
A Spatiotemporal Connectionist Model of Algebraic Rule-Learning

L. Shastri and S. Chang

ICSI Technical Report TR-99-011

07/__/1999
Simultaneous Speech and Speaker Recognition Using Hybrid Architecture

D. Genoud, D. Ellis, and N. Morgan

ICSI Technical Report TR-99-012

07/__/1999
A Study of Users' Perception of Relevance of Spoken Documents

T. Tombros and F. Crestani

ICSI Technical Report TR-99-013

06/__/1999
Robust Transmission of MPEG Video Streams over Lossy Packet-Switching Networks by using PET

A. Albanese and G. Fortino

ICSI Technical Report TR-99-014

04/__/1999
A Biological Grounding of Recruitment Learning and Vicinal Algorithms

L. Shastri

ICSI Technical Report TR-99-009

03/__/1999
An Elementary Proof of the Johnson-Lindenstrauss Lemma

S. Dasgupta and A. Gupta

ICSI Technical Report TR-99-006

03/__/1999
A Time-Sensitive Actor Framework in Java for the Development of Multimedia Systems over the Internet MBone

G. Fortino, L. Nigro, and A. Albanese

ICSI Technical Report TR-99-007

03/__/1999
Sleep Stage Classification using Wavelet Transform and Neural Network

E. Oropesa, H. L. Cycon, and M. Jobert

ICSI Technical Report TR-99-008

01/__/1999
Fast Convergence of the Glauber Dynamics for Sampling Independent Sets: Part I

M. Luby and E. Vigoda

ICSI Technical Report TR-99-002

01/__/1999
Fast Convergence of the Glauber Dynamics for Sampling Independent Sets: Part II

E.Vigoda

ICSI Technical Report TR-99-003

01/__/1999
A Multi-Band Approach to Automatic Speech Recognition

N. N. Mirghafori

ICSI Technical Report TR-99-004

12/__/1998
Approximate Protein Folding in the HP Side Chain Model on Extended Cubic Lattices

V. Heun

ICSI Technical Report TR-98-029

12/__/1998
Markov Models and Hidden Markov Models: A Brief Tutorial

E. Fosler-Lussier

ICSI Technical Report TR-98-041

12/__/1998
Unsupervised Learning from Dyadic Data

T. Hofmann and J. Puzicha

ICSI Technical Report TR-98-042

12/__/1998
Advances in SHRUTI: A neurally motivated model of relational knowledge representation and rapid inference using temporal synchrony.

L. Shastri

ICSI Technical Report TR-98-043

10/__/1998
The PHiPAC v1.0 Matrix-Multiply Distribution.

J. Bilmes, K. Asanovic, C.-W. Chin, and J. Demmel

ICSI Technical Report TR-98-035

10/__/1998
Scheduling with Limited Machine Availability

G. Schmidt

ICSI Technical Report TR-98-036

10/__/1998
A Survey of Fuzzy Clustering Algorithms for Pattern Recognition

A. Baraldi and P. Blonda

ICSI Technical Report TR-98-038

09/__/1998
MICO: A CORBA 2.2 compliant implementation

A. Puder and K. Roemer

ICSI Technical Report TR-98-031

09/__/1998
A Security Mechanism for the Resource Management in a Web Operating System

H. Unger

ICSI Technical Report TR-98-032

09/__/1998
Online Association Rule Mining

C. Hidber

ICSI Technical Report TR-98-033

08/__/1998
Optimal Dynamic Embeddings of Complete Binary Trees into Hypercubes

V. Heun and E. W. Mayr

ICSI Technical Report TR-98-022

08/__/1998
Efficient Dynamic Embeddings of Binary Trees into Hypercubes

V. Heun and E. W. Mayr

ICSI Technical Report TR-98-023

08/__/1998
A Fuzzy Based Load Sharing Mechanism for Distributed Systems

H. Unger and T. Boehme

ICSI Technical Report TR-98-026

08/__/1998
Face Recognition: a Summary of 1995 - 1997

T. Fromherz

ICSI Technical Report TR-98-027

08/__/1998
Learning From Data: General Issues and Special Applications of Radial Basis Function Networks

A. Baraldi and N. A. Borghese

ICSI Technical Report TR-98-028

08/__/1998
Robust Speech Recognition Using Articulatory Information

K. Kirchhoff

ICSI Technical Report TR-98-037

08/__/1998
The Virtual Gallery (TVIG) - 3D visualization of a queryable art-database on the Internet

A. Mueller and E. Neuhold

ICSI Technical Report TR-98-039

07/__/1998
Reconstructing Hv-Convex Polyominoes from Orthogonal Projections

M. Chrobak and C. Dürr

ICSI Technical Report TR-98-020

06/__/1998
Incremental Class Learning Approach and Its Application to Handwritten Digit Recognition

J. Mandziuk and L. Shastri

ICSI Technical Report TR-98-015

06/__/1998
The Auditory Organization of Speech in Listeners and Machines

M. Cooke and D. P.W. Ellis

ICSI Technical Report TR-98-016

06/__/1998
Scatter-Partitioning RBF Network for Function Regression and Image Segmentation: Preliminary Results

A. Baraldi

ICSI Technical Report TR-98-017

06/__/1998
SAR Image Segmentation Exploiting No Background Knowledge on Speckled Radiance: A Feasibility Study

A. Baraldi and F. Parmiggiani

ICSI Technical Report TR-98-018

06/__/1998
Decoding Algebraic-Geometric Codes Beyond the Error-Correction Bound

M. A. Shokrollahi and H. Wasserman

ICSI Technical Report TR-98-019

05/__/1998
A Digital Fountain Approach to Reliable Distribution of Bulk Data

J. W. Byers, M. Luby, M. Mitzenmacher, and A. Rege

ICSI Technical Report TR-98-013

05/__/1998
Incorporating Information From Syllable-Length Time Scales into Automatic Speech Recognition

S.-L. Wu

ICSI Technical Report TR-98-014

04/__/1998
Geospatial Information Extraction: Querying or Quarrying?

A. Voisard and M. Juergens

ICSI Technical Report TR-98-010

04/__/1998
CORBA--Based Interoperable Geographic Information Systems

H.-A. Jacobsen and A. Voisard

ICSI Technical Report TR-98-011

04/__/1998
Reconstructing Polyatomic Structures from Discrete X-Rays: NP-Completeness Proof for Three Atoms

M. Chrobak and C. Dürr

ICSI Technical Report TR-98-012

03/__/1998
Multicasting Multimedia Streams with Active Networks

A. Banchs, W. Effelsberg, C. Tschudin, and V. Turau

ICSI Technical Report TR-97-050

03/__/1998
Enabling Synchronous Joint-Working In Java

V. Minenko

ICSI Technical Report TR-98-006

03/__/1998
From GISystems to GIServices: Spatial Computing on the Internet Marketplace

O. Günther and R. Müller

ICSI Technical Report TR-98-008

03/__/1998
Image Segmentation Through Contextual Clustering

A. Baraldi, P. Blonda, F. Parmiggiani, and G. Satalino

ICSI Technical Report TR-98-009

02/__/1998
Simplified ART: A New Class of ART Algorithms

A. Baraldi and E. Alpaydin

ICSI Technical Report TR-98-004

02/__/1998
Digital Fountain Approach to Reliable Distribution of Bulk Data

J. Byers, M. Luby, M. Mitzenmacher, and A. Rege

ICSI Technical Report TR-98-005

01/__/1998
Isoperimetric Functions of Amalgamations of Nilpotent Groups

C. Hidber

ICSI Technical Report TR-98-001

01/__/1998
Maximizing Throughput of Reliable Bulk Network Transmissions

J. W. Byers

ICSI Technical Report TR-98-002

12/__/1997
Sather 2: A Language Design for Safe, High-Performance Computing

B. Gomes, W. Loewe, J. W. Quittek, and B. Weissman

ICSI Technical Report TR-97-035

12/__/1997
Parallel Computing on MultiSpert

P. Färber

ICSI Technical Report TR-97-046

12/__/1997
Quicknet on MultiSpert: Fast Parallel Neural Network Training

P. Färber

ICSI Technical Report TR-97-047

12/__/1997
Multi-Band Speech Recognition: A Summary of Recent Work at ICSI

N. N. Mirghafori

ICSI Technical Report TR-97-051

12/__/1997
Constructing Fuzzy Graphs from Examples

M. R. Berthold and K.-P. Huber

ICSI Technical Report TR-97-053

12/__/1997
A Performance Evaluation of Fine Grain Thread Migration with Active Threads

B. Weissman, B. Gomes, J. W. Quittek, and M. Holtkamp

ICSI Technical Report TR-97-054

12/__/1997
Type-Safety and Overloading in Sather

B. Gomes, D. Stoutamire, and B. Weissman

ICSI Technical Report TR-97-055

12/__/1997
Portable, Modular Expression of Locality

D. Stoutamire

ICSI Technical Report TR-97-056

12/__/1997
Deployment of RASTA-PLP with the Siemens ZT Speech Recognition System

M. L. Shire

ICSI Technical Report TR-97-057

12/__/1997
A Lower Bound for Integer Multiplication on Randomized Read-Once Branching Programs

F. Ablayev and M. Karpinski

ICSI Technical Report TR-97-058

12/__/1997
Polynomial Time Approximation of Dense Weighted Instances of MAX-CUT

W. Fernandez de la Vega and M. Karpinski

ICSI Technical Report TR-97-059

12/__/1997
On Approximation Hardness of the Bandwidth Problem

M. Karpinski and J. Wirtgen

ICSI Technical Report TR-97-060

12/__/1997
Using Value Semantic Abstractions to Guide Strongly Typed Library Design

B. Gomes, D. Stoutamire, B. Weissman, and J. Feldman

ICSI Technical Report TR-97-061

11/__/1997
Analysis of Random Processes via And-Or Tree Evaluation

M. G. Luby, M. Mitzenmacher, and M. A. Shokrollahi

ICSI Technical Report TR-97-042

11/__/1997
Java Multimedia Studio v1.0

G. Fortino

ICSI Technical Report TR-97-043

11/__/1997
Improved Low-Density Parity-Check Codes Using Irregular Graphs and Belief Propagation

M. G. Luby, M. Mitzenmacher, M. A. Shokrollahi, and D. A. Spielman

ICSI Technical Report TR-97-044

11/__/1997
Analysis of Low Density Codes and Improved Designs Using Irregular Graphs

M. G. Luby, M. Mitzenmacher, M. A. Shokrollahi, and D. A. Spielman

ICSI Technical Report TR-97-045

11/__/1997
Towards Mobile Cryptography

T. Sander and C. F. Tschudin

ICSI Technical Report TR-97-049

10/__/1997
Rapid Learning of Binding-Match and Binding-Error Detector Circuits via Long-Term Potentiation

L. Shastri

ICSI Technical Report TR-97-037

10/__/1997
REx: Learning A Rule and Exceptions

E. Alpaydin

ICSI Technical Report TR-97-040

10/__/1997
When Push Comes to Shove: A Computational Model of the Role of Motor Control in the Acquisition of Action Verbs

D. R. Bailey

ICSI Technical Report TR-97-041

09/__/1997
Active Threads: An Extensible and Portable Light-Weight Thread System

B. Weissman

ICSI Technical Report TR-97-036

09/__/1997
Thread Migration with Active Threads

M. Holtkamp

ICSI Technical Report TR-97-038

09/__/1997
Positional Logic Algebra - PLA - A Fascinating Alternative Approach

C. M. Hamann and L. Chtcherbanski

ICSI Technical Report TR-97-039

08/__/1997
Deciding Properties of Polynomials without Factoring

T. Sander and M. A. Shokrollahi

ICSI Technical Report TR-97-027

08/__/1997
Sorting on a Massively Parallel System Using a Library of Basic Primitives: Modeling and Experimental Results

A. Wachsmann and R. Wanka

ICSI Technical Report TR-97-028

08/__/1997
Playing Tetris on Meshes and Multi-Dimensional Shearsort

M. Kutylowski and R. Wanka

ICSI Technical Report TR-97-029

08/__/1997
Hybrid Approaches to Neural Network*based Language Processing

S. Wermter

ICSI Technical Report TR-97-030

08/__/1997
More Robust J-RASTA Processing Using Spectral Subtraction and Harmonic Sieving

H. Ogawa

ICSI Technical Report TR-97-031

08/__/1997
Parallel Complexity of Numerically Accurate Linear System Solvers

M. Leoncini, G. Manzini, and L. Margara

ICSI Technical Report TR-97-032

08/__/1997
Social Carrier Recommendation for Selecting Services in Electronic Telecommunication Markets: A Preliminary Report

B. Liver and J. Altmann

ICSI Technical Report TR-97-033

07/__/1997
Constructing Semantic Representations Using the MDL Principle

G. Scheler

ICSI Technical Report TR-97-025

06/__/1997
Exploiting Temporal Binding to Learn Relational Rules Within a Connectionist Network

L. Shastri

ICSI Technical Report TR-97-003

05/__/1997
Exploiting Temporal Binding to Learn Relational Rules Within a Connectionist Network

L. Shastri

ICSI Technical Report TR-97-003

05/__/1997
An Approximation Algorithm for the Bandwidth Problem on Dense Graphs

M. Karpinski, J. Wirtgen, and A. Zelikovsky

ICSI Technical Report TR-97-016

05/__/1997
Empirical Observations of Probabilistic Heuristics for the Clustering Problem

J. Bilmes, A. Vahdat, W. Hsu, and E.-J. Im

ICSI Technical Report TR-97-018

05/__/1997
Optimization with the Hopfield network based on correlated noises: an empirical approach

J. Mandziuk

ICSI Technical Report TR-97-019

05/__/1997
Normal Bases via General Gau\ss\ Periods

J. von zur Gathen, S. Schlink, and M. A. Shokrollahi

ICSI Technical Report TR-97-020

05/__/1997
A Gentle Tutorial on the EM Algorithm Including Gaussian Mixtures and Baum-Welch

J. Bilmes

ICSI Technical Report TR-97-021

05/__/1997
Polynomial Time Approximation Schemes for Some Dense Instances of NP-Hard Optimization Problems

M. Karpinski

ICSI Technical Report TR-97-022

05/__/1997
Reorganization in Persistent Object Stores

R. Salama, L. Wegner, and J. Thamm

ICSI Technical Report TR-97-023

05/__/1997
Collaboration Support in Networked Distance Learning

B. Krämer and L. Wegner

ICSI Technical Report TR-97-024

04/__/1997
A Modular Analysis of Network Transmission Protocols

M. Adler, Y. Bartal, J. W. Byers, M. Luby, and D. Raz

ICSI Technical Report TR-97-001

04/__/1997
Parallel Optimizations: Advanced Constructs and Compiler Optimizations for a Parallel, Object Oriented, Shared Memory Language Running on a Distributed System

C. Fleiner

ICSI Technical Report TR-97-014

04/__/1997
Efficiency of PET and MPEG Encoding for Video Streams: Analytical QoS Evaluations

B. E. Wolfinger

ICSI Technical Report TR-97-015

03/__/1997
Mapping Conceptual Geographic Models onto DBMS Data Models

A. Voisard and B. David

ICSI Technical Report TR-97-005

03/__/1997
Abstraction and Decoposition in Open GIS

A. Voisard and H. Schweppe

ICSI Technical Report TR-97-006

03/__/1997
Cased Base Reasoning: A New Technology for Experience Based Construction of Knowledge Systems

K. Althoff, M. Richter, and W. Wilke

ICSI Technical Report TR-97-008

03/__/1997
Generalized Planning and Information Retrieval

M. M. Richter

ICSI Technical Report TR-97-009

03/__/1997
Perspectives on the Integration of Fuzzy and Case-Based Reasoning Systems

M. M. Richter

ICSI Technical Report TR-97-010

03/__/1997
Multilayered Extended Semantic Networks-The MESNET Paradigm

H. Helbig

ICSI Technical Report TR-97-011

03/__/1997
User-Friendly Information Retrieval in Data Bases and in the World Wide Web

H. Helbig

ICSI Technical Report TR-97-012

03/__/1997
Differential Evolution: A Method for Optimization of Real Scheduling Problems

M. Rüttgers

ICSI Technical Report TR-97-013

02/__/1997
Protocol Enhancement and Compression for X-Based Application Sharing

M. Mauve

ICSI Technical Report TR-97-004

01/__/1997
The Spectro-Microscopy Electronic Notebook

S. R. Sachs, C. M. Dal Sasso Freitas, V. Markowitz, A. Talis, I-M. A. Chen, E. Szeto, and H. A. Kuno

ICSI Technical Report TR-97-002

01/__/1997
On-Line Load Balancing for Related Machines

P. Berman, M. Charikar, and M. Karpinski

ICSI Technical Report TR-97-007

12/__/1996
The Complexity of Two-Dimensional Compressed Pattern Matching

P. Berman, M. Karpinski, L. Larmore, W. Plandowski, and W. Rytter

ICSI Technical Report TR-96-051

12/__/1996
Optimal Trade-Offs Between Size and Slowdown for Universal Parallel Networks

F. Meyer auf der Heide, M. Storch, and R. Wanka

ICSI Technical Report TR-96-052

12/__/1996
Correctness of Constructing Optimal Alphabetic Trees Revisited

M. Karpinski, L. Larmore, and W. Rytter

ICSI Technical Report TR-96-053

12/__/1996
Aspects of Algebraic Geometry over Non Algebraically Closed Fields

T. Sander

ICSI Technical Report TR-96-055

12/__/1996
Torrent Architecture Manual

K. Asanovic and D. Johnson

ICSI Technical Report TR-96-056

12/__/1996
T0 Engineering Data

K. Asanovic and J. Beck

ICSI Technical Report TR-96-057

12/__/1996
Recognition of Handwritten Digits and Human Faces by Convolutional Neural Networks

C. Neubauer

ICSI Technical Report TR-96-058

12/__/1996
Approximating Dense Cases of Covering Problems

M. Karpinski and A. Zelikovsky

ICSI Technical Report TR-96-059

11/__/1996
System Design by Constraint Adaptation and Differential Evolution

R. M. Storn

ICSI Technical Report TR-96-039

11/__/1996
Echo Cancellation Techniques for Multimedia Applications - A Survey

R. M. Storn

ICSI Technical Report TR-96-046

11/__/1996
Interactive Proof Systems with Public Coin: Lower Space Bounds and Hierarchies of Complexity Classes

M. Liskiewicz

ICSI Technical Report TR-96-047

11/__/1996
Metadata in Geographic and Environmental Data Management

O.Günther and A. Voisard

ICSI Technical Report TR-96-049

11/__/1996
Randomized $\mathbf{\Omega (n^2)}$ Lower Bound for Knapsack

D. Grigoriev and M. Karpinski

ICSI Technical Report TR-96-050

10/__/1996
Generalized Thermography: Algorithms, Implementation, and Application to Go Endgame

M. Müller, E. Berlekamp, and B.Spight

ICSI Technical Report TR-96-030

10/__/1996
Multidimensional Access Methods

V. Gaede and O. Günther

ICSI Technical Report TR-96-043

10/__/1996
MMM: A WWW-Based Method Management System for Using Software Modules Remotely

O. Günther, R. Müller, P. Schmidt, H. Bhargava, and R. Krishnan

ICSI Technical Report TR-96-044

10/__/1996
Coevolutionary Game-Theoretic Multi-Agent Systems: the Application to Mapping and Scheduling Problems

F. Seredynski

ICSI Technical Report TR-96-045

09/__/1996
A Cooperative Multimedia Environment with QOS Control: Architectural and Implementation Issues

M. Alfano and N. Radouniklis

ICSI Technical Report TR-96-040

09/__/1996
Efficient Oblivious Parallel Sorting on the MasPar MP-1

K. Brockmann and R. Wanka

ICSI Technical Report TR-96-042

08/__/1996
The Sather 1.1 Specification

D. Stoutamire and S. Omohundro

ICSI Technical Report TR-96-012

08/__/1996
Computability of String Functions Over Algebraic Structures ( Preliminary Version )

A. Hemmerling

ICSI Technical Report TR-96-028

08/__/1996
JAM: A Java Toolkit for Traffic Analyzing and Monitoring

A. März and R. Ulrich

ICSI Technical Report TR-96-029

08/__/1996
Reasoning about Sets via Atomic Decomposition

H. J. Ohlbach and J. Koehler

ICSI Technical Report TR-96-031

08/__/1996
A Simple Approximation Algorithm in $\Z[e^{2\pi i/8}]$

M. A. Shokrollahi and V. Stemann

ICSI Technical Report TR-96-032

08/__/1996
Approximation of Complex Numbers by Cyclotomic Integers

M. A. Shokrollahi and V. Stemann

ICSI Technical Report TR-96-033

08/__/1996
On the Representative Power of Commented Markov Models

R. Blasig and G. Fahner

ICSI Technical Report TR-96-034

08/__/1996
The Syllable Re-revisited

A. Hauenstein

ICSI Technical Report TR-96-035

08/__/1996
Adaptive Load Sharing based on a Broker Module

M. Avvenuti, L. Rizzo, and L. Vicisano

ICSI Technical Report TR-96-036

08/__/1996
An Analysis of the Divergence of Two Sather Dialects

D. Stoutamire, W. Zimmermann, and M. Trapp

ICSI Technical Report TR-96-037

08/__/1996
Design and Implementation of a Web-based Tool for ATM Connection Management

M. Bernhardt

ICSI Technical Report TR-96-041

08/__/1996
Transmission of Multimedia Data Over Lossy Networks (Thesis)

M. Isenburg

ICSI Technical Report TR-96-048

07/__/1996
Structural Classification - A Preliminary Report

J. Koehler, K. Stoffel, and J. A. Hendler

ICSI Technical Report TR-96-023

07/__/1996
Reservoir-based ABR Servive in ATM Networks

W. Frohberg and R. Ulrich

ICSI Technical Report TR-96-024

07/__/1996
Space Bounds for Interactive Proof Systems with Public Coins and Bounded Number of Rounds

M. Liskiewicz and R. Reischuk

ICSI Technical Report TR-96-025

07/__/1996
Qualification and Causality

M. Thielscher

ICSI Technical Report TR-96-026

07/__/1996
Fractal Behavior of Video and Data Traffic

W. Frohberg

ICSI Technical Report TR-96-027

06/__/1996
A DSOM Hierarchical Model for Reflexive Processing: An Application to Visual Trajectory Classification

C. Privitera and L. Shastri

ICSI Technical Report TR-96-011

06/__/1996
Parallel Balanced Allocation

V. Stemann

ICSI Technical Report TR-96-020

06/__/1996
Randomized Efficient Algorithms for Compressed Strings: the Finger-Print Approach

L. Gasieniec, M. Karpinski, W. Plandowski, and W. Rytter

ICSI Technical Report TR-96-021

06/__/1996
Determining Priority Queue Performance from Second Moment Traffic Characterizations

E. W. Knightly

ICSI Technical Report TR-96-022

05/__/1996
Interaction Selection and Complexity Control for Learning in Binarized Domains

G. Fahner

ICSI Technical Report TR-96-001

05/__/1996
Deterministic Generalized Automata

D. Giammarresi and R. Montalbano

ICSI Technical Report TR-96-016

05/__/1996
Structural Grobner Basis Detection

B. Sturmfels and M. Wiegelmann

ICSI Technical Report TR-96-017

05/__/1996
A Management Platform for Global Area ATM Networks

R. Ulrich

ICSI Technical Report TR-96-018

04/__/1996
The Voice Mail Digits and Their Performance on ICSI's Hybrid HMM/ANN System

R. Klisch

ICSI Technical Report TR-96-013

04/__/1996
A Note on Matrix Rigidity

M. A. Shokrollahi and V. Stemann

ICSI Technical Report TR-96-014

04/__/1996
Cyclical Local Structural Risk Minimization with Growing Neural Networks

J. M. Lange

ICSI Technical Report TR-96-015

04/__/1996
An Introduction to Modular Process Nets

D. Wikarski

ICSI Technical Report TR-96-019

02/__/1996
Algebraic Settings for the Problem

L. Blum, F. Cucker, M. Shub, and S. Smale

ICSI Technical Report TR-96-007

02/__/1996
A Geometric Proof of a Formula for the Number of Young Tableaux of a Given Shape

M. Luby

ICSI Technical Report TR-96-008

02/__/1996
Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems

S.-E. Bornscheuer and M. Thielscher

ICSI Technical Report TR-96-009

02/__/1996
On Interpolating Polynomials over Finite Fields

M. A. Shokrollahi

ICSI Technical Report TR-96-010

01/__/1996
Computation of Irregular Primes up to Eight Million (Preliminary Report)

M. A. Shokrollahi

ICSI Technical Report TR-96-002

01/__/1996
Ramification and Causality

M. Thielscher

ICSI Technical Report TR-96-003

01/__/1996
The Rank of Sparse Random Matrices over Finite Fields

J. Blömer, R. Karp, and E. Welzl

ICSI Technical Report TR-96-004

01/__/1996
Computing Irreducible Representations of Supersolvable Groups over Small Finite Fields

A. Omrani and A. Shokrollahi

ICSI Technical Report TR-96-005

01/__/1996
Managing ABR Capacity in Reservation-based Slotted Networks

R. Ulrich and P. Kritzinger

ICSI Technical Report TR-96-006

12/__/1995
Mapping of Speech Front-End Signal Processing to High Performance Vector Architectures

P. Moretto

ICSI Technical Report TR-95-063

12/__/1995
Making Automatic Speech Recognition More Robust to Fast Speech

N. Mirghafori, E. Fosler, and N. Morgan

ICSI Technical Report TR-95-067

12/__/1995
A Lower Bound for Randomized Algebraic Decision Trees

D. Grigoriev, M. Karpinski, F. M. auf der Heide, and R. Smolensky

ICSI Technical Report TR-95-068

12/__/1995
Derandomizing Approximation Algorithms for Hard Counting Problems

M. Luby

ICSI Technical Report TR-95-069

12/__/1995
A Quality of Service Management Architecture (QoSMA): A preliminary study

M. Alfano

ICSI Technical Report TR-95-070

11/__/1995
The Supervisor Synthesis Problem for Unrestricted CTL is NP-complete

M. Antoniotti and B. Mishra

ICSI Technical Report TR-95-062

11/__/1995
On the Power of Randomized Branching Programs

F. Ablayev and M. Karpinski

ICSI Technical Report TR-95-064

11/__/1995
VC Dimension of Sigmoidal and General Pfaffian Neural Networks

M. Karpinski and A. Macintyre

ICSI Technical Report TR-95-065

11/__/1995
An Exponential Lower Bound on the Size of Algebraic Decision Trees for MAX

D. Grigoriev, M. Karpinski, and A. C. Yao

ICSI Technical Report TR-95-066

10/__/1995
The Sather 1.0 Specification

D. Stoutamire and S. Omohundro

ICSI Technical Report TR-95-057

10/__/1995
The pSather 1.0 Manual

D. Stoutamire

ICSI Technical Report TR-95-058

10/__/1995
Fault handling for multi-party real-time communication

A. Gupta and K. Rothermel

ICSI Technical Report TR-95-059

10/__/1995
Dynamic resource migration for multi-party real-time communication

R. Bettati and A. Gupta

ICSI Technical Report TR-95-060

09/__/1995
Reactive Local Search for the Maximum Clique Problem

R. Battiti and M. Protasi

ICSI Technical Report TR-95-052

09/__/1995
Efficient Implementation of Multi-Methods for Statically Typed Languages

V. Turau and W. Chen

ICSI Technical Report TR-95-053

09/__/1995
Elementary Proofs of some Results on Representations of p-groups

M. A. Shokrollahi

ICSI Technical Report TR-95-054

09/__/1995
Noisy Information and Computational Complexity: A Short Survey}

L. Plaskota

ICSI Technical Report TR-95-055

09/__/1995
How to benefit from noise

L. Plaskota

ICSI Technical Report TR-95-056

09/__/1995
Efficient Input Reordering for the DCT Based on a Real-Valued Decimation in Time FFT

R. Storn

ICSI Technical Report TR-95-061

08/__/1995
New Approximation Algorithms for the Steiner Tree Problems

M. Karpinski and A. Zelikovsky

ICSI Technical Report TR-95-036

08/__/1995
A Cognitive Off-line Model for Motor Interpretation of Handwritten Words

C. M. Privitera

ICSI Technical Report TR-95-037

08/__/1995
Context and Vision

V. Di Gesu' and F. Isgro'

ICSI Technical Report TR-95-038

08/__/1995
Average Case Analyses of List Update Algorithms, with Applications to Data Compression

S. Albers and M. Mitzenmacher

ICSI Technical Report TR-95-039

08/__/1995
Enabling Compiler Transformations for pSather 1.1

M. Philippsen

ICSI Technical Report TR-95-040

08/__/1995
Dealing with negated knowledge and inconsistency in a neurally motivated model of memory and reflexive reasoning

L. Shastri and D. J. Grannes

ICSI Technical Report TR-95-041

08/__/1995
Complexity and Real Computation: A Manifesto

L. Blum, F. Cucker, M. Shub, and S. Smale

ICSI Technical Report TR-95-042

08/__/1995
Performance Oriented Specification for Heterogenous Parallel Systems using Graphical Based Specifications

H. Unger and B. Daene

ICSI Technical Report TR-95-043

08/__/1995
Complexity of Searching an Immobile Hider in a Graph

B. von Stengel and R. Werchner

ICSI Technical Report TR-95-044

08/__/1995
Random Walks on Colored Graphs: Analysis and Applications

D. Hernek

ICSI Technical Report TR-95-045

08/__/1995
Pet - Priority Encoded Transmission

B. Lamparter, A. Albanese, M. Kalfane, and M. Luby

ICSI Technical Report TR-95-046

08/__/1995
The Implementation of PET

B. Lamparter and M. Kalfane

ICSI Technical Report TR-95-047

08/__/1995
An XOR-Based Erasure-Resilient Coding Scheme

J. Blömer, M. Kalfane, M. Karpinski, R. Karp, M. Luby, and D. Zuckerman

ICSI Technical Report TR-95-048

08/__/1995
Imperative Concurrent Object-Oriented Languages: An Annotated Bibliography

M. Philippsen

ICSI Technical Report TR-95-049

08/__/1995
Imperative Concurrent Object-Oriented Languages

M. Philippsen

ICSI Technical Report TR-95-050

08/__/1995
A Security Architecture for Tenet Scheme 2

R. Oppliger, A. Gupta, M. Moran, and R. Bettati

ICSI Technical Report TR-95-051

08/__/1995
Dealing with Negated Knowledge and Inconsistency in a Neurally Motivated Model of Memory and Reflexive Reasoning

L. Shastri and D. J. Grannes

ICSI Technical Report TR-95-041

07/__/1995
Direct Methods for Solving Tridiagonal Linear Systems in Parallel

E. E. Santos

ICSI Technical Report TR-95-029

07/__/1995
Growing a Hypercubical Output Space in a Self-Organizing Map

H.-U. Bauer and T. Villmann

ICSI Technical Report TR-95-030

07/__/1995
Parallel Sorting With Limited Bandwidth

M. Adler, J. W. Byers, and R. M. Karp

ICSI Technical Report TR-95-031

07/__/1995
Scheduling Parallel Communication: The h-relation Problem

M. Adler, J. W. Byers, and R. M. Karp

ICSI Technical Report TR-95-032

07/__/1995
Smoothing and Multiplexing Tradeoffs for Deterministic Performance Guarantees to VBR Video

E. W. Knightly and P. Rossaro

ICSI Technical Report TR-95-033

07/__/1995
H-BIND: A New Approach to Providing Statistical Performance Guarantees to VBR Traffic

E. W. Knightly

ICSI Technical Report TR-95-034

07/__/1995
Pairwise Independence and Derandomization

M. Luby and A. Wigderson

ICSI Technical Report TR-95-035

06/__/1995
Differential Evolution Design of an IIR-Filter with Requirements for Magnitude and Group Delay

R. Storn

ICSI Technical Report TR-95-026

06/__/1995
Operations on Multimodal Records: Towards a Computational Cognitive Linguistics

A. Buller

ICSI Technical Report TR-95-027

06/__/1995
Tenet Suite 1 and the Continuous Media Toolkit

P. Staunton

ICSI Technical Report TR-95-028

05/__/1995
Modeling and Optimization of PET-Redundancy Assignment for MPEG Sequences

R. Storn

ICSI Technical Report TR-95-018

05/__/1995
Modeling a Copier Paper Path: A Case Study in Modeling Transportation Processes

V.Gupta and P. Struss

ICSI Technical Report TR-95-019

05/__/1995
Average Case Analysis of Dynamic Graph Algorithms

D. Alberts and M. R. Henzinger

ICSI Technical Report TR-95-020

05/__/1995
Exploiting Process Lifetime Distributions for Dynamic Load Balancing

M. Harchol-Balter and A. B. Downey

ICSI Technical Report TR-95-021

05/__/1995
Scaling Issues in the Design and Implementation of the Tenet RCAP2 Signaling Protocol

W. Heffner

ICSI Technical Report TR-95-022

05/__/1995
Properties of Stochastic Perceptual Auditory-event-based Models for Automatic Speech Recognition

S.-L. Wu

ICSI Technical Report TR-95-023

05/__/1995
Applying Large Vocabulary Hybrid HMM-MLP Methods to Telephone Recognition of Digits and Natural Numbers

K. W. Ma

ICSI Technical Report TR-95-024

05/__/1995
Fuzzy Inferencing: A Novel, Massively Parallel Approach

A. Buller

ICSI Technical Report TR-95-025

04/__/1995
On the Problem of Masking Special Errors by Signature Analyzers

L. Voelkel

ICSI Technical Report TR-95-014

04/__/1995
Physical Mapping of Chromosomes Using Unique Probes

F. Alizadeh, R. M. Karp, D. K. Weisser, and G. Zweig

ICSI Technical Report TR-95-015

04/__/1995
A Combined BIT and TIMESTAMP Algorithm for the List Update Problem

S. Albers, B. von Stengel, and R. Werchner

ICSI Technical Report TR-95-016

04/__/1995
Comparing Algorithms for Dynamic Speed-Setting of a Low-Power CPU

K. Govil, E. Chan, and H. Wasserman

ICSI Technical Report TR-95-017

03/__/1995
Efficiency Comparison of Real-Time Transport Protocols

P. di Genova and G. Ventre

ICSI Technical Report TR-95-004

03/__/1995
Emulation of Traffic Congestion on ATM Gigabit Networks

J. Domingo-Pascual, A. Albanese, and W. Holfelder

ICSI Technical Report TR-95-005

03/__/1995
Distributed advance reservation of real-time connections

D. Ferrari, A. Gupta, and G. Ventre

ICSI Technical Report TR-95-008

03/__/1995
Adaptive Parameter Pruning in Neural Networks

L. Prechelt

ICSI Technical Report TR-95-009

03/__/1995
1.757 and 1.267-Approximation Algorithms for the Network and Rectilinear Steiner Tree Problems

M. Karpinski and A. Zelikovsky

ICSI Technical Report TR-95-010

03/__/1995
Polynomial Time Approximation Schemes for Dense Instances of $\NP$-HardProblems

S. Arora, D. Karger, and M. Karpinski

ICSI Technical Report TR-95-011

03/__/1995
Differential Evolution - a simple and efficient adaptive scheme for global optimization over continuous spaces

R. Storn and K. Price

ICSI Technical Report TR-95-012

03/__/1995
Communication Performance Models

S. Böcking

ICSI Technical Report TR-95-013

02/__/1995
A Fast Parallel Cholesky Decomposition Algorithm for Tridiagonal Symmetric Matrices

I. Bar-On, B. Codenotti, and M. Leoncini

ICSI Technical Report TR-95-006

01/__/1995
Polynomial Bounds for VC Dimension of Sigmoidal Neural Networks

M. Karpinski and A. Macintyre

ICSI Technical Report TR-95-001

01/__/1995
A Tower Architecture for Meta-Level Inference Systems Based on Omega-OrderedHorn Theories

P. E. Bonzon

ICSI Technical Report TR-95-002

01/__/1995
Understanding Radio Broadcasts On Soccer: The Concept `Mental Image' and Its Use in Spatial Reasoning

J. R. J. Schirra

ICSI Technical Report TR-95-003

01/__/1995
Characterization of Video Traffic

R. Garg

ICSI Technical Report TR-95-007

12/__/1994
Sather 1.0 Tutorial

M. Philippsen

ICSI Technical Report TR-94-062

12/__/1994
Complexity Issues for Solving Triangular Linear Systems in Parallel

E. E. Santos

ICSI Technical Report TR-94-065

12/__/1994
Side Effect Free Functions in Object-Oriented Languages

N. Rodriguez and R. Jerusalimschy

ICSI Technical Report TR-94-066

12/__/1994
Fundamental Limits and Tradeoffs of Providing Deterministic Guarantees to VBR Video Traffic

E. Knightly, D. Wrege, J. Liebeherr, and H. Zhang

ICSI Technical Report TR-94-067

12/__/1994
LOG-Space Polynomial End-to-End Communication

E. Kushilevitz, R. Ostrovsky, and A. Rosen

ICSI Technical Report TR-94-068

12/__/1994
Automatic Alignment of Array Data and Processes To Reduce Communication Time on DMPPs

M. Philippsen

ICSI Technical Report TR-94-070

12/__/1994
Improved Randomized On-Line Algorithms for the List Update Problem

S. Albers

ICSI Technical Report TR-94-071

11/__/1994
Multi-Level Architecture of Object-Oriented Operating Systems

S. Graupner, W. Kalfa, and F. Schubert

ICSI Technical Report TR-94-056

11/__/1994
Information Theory and Noisy Computation

W. S. Evans

ICSI Technical Report TR-94-057

11/__/1994
Hierarchical Encoding of MPEG Sequences Using Priority Encoding Transmission (PET)

C. Leicher

ICSI Technical Report TR-94-058

11/__/1994
Tenet Real-Time Protocol Suite: Design, Implementation, and Experiences

A. Banerjea, D. Ferrari, B. A. Mah, M. Moran, D. C. Verma, and H. Zhang

ICSI Technical Report TR-94-059

11/__/1994
Feature Selection for Object Tracking in Traffic Scenes

S. Gil, R. Milanese, and T. Pun

ICSI Technical Report TR-94-060

11/__/1994
Resource Partitioning for Multi-Party Real-Time Communication

A. Gupta and D. Ferrari

ICSI Technical Report TR-94-061

11/__/1994
Approximating Minimum Cuts under Insertion

M. R. Henzinger

ICSI Technical Report TR-94-063

11/__/1994
Remap: Recursive Estimation and Maximization of a Posteriori Probabilities

H. Bourlard, Y. Konig, and N. Morgan

ICSI Technical Report TR-94-064

10/__/1994
Some MPEG Decoding Functions on Spert -- An Example for Assembly Programmers

A. Formella

ICSI Technical Report TR-94-027

10/__/1994
Introducing Resources Management in IP-Based Nodes

P. Manzoni

ICSI Technical Report TR-94-040

10/__/1994
Scalable Resource Reservation for Multi-Party Real-Time Communication

A. Gupta, W. Howe, M. Moran, and Q. Nguyen

ICSI Technical Report TR-94-050

10/__/1994
Evaluation of Resource Sharing Benefits

A. Gupta, W. Howe, M. Moran, and Q. Nguyen

ICSI Technical Report TR-94-051

10/__/1994
Automatic Induction of Finite State Transducers for Simple Phonological Rules

D. Gildea and D. Jurafsky

ICSI Technical Report TR-94-052

10/__/1994
Software Reliability via Run-Time Result-Checking

M. Blum and H. Wasserman

ICSI Technical Report TR-94-053

10/__/1994
Therapy Plan Generation in Complex Dynamic Environments

O. Arnold and K P. Jantke

ICSI Technical Report tr-94-054

10/__/1994
Counting in Lattices: Combinatorial Problems from Statistical Mechanics

D. Randall

ICSI Technical Report TR-94-055

09/__/1994
Detection of Side-Effects in Function Procedures

R. Griesemer

ICSI Technical Report TR-94-032

09/__/1994
Object Oriented Design of a BP Neural Network Simulator and Implementation on the Connection Machine (CM-5)

J. M. Adamo and D. Anguita

ICSI Technical Report TR-94-046

09/__/1994
Lower Space Bounds for Randomized Computation

R. Freivalds and M. Karpinski

ICSI Technical Report TR-94-049

08/__/1994
Fast and Efficient Parallel Algorithms for Problems in Control Theory

B. Codenotti, B. N. Datta, K. Datta, and M. Leoncini

ICSI Technical Report TR-94-025

08/__/1994
On the Parallel Complexity of Gaussian Elimination with Pivoting

M. Leoncini

ICSI Technical Report TR-94-028

08/__/1994
Simulating Threshold Circuits by Majority Circuits (Extended Version)

M. Goldmann and M. Karpinski

ICSI Technical Report TR-94-030

08/__/1994
Massively Parallel Real-Time Reasoning with Very Large Knowledge Bases: An Interim Report

D. R. Mani and L. Shastri

ICSI Technical Report TR-94-031

08/__/1994
Admission Control in Networks with Bounded Delay Services

J. Liebeherr, D. E. Wrege, and D. Ferrari

ICSI Technical Report TR-94-033

08/__/1994
Design and Analysis of a High-Performance Packet Multiplexer forMultiservice Networks with Delay Guarantees

J. Liebeherrm and D. E. Wrege

ICSI Technical Report TR-94-034

08/__/1994
Output Sets, Halting Sets and an Arithmetical Hierarchy for Ordered Subrings of the Real Number under Blum/Shub/Smale Computation

R. S.John

ICSI Technical Report TR-94-035

08/__/1994
On finding a minimal enclosing parallelgram

C. Schwarz, J. Teich, E. Welzl, and B. Evans

ICSI Technical Report TR-94-036

08/__/1994
Faster Computation On Directed Networks of Automata

R. Ostrovsky and D. Wilkerson

ICSI Technical Report TR-94-037

08/__/1994
MBP on TO: mixing floating- and fixed-point formats in BP learning

D. Anguita and B. Gomes

ICSI Technical Report TR-94-038

08/__/1994
Priority Encoding Transmission

A. Albanese, J. Blömer, J. Edmonds, and M. Luby

ICSI Technical Report TR-94-039

08/__/1994
Approaching the 5/4-Approximation for Rectilinear Steiner Trees

P. Berman, U. Fössmeier, M. Karpinski, M. Kaufmann, and A. Zelikovsky

ICSI Technical Report TR-94-041

08/__/1994
Counting Curves and Their Projections

J. von zur Gathen, M. Karpinski, and I. Shparlinski

ICSI Technical Report TR-94-042

08/__/1994
On the Computational Complexity of Matching on Chordal and Strongly Chordal Graphs

E. Dahlhaus and M. Karpinski

ICSI Technical Report TR-94-043

08/__/1994
Feature Binding through Synchronized Neuronal Oscillations: A Preliminary Study

R. Milanese

ICSI Technical Report TR-94-044

08/__/1994
Development of Parallel BLAS with ARCH Object-Oriented Parallel Library, Implementation on CM-5

J. M. Adamo

ICSI Technical Report TR-94-045

08/__/1994
Traffic Characterization and Switch Utilization using a Deterministic Bounding Interval Dependent Traffic Model

E. W. Knightly and H. Zhang

ICSI Technical Report TR-94-047

08/__/1994
Comparison of Rate-Controlled Static Priority and Stop-and-Go

H. Zhang and E. W. Knightly

ICSI Technical Report TR-94-048

07/__/1994
Efficient Approximation Algorithms for Sparse Polynomials over Finite Fields

M. Karpinski and I. Shparlinski

ICSI Technical Report TR-94-029

06/__/1994
Computational Complexity and Knowledge Complexity

O. Goldreich, R. Ostrovsky, and E. Petrank

ICSI Technical Report TR-94-023

06/__/1994
The Design and Evaluation of Routing Algorithms for Real-time Channels

R. Widyono

ICSI Technical Report TR-94-024

06/__/1994
A Formal Framework for Weak Constraint Satisfaction Based on Fuzzy Sets

H. W. Guesgen

ICSI Technical Report TR -94-026

05/__/1994
Parsing Neural Networks Combining Symbolic and Connectionist Approaches

C. Kemke

ICSI Technical Report TR-94-021

05/__/1994
On the Relationship between Synthesizing and Tagging

H. W. Guesgen

ICSI Technical Report TR-94-022

04/__/1994
A stable integer relation algorithm

C. Rössner and C. P. Schnorr

ICSI Technical Report TR-94-016

04/__/1994
Black Box Cryptanalysis of Hash Networks based on Multipermutations

C. P. Schnorr and S. Vaudenay

ICSI Technical Report TR-94-017

04/__/1994
Dextrous Object Manipulation with Robot Hands Including Rolling and Slipping: Improved Motion & Force Computation Method

G. Wöhlke

ICSI Technical Report TR-94-018

04/__/1994
A Preliminary Study of the Semantics of Reduplication

T. Regier

ICSI Technical Report TR-94-019

04/__/1994
Experiments with the Tenet Real-Time Protocol Suite on the Sequoia 2000 Wide Area Network

A. Banerjea, E. W. Knightly, F. L. Templin, and H. Zhang

ICSI Technical Report TR-94-020

03/__/1994
Modeling Dynamics in Connectionist Speech Recognition - The Time Index Model

Y. Konig and N. Morgan

ICSI Technical Report TR-94-012

03/__/1994
Processing Joins With User-Defined Functions

V. Gaede and O. Günther

ICSI Technical Report TR-94-013

03/__/1994
Integration of Bottom-Up and Top-Down Cues for Visual Attention Using Non-Linear Relaxation

R. Milanese, H. Wechsler, S. Gil, J.-M. Bost, and T. Pun

ICSI Technical Report TR-94-014

03/__/1994
Designing and Integrating User Interfaces of Geographic Database Applications

A. Voisard

ICSI Technical Report TR-94-015

02/__/1994
An Evaluation of Burst-level Bandwidth Reservation Methods in WANEnvironments

M. Yoshida, C. Ikeda, and H. Suzuki

ICSI Technical Report TR-93-078

02/__/1994
A Performance Analysis of the CNS-1 on Spars Connectionist Networks

S. M. Müller and B. Gomes

ICSI Technical Report TR-94-009

02/__/1994
A Customisable Memory Management Framework

G. Attardi and T. Flagella

ICSI Technical Report TR-94-010

02/__/1994
Object-Oriented Parallel Programming: Design and Development of an Object-Oriented Library for SPMD Programming

J.-M. Adamo

ICSI Technical Report TR-94-011

01/__/1994
Surface Learning with Applications to Lip-Reading

C. Bregler and S. Omohundro

ICSI Technical Report TR-94-001

01/__/1994
"Eigenlips" for Robust Speech Recognition

C. Bregler and Y. Konig

ICSI Technical Report TR-94-002

01/__/1994
Best-first Model Merging for Hidden Markov Model Induction

A. Stolcke and S. M. Omohundro

ICSI Technical Report TR-94-003

01/__/1994
Near or Far

H. Härtig

ICSI Technical Report TR-94-004

01/__/1994
On the Relation Between BDDs and FDDs

B. Becker, R. Drechsler, and R. Werchner

ICSI Technical Report TR-94-005

01/__/1994
On Variable Ordering of Ordered Functional Decision Diagrams

B. Becker, R. Drechsler, and M. Theobald

ICSI Technical Report TR-94-006

01/__/1994
Precise n-gram Probabilities from Stochastic Context-free Grammars

A. Stolcke and J. Segal

ICSI Technical Report TR-94-007

01/__/1994
A Hybrid Fault Simulator for Synchronous Sequential Circuits

R. Krieger, B. Becker, and M. Keim

ICSI Technical Report TR-94-008

__/__/1993
CNS-1 Architecture Specification: A Connectionist Network Supercomputer

J. Feldman et. al

ICSI Technical Report Tr-93-021

12/__/1993
Finite Branching Processes and AND/OR Tree Evaluation

R. Karp

ICSI Technical Report TR-93-043

12/__/1993
A Software Reuse System for C Codes

L. V. Huu

ICSI Technical Report TR-93-067

12/__/1993
A Cognitive Model of Sentence Interpretation: the Construction Grammar approach

D. Jurafsky

ICSI Technical Report TR-93-077

12/__/1993
On a Sublinear Time Parallel Construction of Optimal Binary Search Trees

M. Karpinski and W. Rytter

ICSI Technical Report TR-93-079

12/__/1993
Dynamic Programming in a Generalized Decision Model

U. Huckenbeck

ICSI Technical Report TR-93-080

12/__/1993
On Valve Adjustments that Interrupt all s-t-Paths in a Digraph

U. Huckenbeck

ICSI Technical Report TR-93-081

12/__/1993
All-to-all Broadcast on the CNS-1

S. M. Müller

ICSI Technical Report TR-93-082

12/__/1993
pSather: Layered Extensions to an Object-Oriented Language for Efficient Parallel Computation

J. Feldman, C.C. Lim, and S. Murer

ICSI Technicial Report TR-93-028

11/__/1993
Towards a cognitively based approach of a a description of spatial deixis

M. Kaiser

ICSI Technical Report TR-93-058

11/__/1993
Engineering a Programming Language: The Type and Class System of Sather

C. Szypersky, S. Omohundro, and S. Murer

ICSI Technical Report TR-93-064

11/__/1993
An Efficient Probabilistic Context-Free Parsing Algorithm that Computes Prefix Probabilities

A. Stolcke

ICSI Technical Report TR-93-065

11/__/1993
Recovering Guaranteed Performance Service Connections from Single and Multiple Faults

A. Banerjea, C. Parris, and D. Ferrari

ICSI Technical Report TR-93-066

11/__/1993
Lexical Modeling in a Speaker Independent Speech Understanding System

C. C. Wooters

ICSI Technical Report TR-93-068

11/__/1993
On the Definition of Speedup

W. Ertel

ICSI Technical Report TR-93-069

11/__/1993
An Alphabet-Independent Optimal Parallel Search for Three Dimensional Patterns

M. Karpinski and W. Rytter

ICSI Technical Report TR-93-070

11/__/1993
Lower Bounds on Testing Membership to a Polyhedron by Algebraic Decision Trees

D. Grigoriev, M. Karpinski, and N. Vorobjov

ICSI Technical Report TR-93-071

11/__/1993
Software Protection and Simulation on Oblivious RAMs

O. Goldreich and R. Ostrovsky

ICSI Technical Report TR-93-072

11/__/1993
One-Way Functions Are Essential for Non-Trivial Zero-Knowledge

R. Ostrovsky and A. Wigderson

ICSI Technical Report TR-93-073

11/__/1993
How and When to Be Unique

S. Kutten, R. Ostrovsky, and B. Patt-Shamir

ICSI Technical Report TR-93-074

11/__/1993
Matching nuts and bolts

N. Alon, M. Blum, A. Fiat, S. Kannan, M. Naor, and R. Ostrovsky

ICSI Technical Report TR-93-075

11/__/1993
Any Non-Private Boolean Function Is Complete For Private Multi-Party Computations

E. Kushilevitz, S. Micali, and R. Ostrovsky

ICSI Technical Report TR-93-076

10/__/1993
On a Criterion for Minimum Uncertainty Sensing

V. Caglioti

ICSI Technical Report TR-93-052

10/__/1993
An Investigation into Fault Recovery in Guaranteed Performance Service Connections

C. J. Parris and A. Banerjea

ICSI Technical Report TR-93-054

10/__/1993
Dynamic Join and Leave for Real-Time Multicast

W. Effelsberg and E. Müller-Menrad

ICSI Technical Report TR-93-056

10/__/1993
Constructive Deterministic PRAM Simulation on a Mesh-Connected Computer

A. Pietracaprina, G. Pucci, and J. F. Sibeyn

ICSI Technical Report TR-93-059

10/__/1993
A Formalization of Viewpoints

G. Attardi and M. Simi

ICSI Technical Report TR-93-062

10/__/1993
A Parallel Object-Oriented System for Realizing Reusable and Efficient Data Abstractions

C.-C. Lim

ICSI Technical Report .TR-93-063

09/__/1993
Physical Mapping of Chromosomes: A Combinatorial Problem in Molecular Biology

F. Alizadeh, R. M. Karp, L. A. Newberg, and D. K. Weisser

ICSI Technical Report TR-92-066

09/__/1993
Training Agents to Perform Sequential Behavior

M. Colombetti and M. Dorigo

ICSI Technical Report TR-93-023

09/__/1993
Optimal Parallelization of Las Vegas Algorithms

M. Luby and W. Ertel

ICSI Technical Report TR-93-041

09/__/1993
A Performance Analysis of the CNS-1 on Large, Dense Backpropagation Networks

S. M. Müller

ICSI Technical Report TR-93-046

09/__/1993
Interior point methods in semidefinite progrmming with applications to combinatorial optimization

F. Alizadeh

ICSI Technical Report TR-93-050

09/__/1993
Dynamic maintenance of approximate solutions of Min-Weighted Node Cover and Min-Weighted Set Cover problems

G. Gambosi, M. Protasi, and M. Talamo

ICSI Technical Report TR-93-051

09/__/1993
On a Criterion for Minimum Uncertainty Sensing

V. Caglioti

ICSI Technical Report TR-93-053

09/__/1993
Testable Algorithms for Self-Avoiding Walks

D. Randall and A. Sinclair

ICSI Technical Report TR-93-055

09/__/1993
Second Order Backpropagation - Efficient Computation of the Hessian Matrix for Neural Networks

R. Rojas

ICSI Technical Report TR-93-057

09/__/1993
Improved Band Matrix Computations

V. Pan

ICSI Technical Report TR-93-060

09/__/1993
Optimum Parallel Computations with Band Matrices

V. Pan

ICSI Technical Report TR-93-061

08/__/1993
Simple Multivariate Polynomial Multiplication

V. Pan

ICSI Technical Report TR-93-003

08/__/1993
Building convex space partitions induced by pairwise interior-disjoint simplices

M. Pellegrini

ICSI Technical Report TR-93-039

08/__/1993
Efficient PRAM Simulation on a Distributed Memory Machine

R. Karp, M. Luby, and F. M. auf der Heide

ICSI Technical Report TR-93-040

08/__/1993
Lower Bounds on Complexity of Testing Membership to a Polygon for Algebraic and Randomized Decision Trees

D. Grigoriev and M. Karpinski

ICSI Technical Report TR-93-042

08/__/1993
An application of a neural net for fuzzy abductive reasoning

M. Kaiser

ICSI Technical Report TR-93-044

08/__/1993
Sather Iters: Object-Oriented Iteration Abstraction

S. Murer, S. Omohundro, and C. Szyperski

ICSI Technical Report TR-93-045

08/__/1993
Source-to-Source Code Generation Based on Pattern Matching and Dynamic Programming

W. Chen and V. Turau

ICSI Technical Report TR-93-047

08/__/1993
The Sublogarithmic Space World

M. Liskiewicz and R. Reischuk

ICSI Technical Report TR-93-048

08/__/1993
Precise Average Case Complexity Measures

R. Reischuk

ICSI Technical Report TR-93-049

07/__/1993
Repetitive Hidden-Surface-Removal for Polyhedra

M. Pellegrini

ICSI Technical Report TR-93-032

07/__/1993
Turning an Action Formalism Into a Planner---A Case Study

J. Hertzberg and S. Thiebaux

ICSI Technical Report TR-93-033

07/__/1993
On Lines Missing Polyhedral Sets in 3-Space

M. Pellegrini

ICSI Technical Report TR-93-034

07/__/1993
Perturbation: An Efficient Technique for the Solution of Very Large Instances of the Euclidean TSP

B. Codenotti, G. Manzini, L. Margara, and G. Resta

ICSI Technical Report TR-93-035

07/__/1993
Sparse Interpolation from Multiple Derivatives

T. Werther

ICSI Technical Report TR-93-036

07/__/1993
An Algorithm to Learn Read-Once Threshold Formulas, and some generic Transformations between Learning Models (Revised Version)

N. H. Bshouty, T. R. Hancock, L. Hellerstein, and M. Karpinski

ICSI Technical Report TR-93-037

07/__/1993
Exploitation of Structured Gating Connections for the Normalization of a Visual Pattern

A. Sperduti

ICSI Technical Report TR-93-038

06/__/1993
pSather: Layered Extensions to an Object-Oriented Language for Efficient Parallel Computation

S. Murer, J. A. Feldman, C.-C. Lim, and M.-M. Seidel

ICSI Technical Report TR-93-028

06/__/1993
Sensitivity of Boolean Functions, Harmonic Analysis, and Circuit Complexity

A. Bernasconi and B. Codenotti

ICSI Technical Report TR-93-030

06/__/1993
On Some Stability Properties of the LRAAM Model

A. Sperduti

ICSI Technical Report TR-93-031

05/__/1993
Kohonen Feature Maps and Growing Cell Structures --a Performance Comparison

B. Fritzke

ICSI Technical Report TR-93-025

05/__/1993
Growing Cell Structures - a self-organizing network for unsupervised and supervised learning

B. Fritzke

ICSI Technical Report TR-93-026

05/__/1993
A Stochastic Model of Actions and Plans for Anytime Planning under Uncertainty

S. Thiebaux, J. Hertzberg, W. Shoaff, and M. Schneider

ICSI Technical Report TR-93-027

05/__/1993
Labeling RAAM

A. Sperduti

ICSI Technical Report TR-93-029

04/__/1993
Design Principles of Parallel Operating Systems: ---A PEACE Case Study---

W. Schröder-Preikschat

ICSI Technical Report TR-93-020

04/__/1993
CNS-1 Architecture Specification: A Connectionist Network Supercomputer

K. Asanovic, J. Beck, T. Callahan, J. Feldman, B. Irissou, B. Kingsbury, P. Kohn, J. Lazzaro, N. Morgan, D. Stoutamire, and J. Wawrzynek

ICSI Technical Report TR-93-021

04/__/1993
A Multivalued Evolutionary Algorithm

H.-M. Voigt, J. Born, and I. Santibanez-Koref

ICSI Technical Report TR-93-022

04/__/1993
Generalized Vandermonde Determinants over the Chebyshev Basis

T. Werther

ICSI Technical Report TR-93-024

03/__/1993
Galileo: a Tool for Simulation and Analysis of Real-Time Networks

E. W. Knightly and G. Ventre

ICSI Technical Report TR-93-008

03/__/1993
On Deterministic Approximation of DNF

M. Luby and B. Velickovic

ICSI Technical Report TR-93-009

03/__/1993
Optimal Speedup of Las Vegas Algorithms

M. Luby, A. Sinclair, and D. Zuckerman

ICSI Technical Report TR-93-010

03/__/1993
Graceful Adaptation of Guaranteed Performance Service Connections

C. Parris, G. Ventre, and H. Zhang

ICSI Technical Report TR-93-011

03/__/1993
Estimation of noise spectrum and its application to SNR-estimation and speech enhancement

H.-G. Hirsch

ICSI Technical Report TR-93-012

03/__/1993
Optimal Stochastic Quadrature Formulas For Convex Functions

E. Novak and K. Petras

ICSI Technical Report TR-93-013

03/__/1993
Optimal Recovery and n-Widths For Convex Classes of Functions

E. Novak

ICSI Technical Report TR-93-014

03/__/1993
Channel Groups: A Unifying Abstraction for Specifying Inter-stream Relationships

A. Gupta and M. Moran

ICSI Technical Report TR-93-015

03/__/1993
Accelerated Solution of the Tridiagonal Symmetric Eigenvalue Problem

V. Pan

ICSI Technical Report TR-93-016

03/__/1993
Efficient Multicasting for Interactive Multimedia Applications

C. Szyperski and G. Ventre

ICSI Technical Report TR-93-017

03/__/1993
Navigation Without Perception of Coordinates and Distances

A. Hemmerling

ICSI Technical Report TR-93-018

03/__/1993
Matchings in Lattice Graphs (Preliminary Version)

C. Kenyon, D. Randall, and A. Sinclair

ICSI Technical Report TR-93-019

02/__/1993
On Removing Randomness from a Parallel Algorithm for Minimum Cuts

M, Luby, J. Naor, and M. Naor

ICSI Technical Report TR-93-007

01/__/1993
Implicit Parallelism in Genetic Algorithms

A. Bertoni and M. Dorigo

ICSI Technical Report TR-93-001

01/__/1993
Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions

T. Behrendt, K. Compton, and E. Graedel

ICSI Technical Report TR-93-002

01/__/1993
Mixture Models and the EM Algorithm for Object Recognition within Compositional Hierarchies. Part 1: Recognition

J. Utans

ICSI Technical Report TR-93-004

01/__/1993
A Dynamic Connection Management Scheme for Guaranteed Performance Services in Packet-Switching Integrated Services Networks

C. Parris

ICSI Technical Report TR-93-005

01/__/1993
A Characterization of Multi-Party Interactive Multimedia Applications

C. Szyperski and G. Ventre

ICSI Technical Report TR-93-006

12/__/1992
Generalized Compact Multigrid (REVISED)

V. Pan and J. Reif

ICSI Technical Report TR-91-021

12/__/1992
[REVISED:] New Resultant Inequalities and Complex Polynomial Factorization(formerly known as

V. Pan

ICSI Technical Report TR-91-026

12/__/1992
The NC Equivalence of Integer Linear Programming and Euclidean GCD

V. Pan

ICSI Technical Report TR-92-041

12/__/1992
Can We Utilize the Cancellation of the Most Significant Digits?

V. Pan

ICSI Technical Report TR-92-061

12/__/1992
Genetic and Non Genetic Operators in Alecsys - Revised Version

M. Dorigo

ICSI Technical Report TR-92-075

12/__/1992
Simulating Threshold Circuits by Majority Circuits

M. Goldmann and M. Karpinski

ICSI Technical Report TR-92-080

12/__/1992
Connectionist Probability Estimation in HMM Speech Recognition

S. Renals and N. Morgan

ICSI Technical Report TR-92-081

12/__/1992
Perfect Zero-Knowledge Arguments for NP Can Be Based on General Complexity Assumptions

M. Naor and R. Ostrovsky

ICSI Technical Report TR-92-082

12/__/1992
Invariant Signatures and Non-Interactive Zero-Knowledge Proofs are Equivalent

S. Goldwasser and R. Ostrovsky

ICSI Technical Report TR-92-083

11/__/1992
Planar Passive Navigation: One Dimension is Better than Two

E. De Micheli and A. Verri

ICSI Technical Report TR-92-058

11/__/1992
When is the Assignment Bound Tight for the Asymmetric Traveling-Salesman Problem?

A. Frieze, R. Karp, and B. Reed

ICSI Technical Report TR-92-074

11/__/1992
Approximate Evaluation of a Polynomial on a Set of Real Points

V. Pan

ICSI Technical Report TR-92-076

11/__/1992
Polynomial Uniform Convergence and Polynomial-Sample Learnability

A. Beroni, P. Campadelli, Anna Morpurgo, and S. Panizza

ICSI Technical Report TR-92-077

11/__/1992
On Randomized Versus Deterministic Computation

M. Karpinski and R. Verbeek

ICSI Technical Report TR-92-078

11/__/1992
Computation of the Additive Complexity of Algebraic Circuits with RootExtracting

M. Karpinski and R. Verbeek

ICSI Technical Report TR-92-079

10/__/1992
Public Randomness in Cryptography

A. Herzberg and M. Luby

ICSI Technical Report TR-92-068

10/__/1992
On Randomized Algebraic Test Complexity

P. Buergisser, M. Karpinski, and T. Lickteig

ICSI Technical Report TR-92-070

10/__/1992
An Efficient Parallel Algorithm for Computing a Maximal Independent Set in a Hypergraph of Dimension 3

E. Dahlhaus, M. Karpinski, and P. Kelsen

ICSI Technical Report tr-92-071

10/__/1992
Network Support For Multimedia: A Discussion of the Tenet Approach

D. Ferrari, A. Banerjea, and H. Zhang

ICSI Technical Report TR-92-072

09/__/1992
Describing and Recognizing Shape through Size Functions

C. Uras and A. Verri

ICSI Technical Report TR-92-057

09/__/1992
Learning Topology-Preserving Maps Using Self-Supervised Backpropagation on a Parallel Machine

A. Ossen

ICSI Technical Report TR-92-059

09/__/1992
Ring Array Processor: Programmer's Guide to the RAP Libraries

M. C. Greenspon

ICSI Technical Report TR-92-060

09/__/1992
The Acquisition of Lexical Semantics for Spatial Terms: A Connectionist Model of Perceptual Categorization

T. Regier

ICSI Technical Report TR-92-062

09/__/1992
Block Korkin-Zolotarev Bases and Successive Minima

C. P. Schnorr

ICSI Technical Report tr-92-063

09/__/1992
Competitive Analysis of Financial Games

R. El-Yaniv, A. Fiat, R. Karp, and G. Turpin

ICSI Technical Report TR-92-064

09/__/1992
The Impact of Multimedia Data on Database Management Systems

K. Aberer and W. Klas

ICSI Technical Report TR-92-065

09/__/1992
Inductive learning of compact rule sets by using effcient hypotheses reduction

T. Koch

ICSI Technical Report TR-92-069

09/__/1992
Optimal Traversal of Directed Hypergraphs

G. Ausiello, G. F. Italiano, and U. Nanni

ICSI Technical Report TR-92-073

08/__/1992
Robot Shaping: Developing Situated Agents through Learning

M. Colombetti and M. Dorigo

ICSI Technical Report tr-92-040

08/__/1992
An Object-Oriented Approach to the Design of Graphical User Interface Systems

F. Paterno

ICSI Technical Report TR-92-046

08/__/1992
A Study of Perceptually Grounded Polysemy in a Spatial Microdomain

J. Zlatev

ICSI Technical Report TR-92-048

08/__/1992
Improved Parallel Polynomial Division and Its Extensions

D. Bini and V. Pan

ICSI Technical Report TR-92-051

08/__/1992
Improved Parallel Computations with Toeplitz-like and Hankel-like Matrices

D. Bini and V. Pan

ICSI Technical Report TR-92-052

08/__/1992
A Mechanism for Dynamic Re-routing of Real-time Channels

C. Parris, H. Zhang, and D. Ferrari

ICSI Technical Report TR-92-053

08/__/1992
Process Grammar Processor: An Architecture for a Parallel Parser

M. Marino

ICSI Technical Report TR-92-054

08/__/1992
A New Approach to Fast Polynomial Interpolation and Multipoint Evaluation

V. Pan

ICSI Technical Report TR-92-055

08/__/1992
On-line Graph Algorithms for Incremental Compilation

A. Marchetti-Spaccamela, U. Nanni, and H. Rohnert

ICSI Technical Report TR-92-056

08/__/1992
Integrating a Relational Database System into VODAK using its MetaclassConcept

W. Klas, G. Fischer, and K. Aberer

ICSI Technical Report TR-92-067

07/__/1992
A Framework for Cumulative Default Logics

G. Brewka

ICSI Technical Report TR-92-042

07/__/1992
A Symbolic Complexity Analysis of Connectionist Algorithms for Distributed-Memory Machines

J. Bachrach

ICSI Technical Report TR-92-043

07/__/1992
On-Line Algorithms Versus Off-Line Algorithms: How Much is it Worth to Knowthe Future?

R. M. Karp

ICSI Technical Report TR-92-044

07/__/1992
Persistence in the Object-Oriented Database Programming Language VML

W. Klas and V. Turau

ICSI Technical Report TR-92-045

07/__/1992
An Adaptive Classification Scheme to Approximate Decision Boundaries Using Local Bayes Criteria - The

L. M. Encarnacao and M. H. Gross

ICSI Technical Report TR-92-047

07/__/1992
An Abductive Framework for Generalized Logic Programs: Preliminary Report

G. Brewka

ICSI Technical Report TR-92-049

07/__/1992
The Degrees of Discontinuity of some Translators between Representations ofthe Real Numbers

K. Weihrauch

ICSI Technical Report TR-92-050

06/__/1992
Ambiguities in Object Specifications in View of Data Testing

D. Richter

ICSI Technical Report TR-92-034

06/__/1992
Efficient Clustering Techniques for the Geometric Traveling Salesman Problem

B. Codenotti and L. Margara

ICSI Technical Report TR-92-036

06/__/1992
Measuring the Latency Time of Real-Time Unix-like Operating Systems

N. Faller

ICSI Technical Report TR-92-037

06/__/1992
Fuzzy Evolutionary Algorithms

H.-M. Voigt

ICSI Technical Report TR-92-038

06/__/1992
Boot Algebras

D. Schuett, U. Eckhardt, and P. Suda

ICSI Technical Report TR-92-039

05/__/1992
Proposal of an External Processor Scheduling in Micro-Kernel Based Operating Systems

W. Kalfa

ICSI Technical Report TR-92-028

05/__/1992
Efficient Computation of Spatial Joins

O. Günther

ICSI Technical Report TR-92-029

05/__/1992
Checking Approximate Computations over the Reals

S. Ar, M. Blum, B. Codenotti, and P. Gemmell

ICSI Technical Report TR-92-030

05/__/1992
Decision Procedures for Flat Set-Theorectical Syllogistics.I. General Union, Powerset and Singleton Operators

D. Cantone and V. Cutello

ICSI Technical Report TR-92-031

05/__/1992
A Model for Amalgamation in Group Decision Making

V. Cutello and J. Montero

ICSI Technical Report TR-92-032

05/__/1992
A Characterization of Rational Amalgamation Operations

V.Cutello and J. Montero

ICSI Technical Report TR-92-033

05/__/1992
Experiments with Noise Reduction Neural Networks for Robust Speech Recognition

M. Trompf

ICSI Technical Report TR-92-035

04/__/1992
Design of a Continuous Media Data Transport Service and Protocol

M. Moran and B. Wolfinger

ICSI Technical Report TR-92-019

04/__/1992
Local Properties of Some NP-Complete Problems

B. Codenotti and L. Margara

ICSI Technical Report TR-92-021

04/__/1992
Quality-of-Service Negotiation in a Real-Time Communication Network

J. Ramaekers and G. Ventre

ICSI Technical Report TR-92-023

04/__/1992
Communicating with Low-Diffraction Lasers and Mirrors

R. Beigel

ICSI Technical Report TR-92-024

04/__/1992
Tree Matching with Recursive Distributed Representations

A. Stolcke and D. Wu

ICSI Technical Report TR-92-025

04/__/1992
On the Power of Discontinous Approximate Computations

K. Aberer and B.Codenotti

ICSI Technical Report TR-92-026

04/__/1992
The Quality of Separation Between NP and Exponential Time; Reducing theCases

G. Lischke

ICSI Technical Report TR-92-027

03/__/1992
Queueing Delays in Rate Controlled Networks

A. Banerjea and S. Keshav

ICSI Technical Report TR-92-015

03/__/1992
A Framework for the Study of Pricing in Integrated Networks

C. J. Parris, S. Keshav, and D. Ferrari

ICSI Technical Report TR-92-016

03/__/1992
The Sather Language and Libraries

S. Omohundro and C. C. Lim

ICSI Technical Report TR-92-017

03/__/1992
A Resource Based Pricing Policy for Real-Time Channels in a Packet-Switching Network

C. J. Parris and D. Ferrari

ICSI Technical Report TR-92-018

03/__/1992
Read-Once Threshold Formulas, Justifying Assignments, and Generic Tranformations

N. H. Bshouty, T. R. Hancock, L. Hellerstein, and M. Karpinski

ICSI Technical Report TR-92-020

03/__/1992
Petri Net Based Software Validation: Prospects and Limitations

M. Heiner

ICSI Technical Report TR-92-022

02/__/1992
New Algorithmic Results for Lines-in-3-Space Problems

L. J. Guibas and M. Pellegrini

ICSI Technical Report TR-92-005

02/__/1992
The LOGIDATA+ Object Algebra

U. Nanni, S. Salza, and M. Terranova

ICSI Technical Report TR-92-006

02/__/1992
The LOGIDATA+ Prototype System

U. Nanni, S. Salza, and M. Terranova

ICSI Technical Report TR-92-007

02/__/1992
Linear Time Algorithms for Liveness and Boundedness in Conflict-free Petri Nets

P. Alimonti, E. Feuerstain, and U. Nanni

ICSI Technical Report TR-92-008

02/__/1992
Fish in Schools or Fish in Cans Evolutionary Thinking and Formalization

D.Siefkes

ICSI Technical Report TR-92-009

02/__/1992
A New Algorithm for Counting Circular Arc Intersections

M. Pellegrini

ICSI Technical Report TR-92-010

02/__/1992
The Weighted List Update Problem and the Lazy Adversary

F. d'Amore, A. Marchetti-Spaccamela, and U. Nanni

ICSI Technical Report TR-92-011

02/__/1992
Towards a Complexity Theory for Approximation

K. Aberer and B. Codenotti

ICSI Technical Report TR-92-012

02/__/1992
Backwards Analysis of Randomized Geometric Algorithms

R. Seidel

ICSI Technical Report TR-92-014

01/__/1992
Real-Time Communication in an Internetwork;

D. Ferrari

ICSI Technical Report TR-92-001

01/__/1992
Constraint Relaxation and Nonmonotonic Reasoning

G. Brewka, H. W. Guesgen, and J. Hertzberg

ICSI Technical Report TR-92-002

01/__/1992
Rate-Controlled Static Priority Queueing

H. Zhang and D. Ferrrari

ICSI Technical Report TR-92-003

01/__/1992
Best-First Model Merging for Dynamic Learning and Recognition

S. M. Omohundro

ICSI Technical Report TR-92-004

01/__/1992
Competitive On-line Algorithms for Paging and Graph Coloring

S. Irani

ICSI Technical Report TR-92-013

__/__/1991
GDNN: A Gender-Dependent Neural Network for Continuous Speech Recognition

Y. Konig, N. Morgan, and C. Chandra

ICSI Technical Report TR-91-071

12/__/1991
Distortion Accumulation in Image Transform Coding/Decoding Cascades

M. Gilge

ICSI Technical Report TR-91-064

12/__/1991
Motion Video Coding for Packet-Switching Networks -- An Integrated Approach

M. Gilge and R. Gusella

ICSI Technical Report TR-91-065

12/__/1991
A Graph-Theoretic Game and its Application to the k-Server Problem

N. Alon, R. M. Karp, D. Peleg, and D. West

ICSI Technical Report TR-91-066

12/__/1991
Probabilistic Recurrence Relations for Parallel Divide-and-Conquer Algorithms

M. Karpinski and W. Zimmermann

ICSI Technical Report TR-91-067

12/__/1991
Construction of a pseudo-random generator from any one-way function

J. Hastad, R. Impagliazzo, L. A. Levin, and M. Luby

ICSI Technical Report TR-91-068

12/__/1991
RASTA-PLP Speech Analysis

H. Hermansky, N. Morgan, A. Bayya, and P. Kohn

ICSI Technical Report TR-91-069

12/__/1991
Connectionist Speech Recognition: Status and Prospects

S. Renals, N. Morgan, H. Bourlard, M. Cohen, H. Franco, C. Wooters, and P. Kohn

ICSI Technical Report TR-91-070

12/__/1991
GDNN: A Gender-Dependent Neural Network for Continuous Speech Recognition

Y. Konig, N. Morgan, and C. Chandra

ICSI Technical Report TR-91-071

12/__/1991
SPERT: A VLIW/SIMD Microprocessor for Artificial Neural Network Computations

K. Asanovic, J. Beck, B. E. D. Kingsbury, P. Kohn, N. Morgan, and J. Wawrzynek

ICSI Technical Report TR-91-072

12/__/1991
Connectionist Layered Object-Oriented Network Simulator (CLONES): User's Manual

P. Kohn

ICSI Technical Report TR-91-073

12/__/1991
Recent Work in VLSI Elements for Digital Implementations of Artificial Neural Networks

B. E. D. Kingsbury, B. Irissou, K. Asanovic, J. Wawrzynek, and N. Morgan

ICSI Technical Report TR-91-074

12/__/1991
Incomplete Factorizations for Certain Toeplitz matrices

C. Bernini, B. Codenotti, M. Leoncini, and G. Resta

ICSI Technical Report TR-91-075

12/__/1991
RASTA-PLP Speech Analysis

H. Hermansky, N. Morgan, A. Bayya and P. Kohn

ICSI Technical Report TR-91-069

12/__/1991
Advances in Connectionist Speech Recognition

S. Renals, N. Morgan, H. Bourlard, M. Cohen, H. Franco, C. Wooters, and P. Kohn

ICSI Technical Report TR-91-0

11/__/1991
ICSIM: An Object-Oriented Connectionist Simulator

H. W. Schmidt and B. Gomes

ICSI Technical Report TR-91-048

11/__/1991
Self-Testing/Correcting with Applications to Numerical Problems (Revised Version)

M. Blum, M. Luby, and R. Rubinfeld

ICSI Technical Report TR-91-062

11/__/1991
How to Solve Interval Constraint Networks: The Definitive Answer - Probably

P. Ladkin and A. Reinefeld

ICSI Technical Report TR-91-063

10/__/1991
Learning Spatial Concepts Using a Partially-Structured Connectionist Architecture

T. Regier

ICSI Technical Report TR-91-050

10/__/1991
Evaluation of Overflow Probabilities in Resource Management

D. C. Verma and D. Ferrari

ICSI Technical Report TR-91-051

10/__/1991
CHCL--A Connectionist Inference System

S. Hoelldobler and F. Kurfess

ICSI Technical Report TR-91-052

10/__/1991
Knowledge Selection with ANNs

D. Karagiannis, F. Kurfess, and H.-W. Schmidt

ICSI Technical Report TR-91-054

10/__/1991
Potentiality of Parallelism in Logic

F. Kurfess

ICSI Technical Report TR-91-055

10/__/1991
Distributed Delay Jitter Control in Packet-Switching Internetworks

D. Ferrari

ICSI Technical Report TR-91-056

10/__/1991
Detecting Skewed Symmetries

S. Posch

ICSI Technical Report TR-91-058

10/__/1991
Line Labeling Using Markov Random Fields

T. Regier

ICSI Technical Report TR-91-059

10/__/1991
Oracle Computations in Parallel Numerical Linear Algebra

B. Codenotti, M. Leoncini, and G. Resta

ICSI Technical Report TR-91-060

10/__/1991
Combinatory Differential Fields: An Algebraic Approach to Approximate Computation and Constructive Analysis

K. Aberer

ICSI Technical Report TR-91-061

09/__/1991
CLOS, Eiffel, and Sather: A Comparison

H. W. Schmidt and S. M. Omohundro

ICSI Technical Report TR-91-047

09/__/1991
VISIT: An Efficient Computational Model Of Human Visual Attention

S. Ahmad

ICSI Technical Report TR-91-049

09/__/1991
A Method for Obtaining Randomized Algorithms with Small Tail Probabilities

H. Alt, L. Guibas, K. Mehlhorn, R. Karp, and A. Wigderson

ICSI Technical Report TR-91-057

09/__/1991
pSather Monitors: Design, Tutorial, Rationale and Implementation

J.A. Feldman, C.C. Lim, and F. Mazzanti

ICSI Technical Report TR-91-031

08/__/1991
Probability estimation by feed-forward networks in continuous speech recognition

S. Renals, N. Morgan, and H. Bourlard

ICSI Technical Report TR-91-030

08/__/1991
VC Dimension and Sampling Complexity of Learning Sparse Polynomials andRational Functions

M. Karpinski and T. Werther

ICSI Technical Report TR-91-044

08/__/1991
The Automatic Worst Case Analysis of Parallel Programs: Single ParallelSorting and Algorithms on Graphs

W. Zimmerman

ICSI Technical Report TR-91-045

08/__/1991
A Characterization of Space Complexity Cases and Subexponential Time Classesas Limiting Polynomially Decidable Sets

G. Ausiello, M. Protasi, and M. Angelaccio

ICSI Technical Report TR-91-046

08/__/1991
Unification with ICSIM

F. Kurfess

ICSI Technical Report TR-91-053

07/__/1991
Test Complexity of Generic Poynomials

P. Buergisser, T. Lickteig, and M. Shub

ICSI Technical Report TR-91-038

07/__/1991
Verification Complexity of Linear Prime Ideals

P. Buergisser and T. Lickteig

ICSI Technical Report TR-91-039

07/__/1991
Efficient Visual Search: A Connectionist Solution

S. Ahmad and S. Omohundro

ICSI Technical Report TR-91-040

07/__/1991
Virtual Parallelism Support in Reconfigurable Processor Arrays

M. Maresa and H. Li

ICSI Technical Report TR-91-041

07/__/1991
Hierarchical Node Clustering in Polymorphic Processor Arrays

M. Maresa and H. Li

ICSI Technical Report TR-91-042

07/__/1991
Efficiency of Asynchronous Transfer Mode Networks in Transporting Wide-AreaData Traffic

R. Caceres

ICSI Technical Report TR-91-043

06/__/1991
HiPNeT-1: A Highly Pipelined Architecture for Neural Network Training

K. Asanovic, B. E. D. Kingsbury, N. Morgan, and J. Wawrzynek

ICSI Technical Report TR-91-035

06/__/1991
Experimental Determination of Precision Requirements for Back-Propagation Training of Artificial Neural Networks

K. Asanovic and N. Morgan

ICSI Technical Report TR-91-036

06/__/1991
A Brief History of the Association for Women in Mathematics: The Presidents'Perspectives

L. Blum

ICSI Technical Report TR-91-037

05/__/1991
The Packet Pair Flow Control Protocol

S. Keshav

ICSI Technical Report TR-91-028

05/__/1991
On the Decidability Problem for a Topological Syllogistic Involving theNotion of Topological Product

D. Cantone and V. Cutello

ICSI Technical Report TR-91-029

05/__/1991
GAL: Networks that grow when they learn and shrink when they forget

E. Alpaydin

ICSI Technical Report TR-91-032

05/__/1991
Polymorphic Processor Arrays

M. Maresca

ICSI Technical Report TR-91-033

05/__/1991
Sather Language Design and Performance Evaluation

C.-C. Lim and A. Stolcke

ICSI Technical Report TR-91-034

04/__/1991
Large Comparison of Rate-Based Service Disciplines

H. Zhang and S. Kesahv

ICSI Technical Report TR-91-024

04/__/1991
Limiting Fault-Induced Output Errors In ANNs

R. D. Clay and C. H. Sequin

ICSI Technical Report TR-91-025

04/__/1991
An Approximation Algorithm for the Number of Zeros of Arbitrary Polynomials over GF[q]

D. Grigoriev and M. Karpinski

ICSI Technical Report TR-91-027

03/__/1991
A Control-Theoretic Approach to Flow Control

S. Keshav

ICSI Technical Report TR-91-015

03/__/1991
Parallel Priority Queues

M. C. Pinotti and G. Pucci

ICSI Technical Report TR-91-016

03/__/1991
Optimal Adaptive K-means Algorithm with Dynamic Adjustment of Learning Rate

C. Chinrungrueng and C. Sequin

ICSI Technical Report TR-91-017

03/__/1991
Computational Complexity of Sparse Rational Interpolation

D. Grigoriev, M. Karpinski, and M. F. Singer

ICSI Technical Report TR-91-018

03/__/1991
Probabilistic Recurrence Relations

R. M. Karp

ICSI Technical Report TR-91-019

03/__/1991
The Design of a File System that Supports Multimedia

V. G. Polimenis

ICSI Technical Report TR-91-020

03/__/1991
An (epsilon, delta)--Approximation Algorithm of the Number of Zeros for aMultilinear Polynomial over GF[q]

M. Karpinski and B. Lhotzky

ICSI Technical Report TR-91-022

03/__/1991
On the Average Case Complexity of Parallel Sublist Selection

G. Pucci and W. Zimmerman

ICSI Technical Report TR-91-023

02/__/1991
Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann Hypothesis

D. Grigoriev, M. Karpinski, and A. M. Odlyzko

ICSI Technical Report TR-91-013

02/__/1991
Computational Complexity of Learning Read-Once Formulas over Different Bases

L. Hellerstein and M. Karpinski

ICSI Technical Report TR-91-014

01/__/1991
The Mean Field Theory in EM Procedures for Markov Random Fields

J. Zhang

ICSI Technical Report TR-91-001

01/__/1991
Protocols for Providing Performance Guarantees in a Packet Switching Internet

C. M. Lowery

ICSI Technical Report TR-91-002

01/__/1991
On-Line Learning with an Oblivious Environment and the Power of Randomization

W. Maass

ICSI Technical Report TR-91-003

01/__/1991
Real-Time Transmission and Software Decompression of Digital Video in aWorkstation

K. Umemura and A. Okazake

ICSI Technical Report TR-91-004

01/__/1991
Some Computational Problems in Linear Algebra as Hard as MatrixMultiplication

P. Buergisser, M. Karpinski, and T. Lickteig

ICSI Technical Report TR-91-005

01/__/1991
Parallel Combinatorial Computing

R. M. Karp

ICSI Technical Report TR-91-006

01/__/1991
Delay Jitter Control for Real-Time Communication in a Packet Switching Network

D. C. Verma, H. Zhang, and D. Ferrari

ICSI Technical Report TR-91-007

01/__/1991
A Study of I/O Architecture for High Performance Next Generation Computers

A. Sah, V. G. Oklobdjiza, and D. C. Verma

ICSI Technical Report TR-91-008

01/__/1991
Bumptrees for Efficient Function, Constraint, and Classification Learning

S. M. Omohundro

ICSI Technical Report TR-91-009

01/__/1991
How Receptive Field Parameters Affect Neural Learning

S. M. Omohundro and B. W. Mel

ICSI Technical Report TR-91-010

01/__/1991
Algorithms for Sparse Rational Interpolation

D. Grigoriev and M. Karpinski

ICSI Technical Report TR-91-011

01/__/1991
On Distributed Representation in Word Semantics

B. B. Rieger

ICSI Technical Report TR-91-012

12/__/1990
Quality of Service in ATM Networks

D. Ferrari and D. Verma

ICSI Technical Report TR-90-064

12/__/1990
Developments in Digital VLSI Design for Artificial Neural Networks

N. Morgan, K. Asanovic, B. Kingsbury, and J. Wawrzynek

ICSI Technical Report TR-90-065

12/__/1990
Automatic Worst Case Complexity Analysis of Parallel Programs

W. Zimmermann

ICSI Technical Report TR-90-066

11/__/1990
Constraint Reasoning With Intervals: A Tutorial, Survey and Bibliography

P. B. Ladkin

ICSI Technical Report TR-90-059

11/__/1990
Proceedings of the Berkeley Workshop on Temporal and Real-Time Specification, August 9-10, 1990

P. B. Ladkin and F. H. Vogt

ICSI Technical Report TR-90-060

11/__/1990
Stochastic Model-Based Image Segmentation Using Markov Random Fields and Multi-Layer Perceptrons

J. Zhang and N. Morgan

ICSI Technical Report TR-90-061

11/__/1990
Proceedings of the First International Workshop on Network Operating SystemSupport for Digital Audio and Video

[Proceedings Editor]

ICSI Technical Report TR-90-062

11/__/1990
A Monte-Carlo Algorithm for Estimating the Permanent

N. Karmarkar, R. Karp, R. Lipton, L. Lovasz, and M. Luby

ICSI Technical Report TR-90-063

10/__/1990
A Pipelining Model Which Pipelines Blocks of Code

J. Beer

ICSI Technical Report TR-90-053

10/__/1990
A Mathematical Theory of Self-Checking, Self-Testing and Self-Correcting Programs (Thesis)

R. Rubinfeld

ICSI Technical Report TR-90-054

10/__/1990
ICSIM: Initial Design of An Object-Oriented Net Simulator

H. W. Schmidt

ICSI Technical Report TR-90-055

10/__/1990
How Fast Can A Threshold Gate Learn?

W. Maass and G. Turan

ICSI Technical Report TR-90-056

10/__/1990
Learning Spatial Terms Without Explicit Negative Instances

T. Regier

ICSI Technical Report TR-90-057

10/__/1990
A Theory of Computation and Complexity Over the Real Numbers

L. Blum

ICSI Technical Report TR-90-058

09/__/1990
Continuous Speech Recognition on the Resource Management Database UsingConnectionist Probability Estimation

N. Morgan, C. Wooters, H. Bourlard, and M. Cohen

ICSI Technical Report TR-90-044, also Proceedings of ICSLP-90, 1337-1340

09/__/1990
SPOONS '90: The SPeech recOgnition frOnt eNd workShop

N. Morgan, H. Hermansky, and C. Wooters

ICSI Technical Report TR-90-045

09/__/1990
Space-Frequency Distributions in the Analysis and Modeling of Early Vision

G. Cristobal

ICSI Technical Report TR-90-046

09/__/1990
The Ring Array Processor (RAP): Algorithms and Architecture

N. Morgan

ICSI Technical Report TR-90-047

09/__/1990
The Ring Array Processor (RAP): Hardware;

J. Beck

ICSI Technical Report tr-90-048

09/__/1990
Ring Array Processor (RAP): Software User's Manual Version 1.0

P. Kohn and J. Bilmes

ICSI Technical Report TR-90-049

09/__/1990
Ring Array Processor (RAP): Software Architecture

J. Bilmes and P. Kohn

ICSI Technical Report TR-90-050

09/__/1990
Characterizing the Variability of Arrival Processes with Indices ofDispersion

R. Gusella

ICSI Technical Report TR-90-051

09/__/1990
On Semi-Algebraic Decision Complexity

T. Lickteig

ICSI Technical Report TR-90-052

08/__/1990
The Goedel Incompleteness Theorem and Decidability over a Ring

L. Blum

ICSI Technical Report TR-90-036

08/__/1990
Two Results on the List Update Problem

S. Irani

ICSI Technical Report TR-90-037

08/__/1990
Information-Based Complexity: New Questions for Mathematicians

J. F. Traub and H. Woznaikowski

ICSI Technical Report tr-90-038

08/__/1990
The Monte Carlo Algorithm with a Pseudo-Random Generator

J. F. Traub and H. Woznaikowski

ICSI Technical Report tr-90-039

08/__/1990
Designing Checkers for Programs that Run in Parallel

R. Rubinfeld

ICSI Technical Report TR-90-040

08/__/1990
Self-Testing/Correcting with Applications to Numerical Problems

M. Blum, M. Luby, and R. Rubinfeld

ICSI Technical Report TR-90-041

08/__/1990
CHCL - A Connectionist Inference System for Horn Logic based on theConnection Method and using Limited Resources

S. Hoelldobler

ICSI Technical Report TR-90-042

08/__/1990
ODA-Based Data Modeling in Multimedia Systems

R. G. Herrtwich and L. Delgrossi

ICSI Technical Report TR-90-043

07/__/1990
Approximating the Number of Solutions of a GF[2] Polynomial

M. Karpinski and M. Luby

ICSI Technical Report TR-90-025

07/__/1990
Audio and Video in Distributed Computer Systems: Why and How?

R. G. Herrtwich

ICSI Technical Report TR-90-026

07/__/1990
Complexity Theoretic Issues Concerning Block Ciphers Related to D.E.S.

R. Cleve

ICSI Technical Report TR-90-027

07/__/1990
Temporal Resoning with Intervals in Branching Time

P. B. Ladkin, F. D. Anger, and R. V. Rodriguez

ICSI Technical Report TR-90-028

07/__/1990
On Location: Points About Regions

P. B. Ladkin and J. S. Crow

ICSI Technical Report TR-90-029

07/__/1990
On the Magnification of Exchange Graphs with Applications to Enumeration Problems (Thesis)

P. Dagum

ICSI Technical Report TR-90-030

07/__/1990
Fault Tolerance in Feed-foward Artificial Neural Networks

C. H. Sequin and R. D. Clay

ICSI Technical Report TR-90-031

07/__/1990
A Note on Self-Testing/Correcting Methods for Trigonometric Functions

R. Cleve and M. Luby

ICSI Technical Report TR-90-032

07/__/1990
The Computational Complexity of (XOR, AND)-Counting Problems

A. Ehrenfeucht and M. Karpinski

ICSI Technical Report TR-90-033

07/__/1990
Finite Representations of Deformable Functions

P. Perona

ICSI Technical Report TR-90-034

07/__/1990
An Introduction to Real-Time Scheduling

R. G. Herrtwich

ICSI Technical Report TR-90-035

06/__/1990
Structure and Scheduling in Real-Time Protocol Implementations

D. P. Anderson, L. Delgrossi, and R. G. Herrtwich

ICSI Technical Report TR-90-021

06/__/1990
Buffer Space Allocation for Real-Time Channels in a Packet-Switching Network

D. Ferrari and D. C. Verma

ICSI Technical Report TR-90-022

06/__/1990
On the Power of Randomization in Online Algorithms;

S. Ben David, A. Borodin, R. Karp, G. Tardos, and A. Wigderson

ICSI Technical Report TR-90-023

06/__/1990
An Introduction to Randomized Algorithms

R. M. Karp

ICSI Technical Report TR-90-024

05/__/1990
L0: A Testbed for Miniature Language Acquisition;

S. H. Weber and A. Stolcke

ICSI Technical Report TR-90-010

05/__/1990
A Network for Extracting the Locations of Point Clusters Using Selective Attention;

S. Ahmad and S. Omohundro

ICSI Technical Report TR-90-011

05/__/1990
Time Dated Streams in Continuous-Media Systems

R. G. Herrtwich

ICSI Technical Report TR-90-017

05/__/1990
Applications of Topology to Lower Bound Estimates in Computer Science

M. D. Hirsch

ICSI Technical Report TR-90-019

05/__/1990
Prototyping and Analysis of Non-Sequential Systems Using Predicate-Event

H. W. Schmidt

ICSI Technical Report TR-90-020

04/__/1990
Dynamic Constraints

H. W. Guesgen and J. Hertzberg

ICSI Technical Report TR-90-014

04/__/1990
Learning Feature-based Semantics with Simple Recurrent Networks;

A. Stolcke

ICSI Technical Report TR-90-015

04/__/1990
Temporal Reasoning Based on Semi-Intervals (Revised Version)

C. Freksa

ICSI Technical Report TR-90-016

04/__/1990
A Connectionist Approach to Symbolic Constraint Satisfaction

H. W.Guesgen

ICSI Technical Report TR-90-018

03/__/1990
Client Requirements for Real-Time Communication Services

D. Ferrari

ICSI Technical Report TR-90-007

03/__/1990
An Algebraic Approach to General Boolean Constraint Problems

H. W. Guesgen and P. B. Ladkin

ICSI Technical Report TR-90-008

03/__/1990
Miniature Language Acquisition: A touchstone for cognitive science;

J. A. Feldman, G. Lakoff, A. Stolcke, and S. H. Weber

ICSI Technical Report TR-90-009

03/__/1990
A Connectionist Unification Algorithm

S. Hoelldobler

ICSI Technical Report TR-90-012

03/__/1990
Towards Optimal Simulations of Formulas by Bounded-Width Programs

R. Cleve

ICSI Technical Report TR-90-013

02/__/1990
SRP: A Resource Reservation Protocol for Guaranteed-Performance Communication in

D. P. Anderson, R. Guido Herrtwich, and C. Schaefer

ICSI Technical Report TR-90-006

01/__/1990
The Delaunay Triangulation and Function Learning;

S. M. Omohundro

ICSI Technical Report TR-90-001

01/__/1990
Speech Segmentation and Labeling on the NeXT Machine

C.Wooters and N. Morgan

ICSI Technical Report TR-90-002

01/__/1990
Considerations for the Electronic Implementation of Artificial Neural

N. Morgan

ICSI Technical Report TR-90-003

01/__/1990
On the Complexity of Genuinely Polynomial Computation

M. Karpinski and F. M. auf der Heide

ICSI Technical Report TR-90-004

01/__/1990
Interpolation of Sparse Rational Functions Without Knowing Bounds on

D. Y. Grigoriev, M. Karpinski, and M. F. Singer

ICSI Technical Report TR-90-005

12/__/1989
On Space-Bounded Learning and the Vapnik-Chervonenkis Dimension (Thesis)

S. Floyd

ICSI Technical Report TR-89-061

12/__/1989
The Asynchronous PRAM: A Semi-Synchronous Model for Shared Memory MIMD Machines (Thesis)

P. B. Gibbons

ICSI Technical Report TR-89-062

12/__/1989
Five Balltree Construction Algorithms;

S. M. Omohundro

ICSI Technical Report TR-89-063

12/__/1989
Lectures on a Theory of Computation and Complexity over the Reals (or an

L. Blum

ICSI Technical Report TR-89-065

12/__/1989
Program Checkers for Algebraic Problems

S. Kannan

ICSI Technical Report TR-89-064

11/__/1989
VC Dimension and Learnability of Sparse Polynomials and Rational Functions

M. Karpinski and T. Werther

ICSI Technical Report TR-89-060

10/__/1989
Fast Establishment of Real-Time Channels

S. Damaskos and D. C. Verma

ICSI Technical Report TR-89-056

10/__/1989
Multiplexing Real-Time Channels

S. Damaskos and D. C. Verma

ICSI Technical Report TR-89-057

10/__/1989
Controlled Gradual Disclosure Schemes for Random Bits and Their Applications

R. Cleve

ICSI Technical Report TR-89-058

10/__/1989
Accessing and Customizing Services in Distributed Systems

R. G. Herrtwich and U. W. Brandenburg

ICSI Technical Report TR-89-059

09/__/1989
An Efficient Parallel Algorithm for the 3MIS Problem

E. Dahlhaus and M. Karpinski

ICSI Technical Report TR-89-052

09/__/1989
Supporting Formal Program Developments: the DEVA Environment

S. Jahnichen, R. Gabriel, M. Weber, and M. Anlauff

ICSI Technical Report TR-89-053

09/__/1989
Fast Evaluation of Boolean Formulas by CREW-PRAMs

R. Reischuk

ICSI Technical Report TR-89-054

09/__/1989
On the Theory of Average Case Complexity (Revised Edition)

S. Ben-David and B. Chor, O. Goldreich, and M. Luby

ICSI Technical Report TR-89-055

09/__/1989
pSather monitors: Design, Tutorial, Rationale and Implementation

J. A. Feldman, C.-C. Lim, and F. Mazzanti

ICSI Technical Report TR-91-031

08/__/1989
Parallel Path-Consistency Algorithms for Constraint Satisfaction

P. B. Ladkin and R. D. Maddux

ICSI Technical Report TR-89-045

08/__/1989
The Transitive Closure of a Random Digraph

R. M. Karp

ICSI Technical Report TR-89-047

08/__/1989
Parallel Heuristics for the Steiner Tree Problem in Images without Sorting or Routing

S. Hambrusch and L. TeWinkel

ICSI Technical Report TR-89-048

08/__/1989
A Note on Computational Indistinguishability

O. Goldreich

ICSI Technical Report TR-89-051

07/__/1989
Merging Multilayer Perceptrons and Hidden Markov Models: Some Experiments in Continuous Speech Recognition

H. Bourlard and N. Morgan

ICSI Technical Report TR-89-033

07/__/1989
Fast Parallel Algorithms for the Clique Separator Decomposition

E. Dahlhaus, M. Karpinski, and M. B. Novick

ICSI Technical Report TR-89-039

07/__/1989
The Possibility of an Executable Specification Language

P. B. Ladkin

ICSI Technical Report TR-89-040

07/__/1989
Parallel Asynchronous Connected Components in a Mesh

S. Hambrusch and M. Luby

ICSI Technical Report TR-89-043

07/__/1989
Removing Randomness in Parallel Computation Without a Processor Penalty

M. Luby

ICSI Technical Report TR-89-044

07/__/1989
On Zero-Testing and Interpolation of k-Sparse Multivariate Polynomials over

M. Clausen, A. Dress, J. Grabmeier, and M. Karpinski

ICSI Technical Report TR-89-046

07/__/1989
Spatial Reasoning Based on Allen's Temporal Logic

H. W. Guesgen

ICSI Technical Report TR-89-049

07/__/1989
Learning Read-Once Formulas with Queries

D. Angluin, L. Hellerstein, and M. Karpinski

ICSI Technical Report TR-89-050

06/__/1989
A Tagging Method for Distributed Constraint Satisfaction

H. W. Guesgen

ICSI Technical Report TR-89-037

06/__/1989
Metric Constraint Satisfaction with Intervals

P. B. Ladkin

ICSI Technical Report TR-89-038

06/__/1989
Geometric Learning Algorithms

S. M. Omohundro

ICSI Technical Report TR-89-041

06/__/1989
Optimal Parallel Algorithm for the Hamiltonian Cycle Problem on Dense Graphs

E. Dahlhaus, P. Hajnal, and M. Karpinski

ICSI Technical Report TR-89-042

05/__/1989
Real-Time Communication in Packet-Switching Wide-Area Networks

D. Ferrari

ICSI Technical Report TR-89-022

05/__/1989
An Efficient Parallel Algorithm for the Minimal Elimination Ordering (MEO)

E. Dahlhaus and M. Karpinski

ICSI Technical Report TR-89-024

05/__/1989
On Parallel Evaluation of Game Trees

R. M. Karp and Y. Zhang

ICSI Technical Report TR-89-025

05/__/1989
Separating Abstraction from Implementation in Communication Network Design

R. Caceres

ICSI Technical Report TR-89-026

05/__/1989
Boolean Circuit Complexity of Algebraic Interpolation Problems

M. Karpinski

ICSI Technical Report TR-89-027

05/__/1989
Application of Real-Time Monitoring to Scheduling Tasks with Random

D. Haban and K. Shin

ICSI Technical Report TR-89-028

05/__/1989
Behavior and Performance Analysis of Distributed Systems Using a Hybrid

D. Haban and D. Wybranietz

ICSI Technical Report TR-89-029

05/__/1989
One-Way Functions Are Essential for Complexity Based Cryptography (Extended

R. Impagliazzo and M. Luby

ICSI Technical Report TR-89-031

05/__/1989
A Connectionist Model of Unification

A. Stolcke

ICSI Technical Report TR-89-032

05/__/1989
A Survey of Optical Fibers in Communication

R. Govindan, S. Keshav, and D. C. Verma

ICSI Technical Report TR-89-034

05/__/1989
Conjectures on Representations in Backpropagation Networks

P. W. Munro

ICSI Technical Report TR-89-035

05/__/1989
A Scheme for Real-Time Channel Establishment in Wide-Area Networks

D. Ferrari and D. C. Verma

ICSI Technical Report TR-89-036

04/__/1989
Explanation and Connectionist Systems

J. Diederich

ICSI Technical Report TR-89-016

04/__/1989
Generalization and Parameter Estimation in Feedforward Nets: Some

N. Morgan and H. Bourlard

ICSI Technical Report TR-89-017

04/__/1989
A Parallel Algorithm for Maximum Matching in Planar Graphs

M. Karpinski, E. Dahlhaus, and A. Lingas

ICSI Technical Report TR-89-018

04/__/1989
A More Practical PRAM Model

P. B. Gibbons

ICSI Technical Report TR-89-019

04/__/1989
Multiple Network Embeddings into Hypercubes

A. Gupta and S. E. Hambrusch

ICSI Technical Report TR-89-020

04/__/1989
Learning Read-Once Formulas Using Membership Queries

L. Hellerstein and M. Karpinski

ICSI Technical Report TR-89-021

04/__/1989
Approximating the Permanent of Graphs with Large Factors

P. Dagum and M. Luby

ICSI Technical Report TR-89-023

03/__/1989
Preemptive Ensemble Motion Planning on a Tree

G. N. Frederickson and D. J. Guan

ICSI Technical Report TR-89-011

03/__/1989
Nonpreemptive Ensemble Motion Planning on a Tree

G. N. Frederickson and D. J. Guan

ICSI Technical Report TR-89-012

03/__/1989
The Establishment of the International Computer Science Institute in Berkeley, California: Venturing with Norbert

R. Kay

ICSI Technical Report TR-89-013

03/__/1989
Subtree Isomorphism is in Random NC

P. Gibbons, R. M. Karp, G. L. Miller, and D. Soroker

ICSI Technical Report TR-89-014

03/__/1989
Planar Graph Decomposition and All Pairs Shortest Paths

G. N. Frederickson

ICSI Technical Report TR-89-015

03/__/1989
Monitoring and Measuring Parallel Systems Using a Non-Intrusive Rule-Based

D. Haban and D. Wybranietz

ICSI Technical Report TR-89-030

02/__/1989
Pseudo-Random Number Generator From ANY One-Way Function

R. Impagliazzo and M. Luby

ICSI Technical Report TR-89-002

02/__/1989
Parallel Search for Maximal Independence Given Minimal Dependence

P. Beame and M. Luby

ICSI Technical Report TR-89-003

02/__/1989
Towards a Theory of Average Case Complexity

S. Ben-David, B. Chor, O. Goldreich, and M. Luby

ICSI Technical Report TR-89-004

02/__/1989
A Study of Password Security

M. Luby and C. Rackoff

ICSI Technical Report TR-89-005

02/__/1989
Fault-Tolerant Routing in Hypercube Multicomputers Using Depth-First Search

M.-S. Chen and K. G. Shin

ICSI Technical Report TR-89-006

02/__/1989
A Linear-Time Algorithm for Enumerating Perfect Matchings in Skew Bipartite Graphs

P. Dagum

ICSI Technical Report TR-89-007

02/__/1989
Spreading Activation and Connectionist Models for Natural Language Processing

J. Diederich

ICSI Technical Report TR-89-008

02/__/1989
A Constructive Omega(t(superscript 1.26)) Lower Bound for the Ramsey Number R (3,t)

R. Cleve and P. Dagum

ICSI Technical Report TR-89-009

02/__/1989
Conceptual Hierarchies in Classical and Connectionist Architecture

A. Kobsa

ICSI Technical Report TR-89-010

02/__/1989
Program Checkers for Algebraic Problems (Thesis)

S. Kanan

ICSI Technical Report TR-89-064

01/__/1989
Guaranteeing Performance for Real-Time Communication in Wide-Area Networks

D. Ferrari

ICSI Technical Report TR-89-001

12/__/1988
Time, Space, and Form in Vision

J. Feldman

ICSI Technical Report TR-88-011

12/__/1988
On a Theory of Computation and Complexity Over the Real Numbers; NP Completeness, Recursive Functions and Universal Machines

L. Blum, M. Shub, and S. Smale

ICSI Technical Report TR-88-012

12/__/1988
Program Correctness Checking and the Design of Programs That Check Their Work

M. Blum and S. Kannan

ICSI Technical Report TR-88-013

11/__/1988
Monitoring and Management-Support of Distributed Systems

D. Haban, D. Wybranietz, and A. Barak

ICSI Technical Report TR-88-007

11/__/1988
Links Between Markov Models and Multilayer Perceptrons

H. Bourlard and C. J. Wellekens

ICSI Technical Report TR-88-008

11/__/1988
Designing Programs to Check Their Work

M. Blum

ICSI Technical Report TR-88-009

11/__/1988
Knowledge-Intensive Recruitment Learning

J. Diederich

ICSI Technical Report TR-88-010

10/__/1988
MOSIX: An Integrated UNIX for Multiprocessor Workstations

A. Barak and R. Wheeler

ICSI Technical Report TR-88-004

10/__/1988
Static Allocation of Periodic Tasks with Precedence Restraints in Distributed Systems

K. Shin and D.-T. Peng

ICSI Technical Report TR-88-005

10/__/1988
Load Sharing in Distributed Real-Time Systems with Broadcast State Changes

K. Shin and Y.-C. Chang

ICSI Technical Report TR-88-006

07/__/1988
Measuring with Slow Clocks

H. Beilner

ICSI Technical Report TR-88-003

06/__/1988
The Cell Tree: An Index for Geometric Databases

O. Günther

ICSI Technical Report TR-88-002

05/__/1988
Future Directions in DBMS Research

E. Neuhold and M. Stonebraker

ICSI Technical Report TR-88-001

11/__/1987
A Minimax Arc Theorem for Reducible Flow Graphs

V. Ramachandran

ICSI Technical Report TR-87-001

 

 

   
Copyright © 2005 International Computer Science Institute. All Rights Reserved.