Publications

Export 336 results:
[ Author(Desc)] Title Type Year
Filters: First Letter Of Title is T  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
Cleaveland R.  1990.  Tableau-based model checking in the propositional mu-calculus. Acta Informatica. 27(8):725-747.
Cleaveland R, Panangaden P.  1988.  Type theory and concurrency. International Journal of Parallel Programming. 17(2):153-206.
Cleaveland R, Zwarico AE.  1991.  A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.
Cleaveland R, Smolka S, Zwarico A.  1992.  Testing preorders for probabilistic processes. Automata, Languages and Programming. :708-719.
Cleaveland R, Hennessy M.  1990.  Testing equivalence as a bisimulation equivalence. Automatic Verification Methods for Finite State Systems. :11-23.
Colwell RR.  2004.  A Tangled Bank: Reflections on the Tree of Life and Human Health. Assembling the Tree of LifeAssembling the Tree of Life. :18-18.
Č
Čomić L, De Floriani L.  2009.  Tree-Based Encoding for Cancellations on Morse Complexes. Combinatorial Image Analysis. :330-343.
C
Conroy JM, Schlesinger JD, O'Leary DP.  2006.  Topic-focused multi-document summarization using an approximate oracle score. Proceedings of the COLING/ACL on Main conference poster sessions. :152-159.
Coolahan JE, Roussopoulos N.  1983.  Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. IEEE Transactions on Software Engineering. SE-9(5):603-616.
Coolahan Jr JE, Roussopoulos N.  1985.  A timed petri net methodolgoy for specifying real-time system timing requirements. International Workshop on Timed Petri Nets. :24-31.
Cummings MP.  1994.  Transmission patterns of eukaryotic transposable elements - arguments for and against horizontal transfer. Trends Ecol Evol. 9(4):141-145.
D
Danovaro E, De Floriani L, Mesmoudi M.  2003.  Topological analysis and characterization of discrete scalar fields. Geometry, Morphology, and Computational Imaging. :65-85.
Darwish K, Oard D.  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.
Daumé H, Marcu D.  2004.  A tree-position kernel for document compression. Proceedings of the Fourth Document Understanding Conference (DUC 2004). :6-7.
De Floriani L, Hui A, Papaleo L.  2006.  Topology-based reasoning on non-manifold shapes. Proceedings of the 1st International Symposium on Shapes and Semantics, Matsushima, Japan.
Delis A, Roussopoulos N.  1998.  Techniques for update handling in the enhanced client-server DBMS. IEEE Transactions on Knowledge and Data Engineering. 10(3):458-476.
Deshpande A, Hicks MW.  2005.  Toward on-line schema evolution for non-stop systems. 11th High Performance Transaction Systems Workshop.
Dingermann T, Sharp S, Appel B, DeFranco D, Mount SM, Heiermann R, Pongs O, Söll D.  1981.  Transcription of cloned tRNA and 5S RNA genes in a Drosophila cell free extract. Nucleic Acids ResearchNucl. Acids Res.. 9(16):3907-3918.
Dix J, Kraus S, V.S. Subrahmanian.  2001.  Temporal agent programs. Artificial Intelligence. 127(1):87-135.
Dix J, Munoz-Avila H, Nau DS, Zhang L.  2002.  Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment. Logics in Artificial Intelligence. 2424:173-185.
Doermann D, Ma H, Karagol-Ayan B, Oard D.  2001.  Translation lexicon acquisition from bilingual dictionaries. Proceedings of SPIE. 4670:37-37.
Doermann D, Rosenfeld A.  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.
Doermann D, Mihalcik D.  2000.  Tools and Techniques for Video Performances Evaluation. ICPR. 4:167-170.
Dorr BJ, Olsen MB, Thomas SC.  1997.  Toward Compact Monotonically Compositional Interlingua Using Lexical Aspect.
Dorr BJ.  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.

Pages