Publication Search Results

TitleAuthorBibliographicDateGroupsort descendingLinks
Complexity and Real Computation: A ManifestoL. Blum, F. Cucker, M. Shub, and S. SmaleICSI Technical Report TR-95-042August 1995ICSI Technical Reports[PDF]

Performance Oriented Specification for Heterogenous Parallel Systems Using Graphical Based SpecificationsH. Unger and B. DaeneICSI Technical Report TR-95-043August 1995ICSI Technical Reports[PDF]

Complexity of Searching an Immobile Hider in a GraphB. von Stengel and R. WerchnerICSI Technical Report TR-95-044August 1995ICSI Technical Reports[PDF]

Random Walks on Colored Graphs: Analysis and ApplicationsD. HernekICSI Technical Report TR-95-045August 1995ICSI Technical Reports[PDF]

Pet - Priority Encoded TransmissionB. Lamparter, A. Albanese, M. Kalfane, and M. LubyICSI Technical Report TR-95-046August 1995ICSI Technical Reports[PDF]

The Implementation of PETB. Lamparter and M. KalfaneICSI Technical Report TR-95-047August 1995ICSI Technical Reports[PDF]

An XOR-Based Erasure-Resilient Coding SchemeJ. Blömer, M. Kalfane, M. Karpinski, R. M. Karp, M. Luby, and D. ZuckermanICSI Technical Report TR-95-048August 1995ICSI Technical Reports[PDF]

Imperative Concurrent Object-Oriented Languages: An Annotated BibliographyM. PhilippsenICSI Technical Report TR-95-049August 1995ICSI Technical Reports[PDF]

Imperative Concurrent Object-Oriented LanguagesM. PhilippsenICSI Technical Report TR-95-050August 1995ICSI Technical Reports[PDF]

A Security Architecture for Tenet Scheme 2R. Oppliger, A. Gupta, M. Moran, and R. BettatiICSI Technical Report TR-95-051August 1995ICSI Technical Reports[PDF]

Reactive Local Search for the Maximum Clique ProblemR. Battiti and M. ProtasiICSI Technical Report TR-95-052September 1995ICSI Technical Reports[PDF]

Efficient Implementation of Multi-Methods for Statically Typed LanguagesV. Turau and W. ChenICSI Technical Report TR-95-053September 1995ICSI Technical Reports[PDF]

Elementary Proofs of Some Results on Representations of p-GroupsM. A. ShokrollahiICSI Technical Report TR-95-054September 1995ICSI Technical Reports[PDF]

Noisy Information and Computational Complexity: A Short SurveyL. PlaskotaICSI Technical Report TR-95-055September 1995ICSI Technical Reports[PDF]

How to Benefit From NoiseL. PlaskotaICSI Technical Report TR-95-056September 1995ICSI Technical Reports[PDF]

The Sather 1.0 SpecificationD. Stoutamire and S. OmohundroICSI Technical Report TR-95-057October 1995ICSI Technical Reports[PDF]

The pSather 1.0 ManualD. StoutamireICSI Technical Report TR-95-058October 1995ICSI Technical Reports[PDF]

Fault Handling for Multi-Party Real-Time CommunicationA. Gupta and K. RothermelICSI Technical Report TR-95-059October 1995ICSI Technical Reports[PDF]

Dynamic Resource Migration for Multi-Party Real-Time CommunicationR. Bettati and A. GuptaICSI Technical Report TR-95-060October 1995ICSI Technical Reports[PDF]

Efficient Input Reordering for the DCT Based on a Real-Valued Decimation in Time FFTR. StornICSI Technical Report TR-95-061September 1995ICSI Technical Reports[PDF]

The Supervisor Synthesis Problem for Unrestricted CTL is NP-completeM. Antoniotti and B. MishraICSI Technical Report TR-95-062November 1995ICSI Technical Reports[PDF]

Mapping of Speech Front-End Signal Processing to High Performance Vector ArchitecturesP. MorettoICSI Technical Report TR-95-063December 1995ICSI Technical Reports[PDF]

On the Power of Randomized Branching ProgramsF. Ablayev and M. KarpinskiICSI Technical Report TR-95-064November 1995ICSI Technical Reports[PDF]

VC Dimension of Sigmoidal and General Pfaffian Neural NetworksM. Karpinski and A. MacintyreICSI Technical Report TR-95-065November 1995ICSI Technical Reports[PDF]

An Exponential Lower Bound on the Size of Algebraic Decision Trees for MAXD. Grigoriev, M. Karpinski, and A. C. YaoICSI Technical Report TR-95-066November 1995ICSI Technical Reports[PDF]

Making Automatic Speech Recognition More Robust to Fast SpeechN. Mirghafori, E. Fosler, and N. MorganICSI Technical Report TR-95-067December 1995ICSI Technical Reports[PDF]

A Lower Bound for Randomized Algebraic Decision TreesD. Grigoriev, M. Karpinski, F. M. auf der Heide, and R. SmolenskyICSI Technical Report TR-95-068December 1995ICSI Technical Reports[PDF]

Derandomizing Approximation Algorithms for Hard Counting ProblemsM. LubyICSI Technical Report TR-95-069December 1995ICSI Technical Reports[PDF]

A Quality of Service Management Architecture (QoSMA): A Preliminary StudyM. AlfanoICSI Technical Report TR-95-070December 1995ICSI Technical Reports[PDF]

Interaction Selection and Complexity Control for Learning in Binarized DomainsG. FahnerICSI Technical Report TR-96-001May 1996ICSI Technical Reports[PDF]

Computation of Irregular Primes up to Eight Million (Preliminary Report)M. A. ShokrollahiICSI Technical Report TR-96-002January 1996ICSI Technical Reports[PDF]

Ramification and CausalityM. ThielscherICSI Technical Report TR-96-003January 1996ICSI Technical Reports[PDF]

The Rank of Sparse Random Matrices Over Finite FieldsJ. Blömer, R. Karp, and E. WelzlICSI Technical Report TR-96-004January 1996ICSI Technical Reports[PDF]

Computing Irreducible Representations of Supersolvable Groups over Small Finite FieldsA. Omrani and A. ShokrollahiICSI Technical Report TR-96-005January 1996ICSI Technical Reports[PDF]

Managing ABR Capacity in Reservation-based Slotted NetworksR. Ulrich and P. KritzingerICSI Technical Report TR-96-006January 1996ICSI Technical Reports[PDF]

Algebraic Settings for the ProblemL. Blum, F. Cucker, M. Shub, and S. SmaleICSI Technical Report TR-96-007February 1996ICSI Technical Reports[PDF]

A Geometric Proof of a Formula for the Number of Young Tableaux of a Given ShapeM. LubyICSI Technical Report TR-96-008February 1996ICSI Technical Reports[PDF]

Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic SystemsS.-E. Bornscheuer and M. ThielscherICSI Technical Report TR-96-009February 1996ICSI Technical Reports[PDF]

On Interpolating Polynomials over Finite FieldsM. A. ShokrollahiICSI Technical Report TR-96-010February 1996ICSI Technical Reports[PDF]

A DSOM Hierarchical Model for Reflexive Processing: An Application to Visual Trajectory ClassificationC. Privitera and L. ShastriICSI Technical Report TR-96-011June 1996ICSI Technical Reports[PDF]

The Sather 1.1 SpecificationD. Stoutamire and S. OmohundroICSI Technical Report TR-96-012August 1996ICSI Technical Reports[PDF]

The Voice Mail Digits and Their Performance on ICSI's Hybrid HMM/ANN SystemR. KlischICSI Technical Report TR-96-013April 1996ICSI Technical Reports[PDF]

A Note on Matrix RigidityM. A. Shokrollahi and V. StemannICSI Technical Report TR-96-014April 1996ICSI Technical Reports[PDF]

Cyclical Local Structural Risk Minimization with Growing Neural NetworksJ. M. LangeICSI Technical Report TR-96-015April 1996ICSI Technical Reports[PDF]

Deterministic Generalized AutomataD. Giammarresi and R. MontalbanoICSI Technical Report TR-96-016May 1996ICSI Technical Reports[PDF]

Structural Gröbner Basis DetectionB. Sturmfels and M. WiegelmannICSI Technical Report TR-96-017May 1996ICSI Technical Reports[PDF]

A Management Platform for Global Area ATM NetworksR. UlrichICSI Technical Report TR-96-018May 1996ICSI Technical Reports[PDF]

An Introduction to Modular Process NetsD. WikarskiICSI Technical Report TR-96-019April 1996ICSI Technical Reports[PDF]

Parallel Balanced AllocationV. StemannICSI Technical Report TR-96-020June 1996ICSI Technical Reports[PDF]

Randomized Efficient Algorithms for Compressed Strings: the Finger-Print ApproachL. Gasieniec, M. Karpinski, W. Plandowski, and W. RytterICSI Technical Report TR-96-021June 1996ICSI Technical Reports[PDF]

Pages