Publications

Export 7151 results:
Author Title Type [ Year(Asc)]
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
2006
Shneiderman B.  2006.  Methods for the electronic annotation, retrieval, and use of electronic images. 09/976,362(7010751)
Colwell RR.  2006.  Microbial diversity in the era of genomics. SYMPOSIA-SOCIETY FOR GENERAL MICROBIOLOGY. 66:1-1.
Ray A, Cleaveland R, Jiang S, Fuhrman T.  2006.  Model based verification and validation of distributed control architectures. Proceedings of Convergence Convergence International Congress and Exposition on Transportation Electronics, Detroit, USA.
Bessière K, Newhagen JE, Robinson JP, Shneiderman B.  2006.  A model for computer frustration: the role of instrumental and dispositional factors on incident, session, and post-session frustration and mood. Computers in Human Behavior. 22(6):941-961.
Nixon MS, Tan T, Chellappa R.  2006.  Model-Based Approaches. Human Identification Based on GaitHuman Identification Based on Gait. :107-133.
Hemaraj Y, Sen M, Shekhar R, Bhattacharyya SS.  2006.  Model-based mapping of image registration applications onto configurable hardware. Signals, Systems and Computers, 2006. ACSSC'06. Fortieth Asilomar Conference on. :1453-1457.
Saha S, Shen C-C, Hsu C-J, Aggarwal G, Veeraraghavan A, Sussman A, Bhattacharyya SS.  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.
Xie Q, Memon AM.  2006.  Model-based testing of community-driven open-source GUI applications. Software Maintenance, 2006. ICSM'06. 22nd IEEE International Conference on. :145-154.
Ramanathan N, Chellappa R.  2006.  Modeling Age Progression in Young Faces. Computer Vision and Pattern Recognition, 2006 IEEE Computer Society Conference on. 1:387-394.
Rosenfeld SN, Rus I, Cukier M.  2006.  Modeling and Simulation of the Escalation Archetype in Computer Security. Symposium on Simulation Software Security (SSSS 06). 38(2):495-495.
Elsayed T, Oard D.  2006.  Modeling identity in archival collections of email: A preliminary study. Proceedings of the 2006 Conference on Email and Anti-Spam (CEAS 06). :95-103.
Rosenfeld SN, Rus I, Cukier M.  2006.  Modeling the Symptomatic Fixes Archetype in Enterprise Computer Security. 1:178-188.
Vishkin U, Caragea GC, Lee B.  2006.  Models for Advancing PRAM and Other Algorithms into Parallel Programs for a PRAM-On-Chip Platform. Technical Reports from UMIACS, UMIACS-UMIACS-TR-2006-21.
Baida RCP, Santos MRM, Carmo MS, Yoshida N, Ferreira D, Ferreira A T, El Sayed NM, Andersson B, da Silveira J F.  2006.  Molecular Characterization of Serine-, Alanine-, and Proline-Rich Proteins of Trypanosoma cruzi and Their Possible Role in Host Cell Infection. Infect. Immun.. 74(3):1537-1546.
Karagol-Ayan B, Doermann D, Weinberg A.  2006.  Morphology Induction from Limited Noisy Data Using Approximate String Matching. Proceedings of the Eighth Meeting of the ACL Special Interest Group in Computational Phonology (SIGPHON 2006). :60-68.
Liang J, DeMenthon D, Doermann D.  2006.  Mosaicing of Camera-captured Documents Without Pose Restriction. Computer Vision and Image Understanding.
Veeraraghavan A, Srinivasan M, Chellappa R, Baird E, Lamont R.  2006.  Motion Based Correspondence for 3D Tracking of Multiple Dim Objects. Acoustics, Speech and Signal Processing, 2006. ICASSP 2006 Proceedings. 2006 IEEE International Conference on. 2:II-II.
Yue Z, Chellappa R, Guarino D.  2006.  Moving Object Verification from Airborne Video. Computer Vision Systems, 2006 ICVS '06. IEEE International Conference on. :29-29.
Kim K, Davis LS.  2006.  Multi-camera tracking and segmentation of occluded people on ground plane using search-guided particle filtering. Computer Vision–ECCV 2006. :98-109.
Sundaresan A, Chellappa R.  2006.  Multi-camera Tracking of Articulated Human Motion Using Motion and Shape Cues. Computer Vision – ACCV 2006Computer Vision – ACCV 2006. 3852:131-140.
Nam B, Andrade H, Sussman A.  2006.  Multiple range query optimization with distributed cache indexing. Proceedings of the 2006 ACM/IEEE conference on Supercomputing. :100–es-100–es.
Danovaro E, De Floriani L, Papaleo L, Vitali M.  2006.  A multi-resolution representation for terrain morphology. Geographic Information Science. :33-46.
Su G-M, Man Z, M. Wu, Liu KJR.  2006.  Multiuser cross-layer resource allocation for video transmission over wireless networks. Network, IEEE. 20(2):21-27.
Han Z, Su G-M, Kwasinski A, M. Wu, Liu KJR.  2006.  Multiuser distortion management of layered video over resource limited downlink multicode-CDMA. Wireless Communications, IEEE Transactions on. 5(11):3056-3067.
Shet V, Harwood D, Davis LS.  2006.  Multivalued default logic for identity maintenance in visual surveillance. Computer Vision–ECCV 2006. :119-132.

Pages