Publications
Export 7151 results:
Author Title [ Type] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
1993. Machine Translation of Spatial Expressions: Defining the Relation betweenan Interlingua and a Knowledge Representation System. IN PROCEEDINGS OF TWELFTH CONFERENCE OF THE AMERICAN ASSOCIATION FOR ARTIFICIAL IN℡LIGENCE. :374-379.
2007. MAGIC: A Multi-Activity Graph Index for Activity Detection. Information Reuse and Integration, 2007. IRI 2007. IEEE International Conference on. :267-272.
2005. Main effects screening. Proceedings of the 27th international conference on Software engineering - ICSE '05. :293-293.
2005. Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving software systems. Proceedings of the 27th international conference on Software engineering. :293-302.
2005. Maintaining concentration to achieve task completion. Proceedings of the 2005 conference on Designing for User eXperience.
2005. Maintaining concentration to achieve task completion. Proceedings of the 2005 conference on Designing for User eXperience. :9-9.
1990. Maintaining consistency in a stratified production system program. Proceedings of the AAAI National Conference on Artificial Intelligence. :284-289.
2005. Maintaining Implicated Statistics in Constrained Environments. Data Engineering, International Conference on. :730-741.
2002. Maintaining software with a security perspective. Software Maintenance, 2002. Proceedings. International Conference on. :194-203.
2006. Making a difference: integrating socially relevant projects into HCI teaching. CHI '06 extended abstracts on Human factors in computing systems. :41-44.
2012. Making Recommendations in a Microblog to Improve the Impact of a Focal User. 6th ACM Conference on Recommender Systems (RecSys).
2006. Managing policy updates in security-typed languages. 19th IEEE Computer Security Foundations Workshop, 2006. :13pp.-216-13pp.-216.
2001. Mandarin-English Information (MEI): investigating translingual speech retrieval. Proceedings of the first international conference on Human language technology research. :1-7.
2005. The manifolds of spatial hearing. Acoustics, Speech, and Signal Processing, 2005. Proceedings. (ICASSP '05). IEEE International Conference on. 3:iii/285-iii/288Vol.3-iii/285-iii/288Vol.3.
2003. Manufacturability Analysis of Multi-Material Objects Molded by Rotary Platen Multi-Shot Molding Process. 2003:353-365.
2010. ManyNets: an interface for multiple network analysis and visualization. Proceedings of the 28th international conference on Human factors in computing systems. :213-222.
1987. Mapping a single-assignment language onto the Warp systolic array. Functional Programming Languages and Computer Architecture. :347-363.
2001. Mapping lexical entries in a verbs database to WordNet senses. Proceedings of the 39th Annual Meeting on Association for Computational Linguistics. :244-251.
2006. Mapping Multimedia Applications Onto Configurable Hardware With Parameterized Cyclo-Static Dataflow Graphs. Acoustics, Speech and Signal Processing, 2006. ICASSP 2006 Proceedings. 2006 IEEE International Conference on. 3:III-III.
2010. Maranello: practical partial packet recovery for 802.11. Proceedings of the 7th USENIX conference on Networked systems design and implementation. :14-14.
2007. Markerless Monocular Tracking of Articulated Human Motion. Acoustics, Speech and Signal Processing, 2007. ICASSP 2007. IEEE International Conference on. 1:I-693-I-696-I-693-I-696.
2005. Markerless Motion Capture using Multiple Cameras. Computer Vision for Interactive and Intelligent Environment, 2005. :15-26.