Publications

Export 7151 results:
Author Title [ Type(Desc)] Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
Conference Papers
Charikar M, Khuller S.  2006.  A robust maximum completion time measure for scheduling. Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm. :324-333.
Tran S, Davis LS.  2007.  Robust Object Tracking with Regional Affine Invariant Features. Computer Vision, 2007. ICCV 2007. IEEE 11th International Conference on. :1-8.
Han B, Davis LS.  2005.  Robust observations for object tracking. Image Processing, 2005. ICIP 2005. IEEE International Conference on. 2:II-442-5-II-442-5.
Zheng Y, Doermann D.  2005.  Robust Point Matching for Two-Dimensional Nonrigid Shapes. Proceedings in the ICASSP'04 IEEEInternational Conference on Computer Vision. :1561-1566.
Mitra K, Veeraraghavan A, Chellappa R.  2010.  Robust regression using sparse learning for high dimensional parameter estimation problems. Acoustics Speech and Signal Processing (ICASSP), 2010 IEEE International Conference on. :3846-3849.
Tabatabaee V, Kashyap A, Bhattacharjee B, La RJ, Shayman MA.  2007.  Robust Routing with Unknown Traffic Matrices. INFOCOM 2007. 26th IEEE International Conference on Computer Communications. IEEE. :2436-2440.
Mitra K, Veeraraghavan A, Chellappa R.  2010.  Robust RVM regression using sparse outlier model. Computer Vision and Pattern Recognition (CVPR), 2010 IEEE Conference on. :1887-1894.
Hori O, Doermann D.  1995.  Robust table-form structure analysis based on box-driven reasoning. Document Analysis and Recognition, 1995., Proceedings of the Third International Conference on. 1:218-221vol.1-218-221vol.1.
JaJa JF.  2006.  Robust technologies for automated ingestion and long-term preservation of digital information. Proceedings of the 2006 international conference on Digital government research. :285-286.
Yue Z, Zhou SK, Chellappa R.  2004.  Robust two-camera tracking using homography. Acoustics, Speech, and Signal Processing, 2004. Proceedings. (ICASSP '04). IEEE International Conference on. 3:iii-1-4vol.3-iii-1-4vol.3.
Wu H, Chellappa R, Sankaranarayanan AC, Zhou SK.  2007.  Robust Visual Tracking Using the Time-Reversibility Constraint. Computer Vision, 2007. ICCV 2007. IEEE 11th International Conference on. :1-8.
Kia O, Doermann D.  1997.  The role of compressed document images in transmission and retrieval. Multimedia Signal Processing, 1997., IEEE First Workshop on. :331-336.
Turaga P, Biswas S, Chellappa R.  2010.  The role of geometry in age estimation. 2010 IEEE International Conference on Acoustics Speech and Signal Processing (ICASSP). :946-949.
Zelkowitz MV, Rus L.  2001.  The role of independent verification and validation in maintaining a safety critical evolutionary software in a complex environment: the NASA Space Shuttle program. Software Maintenance, 2001. Proceedings. IEEE International Conference on. :118-126.
Jimmy Lin, Demner-Fushman D.  2006.  The role of knowledge in conceptual retrieval: a study in the domain of clinical medicine. Proceedings of the 29th annual international ACM SIGIR conference on Research and development in information retrieval. :99-106.
Schmill MD, Oates T, Anderson M, Fults S, Josyula D, Perlis D, Wilson S.  2008.  The role of metacognition in robust AI systems. AAAI-08 Workshop on Metareasoning,(Chicago, IL).
Veeraraghavan A, Chowdhury AR, Chellappa R.  2004.  Role of shape and kinematics in human movement analysis. Computer Vision and Pattern Recognition, 2004. CVPR 2004. Proceedings of the 2004 IEEE Computer Society Conference on. 1:I-730-I-737Vol.1-I-730-I-737Vol.1.
Dorr BJ, Jones D.  1996.  Role of word sense disambiguation in lexical acquisition: predicting semantics from syntactic cues. Proceedings of the 16th conference on Computational linguistics - Volume 1. :322-327.
Wu M, Miller ML, Bloom JA, Cox IJ.  1999.  A rotation, scale and translation resilient public watermark. Acoustics, Speech, and Signal Processing, 1999. Proceedings., 1999 IEEE International Conference on. 4:2065vol.4-2065vol.4.
Garay JA, Katz J, Koo C-Y, Ostrovsky R.  2007.  Round Complexity of Authenticated Broadcast with a Dishonest Majority. Foundations of Computer Science, 2007. FOCS '07. 48th Annual IEEE Symposium on. :658-668.
Katz J, Ostrovsky R, Smith A.  2003.  Round efficiency of multi-party computation with a dishonest majority. Proceedings of the 22nd international conference on Theory and applications of cryptographic techniques. :578-595.
Mundur P, Lee S, Seligman M.  2006.  Routing for data delivery in dynamic networks. Proceedings of the IEEE MILCOM. :1-7.
Mundur P, Lee S, Seligman M.  2006.  Routing in intermittent network topologies. Proceedings of the 9th ACM international symposium on Modeling analysis and simulation of wireless and mobile systems. :385-389.
Fredette AN, Cleaveland R.  1993.  RTSL: a language for real-time schedulability analysis. Real-Time Systems Symposium, 1993., Proceedings.. :274-283.
Brill E, Resnik P.  1994.  A rule-based approach to prepositional phrase attachment disambiguation. Proceedings of the 15th conference on Computational linguistics-Volume 2. :1198-1204.

Pages