5622 search results - page 1017 / 1125 » Solving architectural modelling problems using knowledge |
104
Voted
DATE
2006
IEEE
15 years 9 months 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ļ¬...
112
Voted
ICRA
2006
IEEE
15 years 9 months 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...
123
Voted
IROS
2006
IEEE
15 years 9 months 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...
119
Voted
NSPW
2006
ACM
15 years 9 months 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...
141
Voted
CVPR
2010
IEEE
15 years 9 months 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...