Publications
Export 7151 results:
Author Title [ Type] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2004. Sequencing Strategies for Parasite Genomes. METHODS IN MOLECULAR BIOLOGY-CLIFTON THEN TOTOWA-. 270:1-16.
1981. Sequence of U1 RNA from Drosophila melanogaster: implications for U1 secondary structure and possible involvement in splicing. Nucleic Acids ResearchNucl. Acids Res.. 9(23):6351-6368.
1990. Sequence of a cDNA from the Drosophila melanogaster white gene.. Nucleic Acids ResearchNucleic Acids Res. 18(6):1633-1633.
2008. Sequence diversity and evolution of multigene families in Trypanosoma cruzi. Molecular and Biochemical Parasitology. 157(1):65-72.
2003. The sequence and analysis of Trypanosoma brucei chromosome II. Nucleic acids research. 31(16):4856-4856.
2006. Septaplex PCR assay for rapid identification of Vibrio cholerae including detection of virulence and int SXT genes. FEMS Microbiology Letters. 265(2):208-214.
2006. Sentence compression as a component of a multi-document summarization system. Proceedings of the 2006 Document Understanding Workshop, New York.
2009. Sensory grammars for sensor networks. Journal of Ambient Intelligence and Smart Environments. 1(1):15-21.
1998. A semidiscrete matrix decomposition for latent semantic indexing information retrieval. ACM Trans. Inf. Syst.. 16(4):322-346.
2004. A semidefinite programming approach to side chain positioning with new rounding strategies. INFORMS Journal on Computing. 16(4):380-392.
2009. On the Semidefinite B-Arnoldi Method. SIAM Journal on Matrix Analysis and Applications. 31(3):1458-1468.
2007. Semi-automatic photo annotation strategies using event based clustering and clothing based person recognition. Interacting with Computers. 19(4):524-544.
2007. Semantics-Preserving Design of Embedded Control Software from Synchronous Models. Software Engineering, IEEE Transactions on. 33(8):497-509.
2002. Semantics in the spin cycle Competence and performance criteria for the creation of lexical entries. The lexical basis of sentence processing: formal, computational, and experimental issues. 4:85-85.
1998. Semantics for Disjunctive and Normal Disjunctive Logic Programs. Handbook of logic in artificial intelligence and logic programming. 5:325-325.
1994. A Semantics for a class of non-deterministic and causal production system programs. Journal of Automated Reasoning. 12(3):305-349.
2009. Semantic-based segmentation and annotation of 3d models. Image Analysis and Processing–ICIAP 2009. :103-112.
2009. Semantically informed machine translation (SIMT). SCALE summer workshop final report, Human Language Technology Center Of Excellence.
2000. A semantic theory for heterogeneous system design. FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science. :312-324.
2011. Semantic similarity in a taxonomy: An information-based measure and its application to problems of ambiguity in natural language. Arxiv preprint arXiv:1105.5444.