Publications
Export 337 results:
Author [ Title] Type Year Filters: First Letter Of Title is T [Clear All Filters]
1990. Tableau-based model checking in the propositional mu-calculus. Acta Informatica. 27(8):725-747.
1996. Table-Form Structure Analysis Based on Box-Driven Reasoning. IEICE TRANSACTIONS on Information and Systems. E79-D(5):542-547.
2012. TACI: Taxonomy-Aware Catalog Integration. IEEE Transactions on Knowledge and Data Engineering (TKDE).
2005. Tagged Sets: A Secure and Transparent Coordination Medium. Coordination Models and LanguagesCoordination Models and Languages. 3454:193-205.
2003. Tagging and Parsing of Bilingual Dictionary. LAMP-TR-106,CFAR-TR-991,CS-TR-4529,UMIACS-TR-2003-97
2007. Taking Advantage of Collective Operation Semantics for Loosely Coupled Simulations. Parallel and Distributed Processing Symposium, International. :128-128.
2009. Tampering identification using Empirical Frequency Response. Acoustics, Speech and Signal Processing, 2009. ICASSP 2009. IEEE International Conference on. :1517-1520.
2004. A Tangled Bank: Reflections on the Tree of Life and Human Health. Assembling the Tree of LifeAssembling the Tree of Life. :18-18.
2006. Target size study for one-handed thumb use on small touchscreen devices. Proceedings of the 8th conference on Human-computer interaction with mobile devices and services. :203-210.
2009. Target Tracking Based on Nonparametric Clustering and Multi-Scale Images. JSCUT (Natural Science Edition). 37(1):34-41.
2007. Target Tracking Using a Joint Acoustic Video System. Multimedia, IEEE Transactions on. 9(4):715-727.
2009. Task decomposition on abstract states, for planning under nondeterminism. Artificial Intelligence. 173(5–6):669-695.
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.
2011. A task taxonomy of network evolution analysis. University of Maryland, Human-Computer Interaction Lab Tech Report HCIL-2011-09.
2007. Task-based evaluation of text summarization using Relevance Prediction. Information Processing & Management. 43(6):1482-1499.
2007. Task-based interaction with an integrated multilingual, multimedia information system: a formative evaluation. Proceedings of the 7th ACM/IEEE-CS joint conference on Digital libraries. :117-126.
1991. A taxonomy and rule base for the selection of interaction styles. Human factors for informatics usability. :325-325.
2007. A taxonomy for medical image registration acceleration techniques. Life Science Systems and Applications Workshop, 2007. LISA 2007. IEEE/NIH. :160-163.