Journal Articles
(Publications are listed alphabetically by title)
Pages
An Augmented Visual Query Mechanism for Finding Patterns in Time Series Data (2002). Institute for Systems Research Technical Reports. 2005.
An ease-of-use stereo-based particle filter for tracking under occlusion. Human Motion–Understanding, Modeling, Capture and Animation. 2007:225-239.
An Efficient and Robust Algorithm for Shape Indexing and Retrieval. Multimedia, IEEE Transactions on. 2010;12(5):372-385.
An efficient and scalable parallel algorithm for out-of-core isosurface extraction and rendering. Journal of Parallel and Distributed Computing. 2007;67(5):592-603.
An Efficient Computational Method for Predicting Rotational Diffusion Tensors of Globular Proteins Using an Ellipsoid Representation. Journal of the American Chemical Society. 2006;128(48):15432-15444.
An efficient k-means clustering algorithm: analysis and implementation. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 2002;24(7):881-892.
An efficient parallel algorithm for the single function coarsest partition problem. Theoretical computer science. 1994;129(2):293-307.
An efficient parallel biconnectivity algorithm. SIAM Journal on Computing. 1985;14:862.
An efficient pictorial database system for PSQL. IEEE Transactions on Software Engineering. 1988;14(5):639-650.
An efficient string matching algorithm with k differences for nudeotide and amino acid sequences. Nucleic acids research. 1986;14(1):31.
An efficient string matching algorithm with K substitutions for nucleotide and amino acid sequences*. Journal of theoretical biology. 1987;126(4):483-490.
An Elsner-like perturbation theorem for generalized eigenvalues. Linear Algebra and its Applications. 2004;390:1-5.
An empirical approach to evaluating web application compliance across diverse client platform configurations. International Journal of Web Engineering and Technology. 2007;3(3):227-253.
An empirical comparison of two PLATO text editors. Journal of Computer-Based Instruction. 1983;10:43-50.
An empirical study of "bogon" route advertisements. SIGCOMM Comput. Commun. Rev.. 2005;35(1):63-70.
An empirical study of a new approach to nearest neighbor searching. Algorithm Engineering and Experimentation. 2001:172-187.
An Empirical Study of Perspective-Based Usability Inspection. Proceedings of the Human Factors and Ergonomics Society Annual MeetingProceedings of the Human Factors and Ergonomics Society Annual Meeting. 1998;42(19):1346-1350.
An empirical study of regression test application frequency. Software Testing, Verification and Reliability. 2005;15(4):257-279.
An empirical study of regression test selection techniques. ACM Transactions on Software Engineering and MethodologyACM Trans. Softw. Eng. Methodol.. 2001;10(2):184-208.
An environment projection approach to radiosity for meshconnected computers. Third Eurographics Workshop on Rendering. 1992:271-281.
An evaluation of connection characteristics for separating network attacks. International Journal of Security and Networks. 2009;4(1):110-124.
An evaluation of jump-ahead techniques in menu selection. Behaviour & Information Technology. 1987;6(2):97-108.
An event-flow model of GUI-based applications for testing. Software Testing, Verification and Reliability. 2007;17(3):137-157.
An evolutionary testbed for software technology evaluation. Innovations in Systems and Software Engineering. 2005;1(1):3-11.
An experiment to assess the cost-benefits of code inspections in large scale software development. IEEE Transactions on Software Engineering. 1997;23(6):329-346.
An experiment using memorization/reconstruction as a measure of programmer ability. International Journal of Man-Machine Studies. 1980;13(3):339-354.
An experimental comparison of a mouse and arrow-jump keys for an interactive encyclopedia. International Journal of Man-Machine Studies. 1986;24(1):29-45.
An experimental comparison of tabular and graphic data presentation. International Journal of Man-Machine Studies. 1984;20(6):545-566.
An experimental evaluation of three touch screen strategies within a hypertext database. International Journal of Human-Computer Interaction. 1989;1(1):41-52.
An experimental study of criteria for hypothesis plausibility. Journal of Experimental & Theoretical Artificial Intelligence. 1991;3(2):129-144.
An Experimental Study of Three Dataflow Paradigms in Multithreaded Database Transitive Closure Algorithms on Shared Memory Multiprocessors. Journal of Parallel and Distributed Computing. 1993;18(3):371-389.
An exploration of the principles underlying redundancy-based factoid question answering. ACM Transactions on Information Systems. 2007;25(2).
An exploratory evaluation of three interfaces for browsing large hierarchical tables of contents. ACM Trans. Inf. Syst.. 1994;12(4):383-406.
An Exploratory Study of Video Browsing, User Interface Designs and Research Methodologies: Effectiveness in Information Seeking Tasks. PROCEEDINGS OF THE ANNUAL MEETING-AMERICAN SOCIETY FOR INFORMATION SCIENCE. 1999;36:681-692.
An extended cellular space method for simulating autocatalytic oligonucleotides. Computers & chemistry. 1994;18(1):33-43.
An extension of Ackermann's set theory. Journal of Symbolic Logic. 1972;37(4):703-704.
An extraction-based verification methodology for MEMS. Microelectromechanical Systems, Journal of. 2002;11(1):2-11.
An Immediate Concurrent Execution (ICE) Abstraction Proposal for Many-Cores. Computer Science Research Works. 2008.
An Implementation of the Audit Control Environment (ACE) to Support the Long Term Integrity of Digital Archives. Proceedings of DigCCurr2009 Digital Curation: Practice, Promise and Prospects. 2009:164.
An improved approximation algorithm for vertex cover with hard capacities. Journal of Computer and System Sciences. 2006;72(1):16-33.
An Improved Approximation Ratio for the Covering Steiner Problem. Theory of Computing. 2003;2:53-64.
An improved asymmetry measure to detect breast cancer. Proceedings of SPIE. 2007;6514(1):65141Q-9-65141Q-9.
An incremental Hausdorff distance calculation algorithm. Proceedings of the VLDB Endowment. 2011;4(8):506-517.
An information architecture to support the visualization of personal histories. Information Processing & Management. 1998;34(5):581-597.
An information theoretic criterion for evaluating the quality of 3-D reconstructions from video. Image Processing, IEEE Transactions on. 2004;13(7):960-973.
An Initial Study of Automatic Curb Ramp Detection with Crowdsourced Verification Using Google Street View Images. First AAAI Conference on Human Computation and Crowdsourcing. 2013.
An initial study of overheads of eddies. SIGMOD Rec.. 2004;33(1):44-49.
An instrumentation-based approach to controller model validation. Model-Driven Development of Reliable Automotive Services. 2008:84-97.
An integrated runtime and compile-time approach for parallelizing structured and block structured applications. IEEE Transactions on Parallel and Distributed Systems. 1995;6(7):747-754.
An interactive and team approach to multimedia design curriculum. Signal Processing Magazine, IEEE. 2005;22(6):14-19.