Publications

Found 4258 results
Author [ Title(Asc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
T
Karp, R. M. (2012).  Theory of Computation as an Enabling Tool for the Sciences.
Blum, L., Shub M., & Smale S. (1988).  On a Theory of Computation and Complexity Over the Real Numbers; NP Completeness, Recursive Functions and Universal Machines.
Blum, L. (1990).  A Theory of Computation and Complexity Over the Real Numbers.
Ben-David, S., Chor B., Goldreich O., & Luby M. (1989).  On the Theory of Average Case Complexity (Revised Edition).
Edmonds, J., & Karp R. M. (1972).  Theoretical Improvements in Algorithmic Efficiency for Network Flow Problems. Journal of the Association for Computing Machinery. 19(2), 248-264.
Shenker, S. J. (1990).  A Theoretical Analysis of Feedback Flow Control. Proceedings of the ACM SIGCOMM Symposium on Communications Architectures & Protocols. 156-165.
Boakye, K., & Peskin B. (2004).  Text-Constrained Speaker Recognition on a Text-Independent Task. Proceedings of the Speaker and Language Recognition Workshop (Odyssey 2004).
Shriberg, E., & Ferrer L. (2007).  A Text-constrained Prosodic System for Speaker Verification. Proceedings of the 8th Annual Conference of the International Speech Communication Association (Interspeech 2007). 1226-1229.
Boulis, C., & Ostendorf M. (2005).  Text Classification by Augmenting the Bag-of-Words Representation with Redundancy-Compensated Bigrams. Proceedings of the SIAM International Conference on Data Mining at the Workshop on Feature Selection in Data Mining (SIAM-FSDM 2005).
Feldman, J., Weber S. Hollbach, & Stolcke A. (1990).  A Testbed for the Miniature Language L0. Proceedings of the Fifth Rocky Mountain Conference on Artificial Intelligence.
Randall, D., & Sinclair A. (1993).  Testable Algorithms for Self-Avoiding Walks.
Bürgisser, P., Lickteig T. Michael, & Shub M. (1991).  Test Complexity of Generic Poynomials.
Liu, R., Klues K., Bird S., Hofmeyr S., Asanović K., & Kubiatowicz J. D. (2009).  Tessellation: Space-Time Partitioning in a Manycore Client OS.
Colmenares, J. A., Eads G., Hofmeyr S., Bird S., Moretó M., Chou D., et al. (2013).  Tessellation: Refactoring the OS around Explicit Resource Containers with Continuous Adaptation.
Murray, G.., & Renals S. (2007).  Term-Weighting for Summarization of Multi-Party Spoken Dialogues. 155-166.
Moody, J., & Yang H. Hua (2000).  Term Structure of Interactions of Foreign Exchange Rates.
Staunton, P. (1995).  Tenet Suite 1 and the Continuous Media Toolkit.
Banerjea, A., Ferrari D., Mah B. A., Moran M., Verma D. C., & Zhang H. (1994).  Tenet Real-Time Protocol Suite: Design, Implementation, and Experiences.
Shastri, L. (1996).  Temporal Synchrony, Dynamic Bindings, and SHRUTI -- a representational but non-classical model of reflexive reasoning. 19(2), 
Morgan, N. (1999).  Temporal Signal Processing for ASR. Proceedings of the IEEE Workshop on Automatic Speech Recognition and Understanding. 9-16.
Ladkin, P., Anger F. D., & Rodriguez R. V. (1990).  Temporal Resoning with Intervals in Branching Time.
Freksa, C. (1990).  Temporal Reasoning Based on Semi-Intervals (Revised Version).
Arai, T., & Greenberg S. (1997).  The Temporal Properties of Spoken Japanese Are Similar to Those of English. Proceedings of the Fifth European Conference on Speech Communication and Technology (Eurospeech '97). 2, 1011-1014.
Hermansky, H., & Sharma S. (1999).  Temporal Patterns (TRAPS) in ASR of Noisy Speech. Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 1999).
Ganapathy, S., Motlicek P., Hermansky H., & Garudadri H. (2008).  Temporal Masking for Bit-Rate Reduction in Audio Codec based on Frequency Domain Linear Prediction. 4781-4784.

Pages