Publications
Export 1425 results:
Author [ Title] Type Year Filters: First Letter Of Last Name is H [Clear All Filters]
1996. Table-Form Structure Analysis Based on Box-Driven Reasoning. IEICE TRANSACTIONS on Information and Systems. E79-D(5):542-547.
2005. Tagged Sets: A Secure and Transparent Coordination Medium. Coordination Models and LanguagesCoordination Models and Languages. 3454:193-205.
2009. Target Tracking Based on Nonparametric Clustering and Multi-Scale Images. JSCUT (Natural Science Edition). 37(1):34-41.
2006. Task taxonomy for graph visualization. Proceedings of the 2006 AVI workshop on BEyond time and errors: novel evaluation methods for information visualization. :1-5.
2007. Task-based evaluation of text summarization using Relevance Prediction. Information Processing & Management. 43(6):1482-1499.
2007. Techniques for Classifying Executions of Deployed Software to Support Software Engineering Tasks. IEEE Transactions on Software Engineering. 33(5):287-304.
1995. Techniques for performance measurement of parallel programs. Parallel computers: theory and practice. :225-240.
2002. Technologies for families. CHI '02 extended abstracts on Human factors in computing systems. :938-939.
2003. Technology probes: inspiring design for and with families. Proceedings of the SIGCHI conference on Human factors in computing systems. :17-24.
2003. Technology probes: inspiring design for and with families. Proceedings of the SIGCHI conference on Human factors in computing systems. :17-24.
2010. Technology-Mediated Social Participation: Deep Science and Extreme Technology. Active Media TechnologyActive Media Technology. 6335:1-4.
2003. TelegraphCQ: continuous dataflow processing. Proceedings of the 2003 ACM SIGMOD international conference on Management of data. :668-668.
2003. TelegraphCQ: continuous dataflow processing. Proceedings of the 2003 ACM SIGMOD international conference on Management of data. :668-668.
2011. Temperature regulation of virulence factors in the pathogen Vibrio coralliilyticus. The ISME Journal. 6(4):835-846.
2012. Temporal and Spatial Variability in the Distribution of Vibrio vulnificus in the Chesapeake Bay: A Hindcast Study. EcoHealth. :1-12.
1999. Temporal visualization for legal case histories. PROCEEDINGS OF THE ANNUAL MEETING-AMERICAN SOCIETY FOR INFORMATION SCIENCE. 36:271-279.
2008. Test case generator for GUITAR. Companion of the 30th international conference on Software engineering. :959-960.
2009. A Testing Based Empirical Study of Dynamic Software Update Safety Restrictions. Technical Reports of the Computer Science Department.
2009. A Testing Based Empirical Study of Dynamic Software Update Safety Restrictions. Technical Reports of the Computer Science Department.
2009. A Testing Based Empirical Study of Dynamic Software Update Safety Restrictions. Technical Reports of the Computer Science Department.
1990. Testing equivalence as a bisimulation equivalence. Automatic Verification Methods for Finite State Systems. :11-23.
2009. Tests to the left of me, types to the right: how not to get stuck in the middle of a ruby execution. Proceedings for the 1st workshop on Script to Program Evolution. :14-16.
1998. A Thematic Hierarchy for Efficient Generation from Lexical-Conceptual Structure. Machine Translation and the Information SoupMachine Translation and the Information Soup. 1529:333-343.