Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2008. Enhancing In-Car Navigation Systems with Personal Experience. Transportation Research Record: Journal of the Transportation Research Board. 2064(-1):33-42.
2000. Jazz: an extensible zoomable user interface graphics toolkit in Java. Proceedings of the 13th annual ACM symposium on User interface software and technology. :171-180.
2005. Ordered and Quantum Treemaps: Making Effective Use of 2D Space to Display Hierarchies (2001). Institute for Systems Research Technical Reports.
1992. Two miniature pan-tilt devices. Robotics and Automation, 1992. Proceedings., 1992 IEEE International Conference on. :658-663.
2003. Electronic voting system usability issues. Proceedings of the SIGCHI conference on Human factors in computing systems. :145-152.
2003. Innovating the Interaction. The craft of information visualization: readings and reflectionsThe craft of information visualization: readings and reflections. :295-295.
2002. Ordered and quantum treemaps: Making effective use of 2D space to display hierarchies. ACM Transactions on Graphics (TOG). 21(4):833-854.
1999. Does animation help users build mental maps of spatial information? Information Visualization, 1999.(Info Vis' 99) Proceedings. 1999 IEEE Symposium on. :28-35.
2003. Navigation Patterns and Usability of Zoomable User Interfaces With and Without an Overview. The craft of information visualization: readings and reflections. :120-120.
1995. A miniaturized space-variant active vision system: Cortex-I. Machine Vision and applications. 8(2):101-109.
2009. Designing the reading experience for scanned multi-lingual picture books on mobile phones. Proceedings of the 9th ACM/IEEE-CS joint conference on Digital libraries. :305-308.
1998. Implementing a zooming User Interface: experience building Pad++. Software: Practice and Experience. 28(10):1101-1135.
2010. Coherent turbulent motions in a Mach 3 boundary layer. Bulletin of the American Physical Society. 55
2009. Integrated product and process design for a flapping wing drive mechanism. Journal of Mechanical Design. 131:061006-061006.
2010. Design and Fabrication of a Multi-Material Compliant Flapping Wing Drive Mechanism for Miniature Air Vehicles. :69-80.
2011. Design and fabrication of miniature compliant hinges for multi-material compliant mechanisms. The International Journal of Advanced Manufacturing Technology. 57(5):437-452.
2009. A systematic approach for designing multifunctional thermally conducting polymer structures with embedded actuators. Journal of Mechanical Design. 131:111009-111009.
1999. Machine Translation. Multilingual Information Management: Current Levels and Future Abilities. :18-18.
2011. Localizing parts of faces using a consensus of exemplars. Computer Vision and Pattern Recognition (CVPR), 2011 IEEE Conference on. :545-552.
2008. Searching the world’s herbaria: A system for visual identification of plant species. Computer Vision–ECCV 2008. :116-129.
2004. Implementing stable semantics by linear programming. Logic Programming and Non-Monotonic Reasoning, Proceedings of the Second International Workshop. 7:23-42.