Publications
Export 7151 results:
Author Title Type [ Year
] Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2006. Detection and analysis of hair. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 28(7):1164-1169.
2006. Detection, Isolation, and Identification of Vibrio cholerae from the Environment. Current Protocols in MicrobiologyCurrent Protocols in Microbiology. :6A.5.1-6A.5.38-6A.5.1-6A.5.38.
2006. Development of a Large-Scale Integrated Neurocognitive Architecture - Part 2: Design and Architecture. UMIACS-TR-2006-43
2006. Development of a Large-Scale Integrated Neurocognitive Architecture Part 1: Conceptual Framework. UMIACS-TR-2006-33
2006. Differential Transcriptional Response to Nonassociative and Associative Components of Classical Fear Conditioning in the Amygdala and Hippocampus. Learning & MemoryLearn. Mem.. 13(2):135-142.
2006. A Dimension-Independent Representation for Multiresolution Nonmanifold Meshes. Journal of Computing and Information Science in Engineering. 6(4):397-404.
2006. Discovering business intelligence using treemap visualizations. B-EYE-Network-Boulder, CO, USA, April. 11
2006. Dissemination of compressed historical information in sensor networks. The VLDB JournalThe VLDB Journal. 16(4):439-461.
2006. DiST: fully decentralized indexing for querying distributed multidimensional datasets. Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International.
2006. Distance join queries on spatial networks. Proceedings of the 14th annual ACM international symposium on Advances in geographic information systems. :211-218.
2006. Distributing Google. Data Engineering Workshops, 2006. Proceedings. 22nd International Conference on. :33-33.
2006. DOCLIB: a Software Library for Document Processing. International Conference on Document Recognition and Retrieval XIII. :1-9.
2006. Domain adaptation for statistical classifiers. Journal of Artificial Intelligence Research. 26(1):101-126.
2006. Dwarf cube architecture for reducing storage sizes of multidimensional data. 10/157,960(7133876)
2006. Early Recognition Approaches. Human Identification Based on GaitHuman Identification Based on Gait. :35-43.
2006. Edge affinity for pose-contour matching. Computer Vision and Image Understanding. 104(1):36-47.
2006. Edge Suppression by Gradient Field Transformation Using Cross-Projection Tensors. Computer Vision and Pattern Recognition, 2006 IEEE Computer Society Conference on. 2:2301-2308.
2006. The effect of building block construction on the behavior of the ga in dynamic environments: A case study using the shaky ladder hyperplane-defined functions. Applications of Evolutionary Computing. :776-787.
2006. The effect of crossover on the behavior of the GA in dynamic environments: a case study using the shaky ladder hyperplane-defined functions. Proceedings of the 8th annual conference on Genetic and evolutionary computation. :1289-1296.
2006. Effect of transport at ambient temperature on detection and isolation of Vibrio cholerae from environmental samples. Applied and environmental microbiology. 72(3):2185-2190.
2006. Efficient Circuits for Exact-Universal Computation with Qudits. Quantum Information and Computation. 6:436-454.
2006. Efficient computation of 3-D acoustical scattering from multiple arbitrarily shaped objects using the boundary element method/fast multipole method (BEM/FMM). The Journal of the Acoustical Society of America. 120(5):3282-3282.
2006. An Efficient Computational Method for Predicting Rotational Diffusion Tensors of Globular Proteins Using an Ellipsoid Representation. Journal of the American Chemical Society. 128(48):15432-15444.