495 search results - page 13 / 99 » Detecting Rotational Symmetries |
CGI
2006
IEEE
14 years 5 days ago
2006
IEEE
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...
TASE
2007
IEEE
14 years 2 months ago
2007
IEEE
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...
3DPVT
2004
IEEE
14 years 6 days ago
2004
IEEE
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...
CARS
2001
13 years 9 months ago
2001
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...
CADE
2002
Springer
14 years 8 months ago
2002
Springer
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...