Publications

Found 4078 results
Author Title [ Type(Asc)] Year
Technical Report
Stoutamire, D. (1995).  The pSather 1.0 Manual.
Schmidt, H. W. (1990).  Prototyping and Analysis of Non-Sequential Systems Using Predicate-Event.
Lowery, C. M. (1991).  Protocols for Providing Performance Guarantees in a Packet Switching Internet.
Mauve, M. (1997).  Protocol Enhancement and Compression for X-Based Application Sharing.
Feldman, J. (2002).  A Proposed Formalism for ECG Schemas, Constructions, Mental Spaces, and Maps.
Kalfa, W. (1992).  Proposal of an External Processor Scheduling in Micro-Kernel Based Operating Systems.
Wu, S-L. (1995).  Properties of Stochastic Perceptual Auditory-event-based Models for Automatic Speech Recognition.
Kohler, E., Chen B., M. Kaashoek F., Morris R., & Poletto M. (2000).  Programming Language Techniques for Modular Router Configurations.
Blum, M. E., & Kannan S. (1988).  Program Correctness Checking and the Design of Programs That Check Their Work.
Kannan, S. (1989).  Program Checkers for Algebraic Problems (Thesis).
Kannan, S. (1989).  Program Checkers for Algebraic Problems.
Gaede, V., & Günther O. (1994).  Processing Joins With User-Defined Functions.
Marino, M. (1992).  Process Grammar Processor: An Architecture for a Parallel Parser.
ICSI (1990).  Proceedings of the First International Workshop on Network Operating SystemSupport for Digital Audio and Video.
Ladkin, P., & Vogt F. (1990).  Proceedings of the Berkeley Workshop on Temporal and Real-Time Specification, August 9-10, 1990.
Voelkel, L. (1995).  On the Problem of Masking Special Errors by Signature Analyzers.
Renals, S., Morgan N., & Bourlard H. (1991).  Probability Estimation by Feed-Forward Networks in Continuous Speech Recognition.
Karpinski, M., & Zimmermann W. (1991).  Probabilistic Recurrence Relations for Parallel Divide-and-Conquer Algorithms.
Karp, R. M. (1991).  Probabilistic Recurrence Relations.
Albanese, A., Blömer J., Edmonds J., & Luby M. (1994).  Priority Encoding Transmission.
Regier, T. (1994).  A Preliminary Study of the Semantics of Reduplication.
Frederickson, G. N., & Guan D.. J. (1989).  Preemptive Ensemble Motion Planning on a Tree.
Stolcke, A., & Segal J. (1994).  Precise n-gram Probabilities from Stochastic Context-free Grammars.
Reischuk, R. (1993).  Precise Average Case Complexity Measures.
Ablayev, F., & Karpinski M. (1995).  On the Power of Randomized Branching Programs.

Pages