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 
P
Wu, S-L. (1995).  Properties of Stochastic Perceptual Auditory-event-based Models for Automatic Speech Recognition.
Floyd, S., & Fall K. (1999).  Promoting the Use of End-to-End Congestion Control in the Internet. IEEE/ACM Transactions on Networking.
Frik, A., Malkin N., Harbach M., Peer E., & Egelman S. (2019).  A Promise Is A Promise: The Effect Of Commitment Devices On Computer Security Intentions. Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems (CHI 2019).
Frik, A., Malkin N., Harbach M., Peer E., & Egelman S. (2019).  A Promise Is A Promise: The Effect Of Commitment Devices On Computer Security Intentions. Proceedings of CHI '19.
Kohler, E. (1997).  Prolac: a language for protocol compilation.
Maire, M., & Yu S. X. (2013).  Progressive Multigrid Eigensolvers for Multiscale Spectral Segmentation.
Stolcke, A., Wooters C., Mirghafori N., Pirinen T., Bulyko I., Gelbart D., et al. (2004).  Progress in Meeting Recognition: The ICSI-SRI-UW Spring 2004 Evaluation System. NIST ICASSP 2004 Meeting Recognition Workshop.
Feldman, J., & Sloan K. R. (1980).  Progress at the Rochester Image Understanding Project. Proceedings of the DARPA Image Understanding Workshop.
Feldman, J., Brown C. M., & Sloan K. R. (1979).  Progress at the Rochester Image Understanding Project. Proceedings of the DARPA Image Understanding Workshop.
Feldman, J., Brown C. M., & Sloan K. R. (1978).  Progress at the Rochester Image Project.
Feldman, J. (1977).  A Programming Methodology for Distributed Computing (among other things).
Feldman, J. (1979).  Programming Languages. Scientific American. 241,
Kohler, E., Chen B., M. Kaashoek F., Morris R., & Poletto M. (2000).  Programming Language Techniques for Modular Router Configurations.
Kohler, E., Morris R., & Chen B. (2002).  Programming Language Optimizations for Modular Router Configurations. Proceedings of the Tenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X).
Feldman, J. (1977).  A Programming Language for Distributed Computing.
Feldman, J., Low J.., & Rovner P. D. (1978).  Programming Distributed Systems. Proceedings of the ACM Annual Conference. 2, 310-317.
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.
Mehta, A., Shenker S. J., & Vazirani V. V. (2003).  Profit Maximizing Multicast Pricing by Approximating Fixed Points (Extended Abstract). Proceedings of the Fourth ACM Conference on Electronic Commerce (EC '03). 218-219.
Sundaresan, S., McCoy D., Afroz S., & Paxson V. (2016).  Profiling Underground Merchants Based on Network Behavior. Proceedings of APWG eCrime 2016.
Dutta, P., Culler D. E., & Shenker S. J. (2007).  Procrastination Might Lead to a Longer and More Useful Life. 1-7.
Doubleday, S., Trott S., & Feldman J. (2017).  Processing Natural Language About Ongoing Actions in ECG. Proceedings of the AAAI 2017 Spring Symposium on Computational Construction Grammar and Natural Language Understanding.
Gaede, V., & Günther O. (1994).  Processing Joins With User-Defined Functions.
Marino, M. (1992).  Process Grammar Processor: An Architecture for a Parallel Parser.

Pages