Publications

Found 4258 results
Author Title [ Type(Desc)] Year
Technical Report
Gomes, B., Stoutamire D., Weissman B., & Feldman J. (1997).  Using Value Semantic Abstractions to Guide Strongly Typed Library Design.
Huckenbeck, U. (1993).  On Valve Adjustments that Interrupt all s-t-Paths in a Digraph.
Becker, B., Drechsler R., & Theobald M. (1994).  On Variable Ordering of Ordered Functional Decision Diagrams.
Vasallo, P. Reviriego (2000).  Variable Packet Size Equation Based Congestion Control.
Karpinski, M., & Werther T. (1989).  VC Dimension and Learnability of Sparse Polynomials and Rational Functions.
Karpinski, M., & Werther T. (1991).  VC Dimension and Sampling Complexity of Learning Sparse Polynomials and Rational Functions.
Karpinski, M., & Macintyre A. (1995).  VC Dimension of Sigmoidal and General Pfaffian Neural Networks.
Bürgisser, P., & Lickteig T. Michael (1991).  Verification Complexity of Linear Prime Ideals.
Mueller, A., & Neuhold E. (1998).  The Virtual Gallery (TVIG) - 3D Visualization of a Queryable Art-database on the Internet.
Maresca, M., & Li H. (1991).  Virtual Parallelism Support in Reconfigurable Processor Arrays.
Ahmad, S. (1991).  VISIT: An Efficient Computational Model Of Human Visual Attention.
Klisch, R. (1996).  The Voice Mail Digits and Their Performance on ICSI's Hybrid HMM/ANN System.
d'Amore, F., Marchetti-Spaccamela A., & Nanni U. (1992).  The Weighted List Update Problem and the Lazy Adversary.
Scott, C., Wundsam A., Zarifis K., & Shenker S. J. (2012).  What, Where, and When: Software Fault Localization for SDN.
Frieze, A., Karp R. M., & Reed B. (1992).  When is the Assignment Bound Tight for the Asymmetric Traveling-Salesman Problem?.
Bailey, D. R. (1997).  When Push Comes to Shove: A Computational Model of the Role of Motor Control in the Acquisition of Action Verbs.
Srivastava, M., Hansen M., Burke J., Parker A., Reddy S., Saurabh G., et al. (2006).  Wireless Urban Sensing Systems.
Federrath, H. (2000).  Workshop on Design Issues in Anonymity and Unobservability (Preproceedings).
Anguera, X. (2005).  XBIC: Real-Time Cross Probabilities Measure for Speaker Segmentation.
Blömer, J., Kalfane M., Karpinski M., Karp R. M., Luby M., & Zuckerman D. (1995).  An XOR-Based Erasure-Resilient Coding Scheme.
Ganichev, I., Dai B., P. Godfrey B., & Shenker S. J. (2009).  YAMR: Yet Another Multipath Routing Protocol.
Bernd, J., Borth D., Elizalde B. Martinez, Friedland G., Gallagher H., Gottlieb L., et al. (2015).  The YLI?MED Corpus: Characteristics, Procedures, and Plans.
Clausen, M., Dress A., Grabmeier J., & Karpinski M. (1989).  On Zero-Testing and Interpolation of k-Sparse Multivariate Polynomials over Finite Fields.

Pages