Publications
Export 7151 results:
Author Title Type [ Year] Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2002. A voyage of discovery: cholera, climate and complexity. Environmental Microbiology. 4(2):67-69.
2002. Wavelength rerouting in optical networks, or the Venetian Routing problem. Journal of Algorithms. 45(2):93-125.
2002. Web question answering: is more always better? Proceedings of the 25th annual international ACM SIGIR conference on Research and development in information retrieval. :291-298.
2002. What we have learned about fighting defects. Software Metrics, 2002. Proceedings. Eighth IEEE Symposium on. :249-258.
2002. Wide baseline image registration using prior information. Multimedia Signal Processing, 2002 IEEE Workshop on. :37-40.
2002. Zoomable user interfaces as a medium for slide show presentations. Information Visualization. 1(1):35-35.
2003. 2003 IEEE Workshop on Applications of Signal Processing to Audio and Acoustics October 19-22, 2003, New Paltz. NY. 2003 IEEE Workshop on Applications of Signal Processing to Audio and Acoustics: October 19-22, 2003, Mohonk Mountain House, New Paltz, NY, USA. :238-238.
2003. A 2D profile reconstruction in a multilayered waveguide structure. Antennas and Propagation Society International Symposium, 2003. IEEE. 1:531-534vol.1-531-534vol.1.
2003. A 4-Year Study of the Epidemiology of Vibrio Cholerae in Four Rural Areas of Bangladesh. Journal of Infectious DiseasesJ Infect Dis.. 187(1):96-101.
2003. Accessing diverse geo-referenced data sources with the SAND spatial DBMS. Proceedings of the 2003 annual national conference on Digital government research. :1-4.
2003. Accuracy, Target Reentry and Fitts’ Law Performance of Preschool Children Using Mice. University of Maryland Technical Report, HCIL-2003. 16
2003. Accurate dense optical flow estimation using adaptive structure tensors and a parametric model. Image Processing, IEEE Transactions on. 12(10):1170-1180.
2003. Acoustical scattering from N spheres using a multilevel fast multipole method. The Journal of the Acoustical Society of America. 113(4):2334-2334.
2003. Acquisition of bilingual MT lexicons from OCRed dictionaries. Proceedings of the 9th MT Summit. :208-215.
2003. Acquisition of Bilingual MTLexicons from OCRed Dictionaries. Proceedings of the Ninth Machine Translation Summit. :208-215.
2003. Activity modeling and recognition using shape theory. Behavior Representation in Modeling and Simulation.
2003. Activity recognition using the dynamics of the configuration of interacting objects. Computer Vision and Pattern Recognition, 2003. Proceedings. 2003 IEEE Computer Society Conference on. 2:II-633-40vol.2-II-633-40vol.2.
2003. Adaptive Hindi OCRUsing Generalized Hausdorff Image Comparison. LAMP-TR-105,CFAR-TR-987,CS-TR-4519,UMIACS-TR-2003-87
2003. Adaptive Probabilistic Search for Peer-to-Peer Networks. Peer-to-Peer Computing, IEEE International Conference on. :102-102.
2003. An adaptive quality of service aware middleware for replicated services. Parallel and Distributed Systems, IEEE Transactions on. 14(11):1112-1125.
2003. Adaptive visual tracking and recognition using particle filters. Multimedia and Expo, 2003. ICME '03. Proceedings. 2003 International Conference on. 2:II-349-52vol.2-II-349-52vol.2.