Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2000. The experimental validation and packaging of software technologies. ACM SIGSOFT Software Engineering Notes. 25(1):82-83.
2002. What we have learned about fighting defects. Software Metrics, 2002. Proceedings. Eighth IEEE Symposium on. :249-258.
2003. Replicated studies: building a body of knowledge about software reading techniques. SERIES ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 12:39-84.
2010. Video Précis: Highlighting Diverse Aspects of Videos. IEEE Transactions on Multimedia. 12(8):853-868.
2010. Moving vistas: Exploiting motion for describing scenes. 2010 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). :1911-1918.
1996. A high performance image database system for remotely sensed imagery. Euro-Par'96 Parallel Processing. :109-122.
1998. The design and evaluation of a high-performance earth science database. Parallel Computing. 24(1):65-89.
1988. We can design better user interfaces: A review of human-computer interaction styles. Ergonomics. 31(5):699-710.
2007. Universal Usability: A grand challenge for HCI. Universal usability: Designing computer interfaces for user diversity.
1976. Batched searching of sequential and tree structured files. ACM Trans. Database Syst.. 1(3):268-275.
1985. Human factors issues of manuals, online help, and tutorials. Empirical foundations of information and software science. 1984:107-107.
1993. Engagement and construction: Educational strategies for the post-TV era. Journal of Computing in Higher Education. 4(2):106-116.
1989. Human-Computer Interaction Laboratory, University of Maryland, Center for Automation Research. CHI. 89:309-310.
2011. Social discovery framework: building capacity and seeking solutions. Proceedings of the 8th ACM conference on Creativity and cognition. :307-308.
1987. User interface design and evaluation for an electronic encyclopedia. Proc. of the 2nd International Conference on Human-Computer Interaction.
2002. Book Preview-Leonardo's Laptop: Human Needs and the New Computing Technologies. Interactions-New York. 9(4):43-43.
1995. Evaluating Spatial and Textual Style of Displays. Institute for Systems Research Technical Reports.
2006. Methods for the electronic annotation, retrieval, and use of electronic images. 09/976,362(7010751)
2005. Turning information visualization innovations into commercial products: lessons to guide the next success. IEEE Symposium on Information Visualization, 2005. INFOVIS 2005. :241-244.
2000. Creating creativity: user interfaces for supporting innovation. ACM Trans. Comput.-Hum. Interact.. 7(1):114-138.