Publications
Export 336 results:
[ Author![(Desc)](https://www.umiacs.umd.edu/sites/all/modules/biblio/misc/arrow-desc.png)
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.
1991. A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.
1990. Testing equivalence as a bisimulation equivalence. Automatic Verification Methods for Finite State Systems. :11-23.
2004. A Tangled Bank: Reflections on the Tree of Life and Human Health. Assembling the Tree of LifeAssembling the Tree of Life. :18-18.
2009. Tree-Based Encoding for Cancellations on Morse Complexes. Combinatorial Image Analysis. :330-343.
2006. Topic-focused multi-document summarization using an approximate oracle score. Proceedings of the COLING/ACL on Main conference poster sessions. :152-159.
1983. Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. IEEE Transactions on Software Engineering. SE-9(5):603-616.
1985. A timed petri net methodolgoy for specifying real-time system timing requirements. International Workshop on Timed Petri Nets. :24-31.
1994. Transmission patterns of eukaryotic transposable elements - arguments for and against horizontal transfer. Trends Ecol Evol. 9(4):141-145.
2003. Topological analysis and characterization of discrete scalar fields. Geometry, Morphology, and Computational Imaging. :65-85.
2002. Term selection for searching printed Arabic. Proceedings of the 25th annual international ACM SIGIR conference on Research and development in information retrieval. :261-268.
2004. A tree-position kernel for document compression. Proceedings of the Fourth Document Understanding Conference (DUC 2004). :6-7.
2006. Topology-based reasoning on non-manifold shapes. Proceedings of the 1st International Symposium on Shapes and Semantics, Matsushima, Japan.
1998. Techniques for update handling in the enhanced client-server DBMS. IEEE Transactions on Knowledge and Data Engineering. 10(3):458-476.
2005. Toward on-line schema evolution for non-stop systems. 11th High Performance Transaction Systems Workshop.
1981. Transcription of cloned tRNA and 5S RNA genes in a Drosophila cell free extract. Nucleic Acids ResearchNucl. Acids Res.. 9(16):3907-3918.
2002. Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment. Logics in Artificial Intelligence. 2424:173-185.
1992. Temporal clues in handwriting. Pattern Recognition, 1992. Vol.II. Conference B: Pattern Recognition Methodology and Systems, Proceedings., 11th IAPR International Conference on. :317-320.
1992. A two-level knowledge representation for machine translation: Lexical semantics and tense/aspect. Lexical Semantics and Knowledge RepresentationLexical Semantics and Knowledge Representation. 627:269-287.