Publications
Export 7151 results:
Author Title [ Type] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
1991. High precision touchscreens: design strategies and comparisons with a mouse. International Journal of Man-Machine Studies. 34(4):593-613.
2000. High performance computing algorithms for land cover dynamics using remote sensing data. International Journal of Remote Sensing. 21(6-7):1513-1536.
2005. High Order Spatial Audio Capture and Binaural Head-Tracked Playback over Headphones with HRTF Cues. Proceedings 119th convention of AES.
2007. High frequency acoustic simulations via FMM accelerated BEM. 19th Internal congress on acoustics. 159
2004. A hierarchy of cameras for 3D photography. Computer Vision and Image Understanding. 96(3):274-293.
2004. Hierarchical in-network data aggregation with quality guarantees. Advances in Database Technology-EDBT 2004. :577-578.
2008. Hierarchical infrastructure for internet mapping services. Geospatial Services and Applications for the Internet. :1-30.
2001. Hierarchical GUI test case generation using automated planning. Software Engineering, IEEE Transactions on. 27(2):144-155.
2011. A Hierarchical Algorithm for Fast Debye Summation with Applications to Small Angle Scattering. Technical Reports from UMIACS.
2007. Heuristic Search and Information Visualization Methods for School Redistricting. AI Magazine. 28(3):59-59.
2005. Help! I'm Lost: User Frustration in Web Navigation (2003). Institute for Systems Research Technical Reports.
2006. Head-related transfer functions via the fast multipole accelerated boundary element method. The Journal of the Acoustical Society of America. 120(5):3342-3343.
2003. HCIL Technical Report Listing (1993-2002). The craft of information visualization: readings and reflections. 27(29):393-393.
2011. Hawkeye and AMOS: Visualizing and Assessing the Quality of Genome Assemblies. Briefings in Bioinformatics.
2007. Hawkeye: an interactive visual analytics tool for genome assemblies. Genome Biology. 8(3):R34-R34.
1980. Hardware options, evaluation metrics, and a design sequence for interactive information systems. Information & Management. 3(1):3-18.
2008. Hardware monitors for dynamic page migration. Journal of Parallel and Distributed Computing. 68(9):1186-1200.
2008. Hardware and Software Systems for Image and Video Processing-Algorithmic and Architectural Optimizations for Computationally Efficient Particle Filtering. IEEE Transactions on Image Processing. 17(5):737-748.
1997. Hardness of flip-cut problems from optical mapping. Journal of Computational Biology. 4(2):119-125.