Publications
Export 508 results:
[ Author] Title Type Year Filters: First Letter Of Last Name is B [Clear All Filters]
2004. Automatic recognition of spontaneous speech for access to multilingual oral history archives. IEEE Transactions on Speech and Audio Processing, Special Issue on Spontaneous Speech Processing. 12(4):420-435.
2010. Fault-Tolerant Facility Location: A Randomized Dependent LP-Rounding Algorithm. Integer Programming and Combinatorial OptimizationInteger Programming and Combinatorial Optimization. 6080:244-257.
2010. Error driven paraphrase annotation using Mechanical Turk. Proceedings of the NAACL HLT 2010 Workshop on Creating Speech and Language Data with Amazon's Mechanical Turk. :217-221.
2011. Re-engineering health care with information technology: the role of computer-human interaction. PART 2 ———– Proceedings of the 2011 annual conference extended abstracts on Human factors in computing systems. :451-454.
2005. Genome-wide analysis of retroviral DNA integration. Nat Rev MicroNat Rev Micro. 3(11):848-858.
2010. Chipping away at censorship firewalls with user-generated content. Proc. 19th USENIX Security Symposium, Washington, DC.
2010. Circumventing censorship with collage. Proceedings of the ACM SIGCOMM 2010 conference. :471-472.
1994. Calculation of head sensitivity function from 3-D magnetic fields. Magnetics, IEEE Transactions on. 30(6):4278-4280.
2007. Similarity-Based Forecasting with Simultaneous Previews: A River Plot Interface for Time Series Forecasting. Information Visualization, 2007. IV '07. 11th International Conference. :191-196.
2005. Interactive Pattern Search in Time Series (2004). Institute for Systems Research Technical Reports.
1997. Symbolic model checking of infinite state systems using Presburger arithmetic. Computer Aided Verification. :400-411.
1999. Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. ACM Transactions on Programming Languages and SystemsACM Trans. Program. Lang. Syst.. 21(4):747-789.
2005. Asymptotically Optimal Quantum Circuits for d-Level Systems. Physical Review LettersPhys. Rev. Lett.. 94(23):230502-230502.
2005. Time reversal and n-qubit canonical decompositions. Journal of Mathematical Physics. 46(6):062104-062104-19-062104-062104-19.
2007. Local strategy learning in networked multi-agent team formation. Autonomous Agents and Multi-Agent Systems. 15(1):29-45.
2014. Validation of high throughput sequencing and microbial forensics applications. Investigative Genetics. 5(1):9.
2000. Using hardware performance monitors to isolate memory bottlenecks. Proceedings of the 2000 ACM/IEEE conference on Supercomputing (CDROM). :40-40.
2004. Data Centric Cache Measurement on the Intel ltanium 2 Processor. Proceedings of the 2004 ACM/IEEE conference on Supercomputing. :58–-58–.
1976. An internship in information systems: Combining computer science education with realistic problems. SIGCSE Bull.. 8(3):80-83.
2000. An API for Runtime Code Patching. International Journal of High Performance Computing Applications. 14(4):317-329.