9611 search results - page 1807 / 1923 » A Note on Difference Sets |
177
click to vote
3DIM
2003
IEEE
15 years 9 months ago
2003
IEEE
A method is presented that uses an Approximate Nearest Neighbor method for determining correspondences within the Iterative Closest Point Algorithm. The method is based upon the k...
157
click to vote
AFRIGRAPH
2003
ACM
15 years 9 months ago
2003
ACM
Using a radiosity method to estimate light inter-reflections within large scenes still remains a difficult task. The two main reasons are: (i) the computations entailed by the rad...
194
click to vote
AMDO
2000
Springer
15 years 9 months ago
2000
Springer
- In this paper we present a specific matching technique based on basic motor patterns between two image sequences taken from different view points and a VRML synthetic human model...
153
click to vote
ESAW
2000
Springer
15 years 9 months ago
2000
Springer
While software is becoming decomposed in more and more finegrained entities, the interactions amongst those become of major importance. While methodologies for building such compon...
177
click to vote
ICCD
2000
IEEE
15 years 9 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...