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
January 31, 2005 IAPR Conference on Machine Vision Applications (MVA) , Tsukuba, Japan Robust Invariant Features for Object Recognition and Mobile Robot Navigation Zhe Lin, S. Kim, I. Kweon
January 31, 2005 Technical Report, University of New South Wales, Sydney, Australia Symbolic Forced Simulation: Interface Generation for Systems-on-Chip A. Chaudhuri, A. Sowmya, S. Ramesh
January 31, 2005 Technical Report, Indian Institute of Technology, New Delhi, India Validation of Mobile Code under Transformations A. Chaudhuri, S. Prasad
October 27, 2004 ACM Transactions on Graphics (Proc. SIGGRAPH) , 23(3), 584–591 Keyframe-based tracking for rotoscoping and animation A. Agarwala, Aaron Hertzmann, David Salesin, S. Seitz
September 1, 2004 In Text, Speech and Dialogue, LNCS 3206, 2004, pp 579-586 Rapid Dialogue Prototyping Methodology Trung Bui, M. Rajman, M. Melichar
August 2, 2004 International Conference on Parallel Processing (ICPP), August Preemption-based avoidance of priority inversion for Java A. Welc, A. Hosking, S. Jagannathan