Kapur, Deepak

3 publications

AAAI 1996 Using Elimination Methods to Compute Thermophysical Algebraic Invariants from Infrared Imagery Jonathan D. Michel, Nagaraj Nandhakumar, Tushar Saxena, Deepak Kapur

CVPR 1991 Modeling Generic Polyhedral Objects with Constraints Van-Duc Nguyen, Joseph L. Mundy, Deepak Kapur

IJCAI 1985 An Equational Approach to Theorem Proving in First-Order Predicate Calculus Deepak Kapur, Paliath Narendran