This paper tackles a particular shape matching problem: given a data base of shapes (described as triangular meshes), we search for all shapes which describe a human. We do so by a...
Wolfram von Funck, Holger Theisel, Hans-Peter Seid...
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
Edd Turner, Michael Leuschel, Corinna Spermann, Mi...
An appearance-based face authentication system integrating 2D color or intensity images and 3D data is presented in this paper. The proposed system is based on a low-cost 3D and c...
A new computer-based method for measuring periaxial rotation of healthy and fractured femurs from preoperative CT during closed femoral fracture reduction surgery is described. Th...
Ofer Ron, Leo Joskowicz, Ariel Simkin, Charles Mil...
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...