Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2007. K-nearest neighbor finding using MaxNearestDist. IEEE transactions on pattern analysis and machine intelligence. :243-252.
2008. 3. Similarity searching: Indexing, nearest neighbor finding, dimensionality reduction, and embedding methods for applications in multimedia databases. Pattern Recognition, 2008. ICPR 2008. 19th International Conference on. :1-1.
2012. GAGE: A Critical Evaluation of Genome Assemblies and Assembly Algorithms. Genome Research. 22(3):557-567.
2007. Genome Analysis Linking Recent European and African Influenza (H5N1) Viruses. Emerging Infectious DiseasesEmerg Infect Dis. 13(5):713-718.
2005. Serendipitous discovery of Wolbachia genomes in multiple Drosophila species. Genome Biology. 6(3):R23-R23.
2004. The Drosophila U1-70K Protein Is Required for Viability, but Its Arginine-Rich Domain Is Dispensable. GeneticsGenetics. 168(4):2059-2065.
2003. Driving scientific applications by data in distributed environments. Computational Science—ICCS 2003. :713-713.
2006. Register File Partitioning with Constraint Programming. System-on-Chip, 2006. International Symposium on. :1-4.
2000. Low discrepancy sets yield approximate min-wise independent permutation families. Information Processing Letters. 73(1–2):29-32.
1994. Symmetry breaking for suffix tree construction. Proceedings of the twenty-sixth annual ACM symposium on Theory of computing. :300-309.
1995. Data compression using locally consistent parsing. TechnicM report, University of Maryland Department of Computer Science.
1996. Efficient approximate and dynamic matching of patterns using a labeling paradigm. Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on. :320-328.
1994. On a parallel-algorithms method for string matching problems (overview). Algorithms and ComplexityAlgorithms and Complexity. 778:22-32.
1994. On a parallel-algorithms method for string matching problems. Lecture Notes in Computer Science. 778:22-32.
2011. Educational advances in artificial intelligence. Proceedings of the 42nd ACM technical symposium on Computer science education. :81-82.
2010. Design and implementation of embedded computer vision systems based on particle filters. Computer Vision and Image Understanding. 114(11):1203-1214.
2006. Dataflow transformations in high-level DSP system design. Proceedings of the International Symposium on System-on-Chip, Tampere, Finland. :131-136.
2008. Group proximity measure for recommending groups in online social networks. networks. 1(6):5-5.
2006. A Communication Interface for Multiprocessor Signal Processing Systems. Proceedings of the 2006 IEEE/ACM/IFIP Workshop on Embedded Systems for Real Time Multimedia. :127-132.
2010. Dense Subgraphs with Restrictions and Applications to Gene Annotation Graphs. Research in Computational Molecular Biology. :456-472.
2006. Model-based OpenMP implementation of a 3D facial pose tracking system. 2006 International Conference on Parallel Processing Workshops, 2006. ICPP 2006 Workshops. :8pp.-73-8pp.-73.