Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2009. Why Do Upgrades Fail and What Can We Do About It?: Toward Dependable, Online Upgrades in Enterprise System Middleware'09 Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware. :18:1-18:20.
2006. Eye of the Beholder: Phone-Based Text-Recognition for the Visually-Impaired. 2006 10th IEEE International Symposium on Wearable Computers. :145-146.
2003. Performance of a Three-Stage System for Multi-Document Summarization. DUC 03 Conference ProceedingsDUC 03 Conference Proceedings.
2007. QCS: A system for querying, clustering and summarizing documents. Information Processing & Management. 43(6):1588-1605.
2005. HOPE: A Homotopy Optimization Method for Protein Structure Prediction. Journal of Computational Biology. 12(10):1275-1288.
2003. Clustering and Summarizing Medline Abstracts. BISTI 2003 Symposium on Digital Biology: The Emerging ParadigmBISTI 2003 Symposium on Digital Biology: The Emerging Paradigm.
2009. Improving graph drawing readability by incorporating readability metrics: A software tool for network analysts. University of Maryland, HCIL Tech Report HCIL-2009-13.
2010. iOpener Workbench: Tools for rapid understanding of scientific literature. Human-Computer Interaction Lab 27th Annual Symposium, University of Maryland, College Park, MD.
2011. Rapid understanding of scientific paper collections: integrating statistics, text analysis, and visualization. University of Maryland, Human-Computer Interaction Lab Tech Report HCIL-2011.
2012. Genomic insights to SAR86, an abundant and uncultivated marine bacterial lineage.. ISME J. 6(6):1186-99.
2005. Plane-wave decomposition analysis for spherical microphone arrays. IEEE Workshop on Applications of Signal Processing to Audio and Acoustics, 2005. :150-153.
2006. Capture and rendering of spatial sound over headphones. The Journal of the Acoustical Society of America. 120(5):3094-3094.
2008. Spherical Arrays Near Boundaries. Hands-Free Speech Communication and Microphone Arrays, 2008. HSCMA 2008. :1-1.
2001. Active speech source localization by a dual coarse-to-fine search. 2001 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2001. Proceedings. (ICASSP '01). 5:3309-3312vol.5-3309-3312vol.5.
1999. Exact solutions for the problem of source location from measured time differences of arrival. The Journal of the Acoustical Society of America. 106:2277-2277.
2005. High Order Spatial Audio Capture and Binaural Head-Tracked Playback over Headphones with HRTF Cues. Proceedings 119th convention of AES.
2001. Efficient evaluation of reverberant sound fields. Applications of Signal Processing to Audio and Acoustics, 2001 IEEE Workshop on the. :203-206.
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.
2004. TM Electromagnetic Scattering from 2D Multilayered Dielectric Bodies-Numerical Solution. Applied Computational Electromagnetics Society journal. (2):100-107.
2000. Active source location and beamforming. The Journal of the Acoustical Society of America. 107:2790-2790.
2005. System for capturing of highorder spatial audio using spherical microphone array and binaural head-tracked playback over headphones with head related transfer function cues. Proc. 119th convention AES.
2007. Fast Evaluation of the Room Transfer Function Using Multipole Expansion. Audio, Speech, and Language Processing, IEEE Transactions on. 15(2):565-576.