Publications

Export 7151 results:
Author Title Type [ Year(Asc)]
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
2006
Guerra-Filho G, Aloimonos Y.  2006.  Human activity language: Grounding concepts with a linguistic framework. Semantic Multimedia. :86-100.
Nixon MS, Tan T, Chellappa R.  2006.  Human identification based on gait.
Hannenhalli S, Middleton RP, Levy S, Perroud B, Holzwarth JA, McDonald K, Hannah SS.  2006.  Identification and cross-species comparison of canine osteoarthritic gene regulatory cis-elements. Osteoarthritis and Cartilage. 14(8):830-838.
Nakamura T, Hochstein L, Basili VR.  2006.  Identifying domain-specific defect classes using inspections and change history. Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering. :346-355.
Tollmar K, Tom Yeh, Darrell T.  2006.  IDiexis: Mobile image-based search on world wide web-a picture is worth a thousand keywords. Proc. of Mobisys.
Samet H, Soffer A.  2006.  Image Database Systems and Techniques: A Symbolic Approach.
Memarsadeghi N, Le Moigne J, Mount D.  2006.  Image fusion using cokriging. Geosci. and Remote Sens. Symp., 2006. IGARSS 2006. IEEE Int. Conf. on. :2518-2521.
Le Moigne J, Cole-Rhodes A, Eastman R, Jain P, Joshua A, Memarsadeghi N, Mount D, Netanyahu N, Morisette J, Uko-Ozoro E.  2006.  Image Registration and Fusion Studies for the Integration of Multiple Remote Sensing Data. Acoustics, Speech and Signal Processing, 2006. ICASSP 2006 Proceedings. 2006 IEEE International Conference on. 5:V-V.
Tahmoush D, Samet H.  2006.  Image Similarity and Asymmetry to Improve Computer-Aided Detection of Breast Cancer. Digital Mammography. :221-228.
Swaminathan A, M. Wu, Liu KJR.  2006.  Image Tampering Identification using Blind Deconvolution. Image Processing, 2006 IEEE International Conference on. :2309-2312.
Liu X, Li H, Doermann D.  2006.  Imaging as an Alternative Data Channel for Camera Phones. ACM International Conference Proceeding Series; Proceedings of the 5th International Conference on Mobile and Ubiquitous Multimedia. :No.5-No.5.
Eckman BA, Gaasterland T, Lacroix Z, Raschid L, Snyder B, Vidal ME.  2006.  Implementing a bioinformatics pipeline (bip) on a mediator platform: Comparing cost and quality of alternate choices. Data Engineering Workshops, 2006. Proceedings. 22nd International Conference on. :67-67.
Arya S, Malamatos T, Mount D.  2006.  On the importance of idempotence. Proceedings of the thirty-eighth annual ACM symposium on Theory of computing. :564-573.
Khuller S, Kim YA, Malekian A.  2006.  Improved algorithms for data migration. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. :164-175.
Gandhi R, Halperin E, Khuller S, Kortsarz G, Srinivasan A.  2006.  An improved approximation algorithm for vertex cover with hard capacities. Journal of Computer and System Sciences. 72(1):16-33.
Hajiaghayi MT, Kleinberg R, Leighton T.  2006.  Improved lower and upper bounds for universal TSP in planar metrics. Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm. :649-658.
Bavier A, Feamster N, Huang M, Peterson L, Rexford J.  2006.  In VINI veritas: realistic and controlled network experimentation. SIGCOMM Comput. Commun. Rev.. 36(4):3-14.
Au T, Nau DS.  2006.  The incompleteness of planning with volatile external information. FRONTIERS IN ARTIFICIAL IN℡LIGENCE AND APPLICATIONS. 141:839-839.
Namata GM, Getoor L, Diehl C.  2006.  Inferring formal titles in organizational email archives. Proc. of the ICML Workshop on Statistical Network Analysis.
Kim J, JaJa JF.  2006.  Information-aware HyperOctree for effective isosurface rendering of large scale time-varying data. UMIACS-TR-2006-00
Druin A, Massey S, Weeks AC.  2006.  Initial findings from a three-year international case study exploring children's responses to literature in a digital library. Library trends. 54(2):245-265.
Abdelkader MF, Chellappa R, Zheng Q, Chan AL.  2006.  Integrated Motion Detection and Tracking for Visual Surveillance. Computer Vision Systems, 2006 ICVS '06. IEEE International Conference on. :28-28.
Marchionini G, Haas S, Plaisant C, Shneiderman B.  2006.  Integrating data and interfaces to enhance understanding of government statistics: toward the national statistical knowledge network project briefing. Proceedings of 7th Annual International Conference on Digital Libraries (DG06). :21-24.
Krüger V, Zhou S, Chellappa R.  2006.  Integrating Video Information over Time. Example: Face Recognition from Video. Cognitive Vision SystemsCognitive Vision Systems. 3948:127-144.
Domke J, Aloimonos Y.  2006.  Integration of visual and inertial information for egomotion: a stochastic approach. Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006. :2053-2059.

Pages