Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
1999. Skip Strips: maintaining triangle strips for view-dependent rendering. Visualization '99. Proceedings. :131-518.
1997. Controlled simplification of genus for polygonal models. Visualization '97., Proceedings. :403-410.
1995. cDNA expressed sequence tags of Trypanosoma brucei rhodesiense provide new insights into the biology of the parasite. Molecular and Biochemical Parasitology. 73(1-2):75-90.
2005. The genome sequence of Trypanosoma cruzi, etiologic agent of Chagas disease. Science. 309(5733)
1997. African trypanosomes have differentially expressed genes encoding homologues of the Leishmania GP63 surface protease. Journal of Biological Chemistry. 272(42):26742-26742.
2005. The Genome Sequence of Trypanosoma cruzi, Etiologic Agent of Chagas Disease. Science. 309(5733):409-415.
2005. The Genome Sequence of Trypanosoma Cruzi, Etiologic Agent of Chagas Disease. ScienceScience. 309(5733):409-415.
1997. A survey of the Trypanosoma brucei rhodesiense genome using shotgun sequencing. Molecular and Biochemical Parasitology. 84(2):167-178.
2003. The sequence and analysis of Trypanosoma brucei chromosome II. Nucleic acids research. 31(16):4856-4856.
1995. Crystallization and preliminary X-ray investigation of the recombinant Trypanosoma brucei rhodesiense calmodulin. Proteins: Structure, Function, and Bioinformatics. 21(4):354-357.
2003. Probabilistic tracking in joint feature-spatial spaces. Computer Vision and Pattern Recognition, 2003. Proceedings. 2003 IEEE Computer Society Conference on. 1:I-781-I-788vol.1-I-781-I-788vol.1.
2003. Learning dynamics for exemplar-based gesture recognition. Computer Vision and Pattern Recognition, 2003. Proceedings. 2003 IEEE Computer Society Conference on. 1:I-571-I-578vol.1-I-571-I-578vol.1.
2003. Exemplar-based tracking and recognition of arm gestures. Image and Signal Processing and Analysis, 2003. ISPA 2003. Proceedings of the 3rd International Symposium on. 2:656-661Vol.2-656-661Vol.2.
2003. Efficient kernel density estimation using the fast gauss transform with applications to color modeling and tracking. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 25(11):1499-1504.
2003. Efficient kernel density estimation using the fast gauss transform with applications to color modeling and tracking. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 25(11):1499-1504.
1990. Reasoning situated in time I: Basic concepts. Journal of Experimental and Theoretical Artificial Intellige. 2(1):75-98.
1993. Vacuum-logic. Proceedings of AAAI 1993 Fall Symposium Series: Instantiating Real-World Agents. :51-54.
1991. Memory, reason and time: the Step-Logic approach. Philosophy and AI: Essays at the Interface. :79-103.
1998. Buttons vs. menus: An exploratory study of pull-down menu selection as compared to button bars. Technical Reports of the Computer Science Department.
2003. A characterisation of oscillations in the discrete two-dimensional convection-diffusion equation. Mathematics of computation. 72(241):263-288.