| Turning an Action Formalism Into a Planner–A Case Study | J. Hertzberg and S. Thiebaux | ICSI Technical Report TR-93-033 | July 1993 | ICSI Technical Reports | [PDF]
|
| On Lines Missing Polyhedral Sets in 3-Space | M. Pellegrini | ICSI Technical Report TR-93-034 | July 1993 | ICSI Technical Reports | [PDF]
|
| 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 | July 1993 | ICSI Technical Reports | [PDF]
|
| Sparse Interpolation from Multiple Derivatives | T. Werther | ICSI Technical Report TR-93-036 | July 1993 | ICSI Technical Reports | [PDF]
|
| 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 | July 1993 | ICSI Technical Reports | [PDF]
|
| Exploitation of Structured Gating Connections for the Normalization of a Visual Pattern | A. Sperduti | ICSI Technical Report TR-93-038 | July 1993 | ICSI Technical Reports | [PDF]
|
| Building Convex Space Partitions Induced by Pairwise Interior-Disjoint Simplices | M. Pellegrini | ICSI Technical Report TR-93-039 | August 1993 | ICSI Technical Reports | [PDF]
|
| Efficient PRAM Simulation on a Distributed Memory Machine | R. M. Karp, M. Luby, and F. M. auf der Heide | ICSI Technical Report TR-93-040 | August 1993 | ICSI Technical Reports | [PDF]
|
| Optimal Parallelization of Las Vegas Algorithms | M. Luby and W. Ertel | ICSI Technical Report TR-93-041 | September 1993 | ICSI Technical Reports | [PDF]
|
| 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 | August 1993 | ICSI Technical Reports | [PDF]
|
| Finite Branching Processes and AND/OR Tree Evaluation | R. M. Karp | ICSI Technical Report TR-93-043 | December 1993 | ICSI Technical Reports | [PDF]
|
| An Application of a Neural Net for Fuzzy Abductive Reasoning | M. Kaiser | ICSI Technical Report TR-93-044 | August 1993 | ICSI Technical Reports | [PDF]
|
| Sather Iters: Object-Oriented Iteration Abstraction | S. Murer, S. Omohundro, and C. Szyperski | ICSI Technical Report TR-93-045 | August 1993 | ICSI Technical Reports | [PDF]
|
| A Performance Analysis of the CNS-1 on Large, Dense Backpropagation Networks | S. M. Müller | ICSI Technical Report TR-93-046 | September 1993 | ICSI Technical Reports | [PDF]
|
| Source-to-Source Code Generation Based on Pattern Matching and Dynamic Programming | W. Chen and V. Turau | ICSI Technical Report TR-93-047 | August 1993 | ICSI Technical Reports | [PDF]
|
| The Sublogarithmic Space World | M. Liskiewicz and R. Reischuk | ICSI Technical Report TR-93-048 | August 1993 | ICSI Technical Reports | [PDF]
|
| Precise Average Case Complexity Measures | R. Reischuk | ICSI Technical Report TR-93-049 | August 1993 | ICSI Technical Reports | [PDF]
|
| Interior Point Methods in Semidefinite Progrmming with Applications to Combinatorial Optimization | F. Alizadeh | ICSI Technical Report TR-93-050 | September 1993 | ICSI Technical Reports | [PDF]
|
| 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 | September 1993 | ICSI Technical Reports | [PDF]
|
| On a Criterion for Minimum Uncertainty Sensing | V. Caglioti | ICSI Technical Report TR-93-052 | October 1993 | ICSI Technical Reports | [PDF]
|
| On a Criterion for Minimum Uncertainty Sensing | V. Caglioti | ICSI Technical Report TR-93-053 | September 1993 | ICSI Technical Reports | [PDF]
|
| An Investigation Into Fault Recovery in Guaranteed Performance Service Connections | C. J. Parris and A. Banerjea | ICSI Technical Report TR-93-054 | October 1993 | ICSI Technical Reports | [PDF]
|
| Testable Algorithms for Self-Avoiding Walks | D. Randall and A. Sinclair | ICSI Technical Report TR-93-055 | September 1993 | ICSI Technical Reports | [PDF]
|
| Dynamic Join and Leave for Real-Time Multicast | W. Effelsberg and E. Müller-Menrad | ICSI Technical Report TR-93-056 | October 1993 | ICSI Technical Reports | [PDF]
|
| Second Order Backpropagation - Efficient Computation of the Hessian Matrix for Neural Networks | R. Rojas | ICSI Technical Report TR-93-057 | September 1993 | ICSI Technical Reports | [PDF]
|
| Towards a Cognitively Based Approach of a Description of Spatial Deixis | M. Kaiser | ICSI Technical Report TR-93-058 | November 1993 | ICSI Technical Reports | [PDF]
|
| Constructive Deterministic PRAM Simulation on a Mesh-Connected Computer | A. Pietracaprina, G. Pucci, and J. F. Sibeyn | ICSI Technical Report TR-93-059 | October 1993 | ICSI Technical Reports | [PDF]
|
| Improved Band Matrix Computations | V. Pan | ICSI Technical Report TR-93-060 | September 1993 | ICSI Technical Reports | [PDF]
|
| Optimum Parallel Computations with Band Matrices | V. Pan | ICSI Technical Report TR-93-061 | September 1993 | ICSI Technical Reports | [PDF]
|
| A Formalization of Viewpoints | G. Attardi and M. Simi | ICSI Technical Report TR-93-062 | October 1993 | ICSI Technical Reports | [PDF]
|
| A Parallel Object-Oriented System for Realizing Reusable and Efficient Data Abstractions | C.-C. Lim | ICSI Technical Report .TR-93-063 | October 1993 | ICSI Technical Reports | [PDF]
|
| Engineering a Programming Language: The Type and Class System of Sather | C. Szypersky, S. Omohundro, and S. Murer | ICSI Technical Report TR-93-064 | November 1993 | ICSI Technical Reports | [PDF]
|
| An Efficient Probabilistic Context-Free Parsing Algorithm That Computes Prefix Probabilities | A. Stolcke | ICSI Technical Report TR-93-065 | November 1993 | ICSI Technical Reports | [PDF]
|
| Recovering Guaranteed Performance Service Connections from Single and Multiple Faults | A. Banerjea, C. Parris, and D. Ferrari | ICSI Technical Report TR-93-066 | November 1993 | ICSI Technical Reports | [PDF]
|
| A Software Reuse System for C Codes | L. V. Huu | ICSI Technical Report TR-93-067 | December 1993 | ICSI Technical Reports | [PDF]
|
| Lexical Modeling in a Speaker Independent Speech Understanding System | C. C. Wooters | ICSI Technical Report TR-93-068 | November 1993 | ICSI Technical Reports | [PDF]
|
| On the Definition of Speedup | W. Ertel | ICSI Technical Report TR-93-069 | November 1993 | ICSI Technical Reports | [PDF]
|
| An Alphabet-Independent Optimal Parallel Search for Three Dimensional Patterns | M. Karpinski and W. Rytter | ICSI Technical Report TR-93-070 | November 1993 | ICSI Technical Reports | [PDF]
|
| 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 | November 1993 | ICSI Technical Reports | [PDF]
|
| Software Protection and Simulation on Oblivious RAMs | O. Goldreich and R. Ostrovsky | ICSI Technical Report TR-93-072 | November 1993 | ICSI Technical Reports | [PDF]
|
| One-Way Functions Are Essential for Non-Trivial Zero-Knowledge | R. Ostrovsky and A. Wigderson | ICSI Technical Report TR-93-073 | November 1993 | ICSI Technical Reports | [PDF]
|
| How and When to Be Unique | S. Kutten, R. Ostrovsky, and B. Patt-Shamir | ICSI Technical Report TR-93-074 | November 1993 | ICSI Technical Reports | [PDF]
|
| Matching Nuts and Bolts | N. Alon, M. Blum, A. Fiat, S. Kannan, M. Naor, and R. Ostrovsky | ICSI Technical Report TR-93-075 | November 1993 | ICSI Technical Reports | [PDF]
|
| 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 | November 1993 | ICSI Technical Reports | [PDF]
|
| A Cognitive Model of Sentence Interpretation: the Construction Grammar Approach | D. Jurafsky | ICSI Technical Report TR-93-077 | December 1993 | ICSI Technical Reports | [PDF]
|
| An Evaluation of Burst-level Bandwidth Reservation Methods in WANEnvironments | M. Yoshida, C. Ikeda, and H. Suzuki | ICSI Technical Report TR-93-078 | February 1994 | ICSI Technical Reports | [PDF]
|
| On a Sublinear Time Parallel Construction of Optimal Binary Search Trees | M. Karpinski and W. Rytter | ICSI Technical Report TR-93-079 | December 1993 | ICSI Technical Reports | [PDF]
|
| Dynamic Programming in a Generalized Decision Model | U. Huckenbeck | ICSI Technical Report TR-93-080 | December 1993 | ICSI Technical Reports | [PDF]
|
| On Valve Adjustments that Interrupt all s-t-Paths in a Digraph | U. Huckenbeck | ICSI Technical Report TR-93-081 | December 1993 | ICSI Technical Reports | [PDF]
|
| All-to-All Broadcast on the CNS-1 | S. M. Müller | ICSI Technical Report TR-93-082 | December 1993 | ICSI Technical Reports | [PDF]
|
