Publications
Export 566 results:
Author Title [ Type] Year Filters: First Letter Of Last Name is V [Clear All Filters]
2007. Relating Complexity and Precision in Control Flow Analysis. ICFP '07 Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming. :85-96.
2006. Reliable broadcast in radio networks: the bounded collision case. Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing. :258-264.
2010. Resolving and Exploiting the k-CFA Paradox: Illuminating Functional vs. Object-oriented Program Analysis. PLDI '10 Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation. :305-315.
2010. Resource-Aware Compiler Prefetching for Many-Cores. Parallel and Distributed Computing (ISPDC), 2010 Ninth International Symposium on. :133-140.
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.
2010. Robust RVM regression using sparse outlier model. Computer Vision and Pattern Recognition (CVPR), 2010 IEEE Conference on. :1887-1894.
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.
2009. Salient Clustering for View-dependent Multiresolution Rendering. Computer Graphics and Image Processing (SIBGRAPI), 2009 XXII Brazilian Symposium on. :56-63.
2009. Secure image retrieval through feature protection. Acoustics, Speech and Signal Processing, 2009. ICASSP 2009. IEEE International Conference on. :1533-1536.
2011. Secure video processing: Problems and challenges. Acoustics, Speech and Signal Processing (ICASSP), 2011 IEEE International Conference on. :5856-5859.
2011. "Seeing" ENF: natural time stamp for digital video via optical sensing and signal processing. Proceedings of the 19th ACM international conference on Multimedia. :23-32.
1996. Simplification envelopes. Proceedings of the 23rd annual conference on Computer graphics and interactive techniques. :119-128.
1992. Simulating Pressure Variations in Handwriting. Proceedings of the Twenty-Third Annual Modeling and Simulation Conference. :2141-2148.
1999. Skip Strips: maintaining triangle strips for view-dependent rendering. Visualization '99. Proceedings. :131-518.
1997. Specification-based Testing of Reactive Software: Tools and Experiments. Software Engineering, International Conference on. :525-525.
2008. Statistical analysis on Stiefel and Grassmann manifolds with applications in computer vision. Computer Vision and Pattern Recognition, 2008. CVPR 2008. IEEE Conference on. :1-8.
2003. Statistical point geometry. Proceedings of the 2003 Eurographics/ACM SIGGRAPH symposium on Geometry processing. :107-115.
2003. Statistical shape theory for activity modeling. Acoustics, Speech, and Signal Processing, 2003. Proceedings. (ICASSP '03). 2003 IEEE International Conference on. 3:III-493-6vol.3-III-493-6vol.3.
2000. A storytelling robot for pediatric rehabilitation. Proceedings of the fourth international ACM conference on Assistive technologies. :50-55.
2009. Streamed learning: one-pass SVMs. Proceedings of the 21st international jont conference on Artifical intelligence. :1211-1216.
2009. Streaming for large scale NLP: Language modeling. Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics. :512-520.
1996. Stripe: a software tool for efficient triangle strips. ACM SIGGRAPH 96 Visual Proceedings: The art and interdisciplinary programs of SIGGRAPH '96. :153–-153–.
2006. A structural approach to latency prediction. Proceedings of the 6th ACM SIGCOMM conference on Internet measurement. :99-104.
1994. Symmetry breaking for suffix tree construction. Proceedings of the twenty-sixth annual ACM symposium on Theory of computing. :300-309.