5622 search results - page 1017 / 1125 » Solving architectural modelling problems using knowledge |
146
click to vote
DATE
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
160
click to vote
ICRA
2006
IEEE
16 years 12 days ago
2006
IEEE
- Collision detection is a critical module in many applications such as computer graphics, robot motion planning, physical simulation, CAD/CAM, and molecular modeling. Many efficie...
155
click to vote
IROS
2006
IEEE
16 years 12 days ago
2006
IEEE
- In this paper, we present a novel technique for calibrating central omnidirectional cameras. The proposed procedure is very fast and completely automatic, as the user is only ask...
160
click to vote
NSPW
2006
ACM
16 years 10 days ago
2006
ACM
What would a PKI look like if it were designed for implementability and deployability rather than strict adherence to a particular theoretical or mathematical model? This paper pr...
177
click to vote
CVPR
2010
IEEE
16 years 22 hour ago
2010
IEEE
In this paper, we consider the problem of tracking nonrigid surfaces and propose a generic data-driven mesh deformation framework. In contrast to methods using strong prior models...