February 1, 2005 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), San-Diego Space-Time Behavioral Correlation Eli Shechtman, M. Iranim
February 1, 2005 ACM Transactions on Graphics 24(3) , 1082-1089 Style Translation for Human Motion E. Hsu, K. Pulli, Jovan Popović
February 1, 2005 M.S. Dissertation, Washington University in St. Louis What A Mesh: Dependent Data Types for Correct Mesh Manipulation Algorithms Joel Brandt
January 31, 2005 Technical Report, Institut National de Recherche en Informatique et Automatique, Rocquencourt, France A Distributed Structured Editor for ML A. Chaudhuri, G. Huet
January 31, 2005 Master's Thesis, Indian Institute of Technology, New Delhi, India A Generic Automated Proof-Carrying Framework A. Chaudhuri
January 31, 2005 Eurographics Workshop on Natural Phenomena FlowFixer: Using BFECC for Fluid Simulation Byungmoon Kim, Y. Liu, I. Llamas, J. Rossignac
January 31, 2005 Proc. 3rd ACM Workshop on Formal Methods in Security Engineering, Fairfax, USA (FMSE 2005), pp. 43-52 Formal Security Analysis of Basic Network-Attached Storage A. Chaudhuri, M. Abadi
January 31, 2005 Eurographics , Computer Graphics Forum GeoFilter: Geometric Selection of Mesh Filter Parameters Byungmoon Kim, J. Rossignac
January 31, 2005 Technical Report, Indian Institute of Technology, New Delhi, India Polytypic Structured Editing A. Chaudhuri, S. Prasad
January 31, 2005 IEEE/RAS Conference on Intelligent Robots and Systems (IROS) , Edmonton, Canada Recognition-based Indoor Topological Navigation using Robust Invariant Features Zhe Lin, S. Kim, I. Kweon