43264 search results - page 8268 / 8653 » Comparing models of computation |
147
click to vote
WSCG
2003
15 years 4 months ago
2003
The registration of 3D form features is essential to the supporting of reverse shape design processes. Extracting an editable shape feature from unordered data points is notorious...
121
click to vote
ICMAS
2000
15 years 4 months ago
2000
In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...
130
click to vote
DAGSTUHL
1997
15 years 4 months ago
1997
In this paper we describe a simple and efficient ray casting engine that is suitable for the rapid exploration of irregular grids composed of tetrahedra cells, or other cell comp...
138
click to vote
RIAO
2000
15 years 4 months ago
2000
We propose an original approach for the characterization of video dynamic content with a view to supplying new functionalities for motion-based video indexing and retrieval with q...
128
click to vote
WOA
2000
15 years 4 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...