Publications
Export 7151 results:
Author Title Type [ Year] Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2007. Using multiresolution learning for transfer in image classification. Proceedings of the 22nd national conference on Artificial intelligence - Volume 2. :1852-1853.
2007. Using paraphrases for parameter tuning in statistical machine translation. Proceedings of the Second Workshop on Statistical Machine Translation. :120-127.
2007. Using paraphrases for parameter tuning in statistical machine translation. Proceedings of the Second Workshop on Statistical Machine Translation. :120-127.
2007. Using Stereo Matching for 2-D Face Recognition Across Pose. Computer Vision and Pattern Recognition, 2007. CVPR '07. IEEE Conference on. :1-8.
2007. Variola virus topoisomerase: DNA cleavage specificity and distribution of sites in Poxvirus genomes. Virology. 365(1):60-69.
2007. VAST 2007 Contest - Blue Iguanodon. Visual Analytics Science and Technology, 2007. VAST 2007. IEEE Symposium on. :231-232.
2007. Verified Enforcement of Security Policies for Cross-Domain Information Flows. IEEE Military Communications Conference, 2007. MILCOM 2007. :1-7.
2007. Viable but nonculturable Vibrio cholerae O1 in biofilms in the aquatic environment and their role in cholera transmission. Proceedings of the National Academy of Sciences. 104(45):17801-17801.
2007. Video Biometrics. Image Analysis and Processing, 2007. ICIAP 2007. 14th International Conference on. :363-370.
2007. View-invariant modeling and recognition of human actions using grammars. Dynamical Vision. :115-126.
2007. Vision Geometry XV. Society of Photo-Optical Instrumentation Engineers (SPIE) Conference Series. 6499
2007. Visual analysis of dynamic group membership in temporal social networks. ACM SIGKDD Explorations Newsletter. 9(2):13-21.
2007. Visual Mining of Multi-Modal Social Networks at Different Abstraction Levels. Information Visualization, 2007. IV '07. 11th International Conference. :672-679.
2007. Voila: Efficient feature-value acquisition for classification. PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE. 22(2):1225-1225.
2007. Web Archiving: Organizing Web Objects into Web Containers to Optimize Access. UMIACS-TR-2007-42
2007. A web collaboration system for content-based image retrieval of medical images. Proceedings of SPIE–Medical Imaging. 6516
2007. Web science: a provocative invitation to computer science. Communications of the ACM. 50(6):25-27.
2006. A 3D shape constraint on video. IEEE Transactions on Pattern Analysis and Machine Intelligence. 28(6):1018-1023.
2006. 3D structure recovery and unwarping of surfaces applicable to planes. International journal of computer vision. 66(3):261-281.
2006. 3d surface reconstruction using graph cuts with surface constraints. Computer Vision–ECCV 2006. :219-231.
2006. Accident or intention: That is the question (in the noisy iterated prisoner’s dilemma). :561-568.
2006. Achieving anonymity via clustering. Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. :153-162.
2006. Acquisition of Articulated Human Body Models Using Multiple Cameras. Articulated Motion and Deformable ObjectsArticulated Motion and Deformable Objects. 4069:78-89.
2006. An adaptive probabilistic replication method for unstructured p2p networks. On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE. :480-497.