Publications
Export 7151 results:
Author Title Type [ Year] Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2009. Triangle Inequality and Routing Policy Violations in the Internet. Passive and Active Network MeasurementPassive and Active Network Measurement. 5448:45-54.
2009. Triangle inequality variations in the internet. Proceedings of the 9th ACM SIGCOMM conference on Internet measurement conference. :177-183.
2009. TwitterStand: news in tweets. Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. :42-51.
2009. Two Alternatively Spliced Isoforms of the Arabidopsis SR45 Protein Have Distinct Roles during Normal Plant Development. Plant PhysiologyPlant Physiol.. 150(3):1450-1458.
2009. UbiGreen: investigating a mobile tool for tracking and supporting green transportation habits. Proceedings of the 27th international conference on Human factors in computing systems. :1043-1052.
2009. Ultrafast and memory-efficient alignment of short DNA sequences to the human genome. Genome Biology. 10(3):R25-R25.
2009. Understanding IT Innovations Through Computational Analysis of Discourse. ICIS 2009 Proceedings.
2009. Understanding social computing participation with visual exploration tools. International Symposium on Collaborative Technologies and Systems, 2009. CTS '09. :xi-xii-xi-xii.
2009. Understanding videos, constructing plots learning a visually grounded storyline model from annotated videos. Computer Vision and Pattern Recognition, 2009. CVPR 2009. IEEE Conference on. :2012-2019.
2009. A unified approach to ranking in probabilistic databases. Proceedings of the VLDB Endowment. 2(1):502-513.
2009. A unified approach to scheduling on unrelated parallel machines. J. ACM. 56(5):28:1–28:31-28:1–28:31.
2009. The University of Maryland statistical machine translation system for the Fourth Workshop on Machine Translation. Proceedings of the Fourth Workshop on Statistical Machine Translation. :145-149.
2009. An unsupervised learning method for representing simple sentences. Neural Networks, 2009. IJCNN 2009. International Joint Conference on. :2133-2140.
2009. Unsupervised search-based structured prediction. Proceedings of the 26th Annual International Conference on Machine Learning. :209-216.
2009. Unsupervised view and rate invariant clustering of video sequences. Computer Vision and Image Understanding. 113(3):353-371.
2009. An update to experimental models for validating computer technology. Journal of Systems and Software. 82(3):373-376.
2009. Using citations to generate surveys of scientific paradigms. Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics. :584-592.
2009. Using Graphics Processors for High-Performance Computation and Visualization of Plasma Turbulence. Computing in Science Engineering. 11(2):52-59.
2009. Using reverse engineering for automated usability evaluation of GUI-based applications. Human-Centered Software Engineering. :335-355.
2009. Using Satellite Images of Environmental Changes to Predict Infectious Disease Outbreaks. Emerging Infectious DiseasesEmerg Infect Dis. 15(9):1341-1346.