989 search results - page 170 / 198 » Dynamic Symmetry Reduction |
166
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
166
click to vote
SI3D
1997
ACM
15 years 10 months ago
1997
ACM
This paper presents a practical technique to automatically compute approximations of polygonal representations of 3D objects. It is based on a previously developed model simplific...
174
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
We present an algorithm for real-time level of detail reduction and display of high-complexity polygonal surface data. The algorithm uses a compact and efficient regular grid repr...
162
click to vote
WADT
1997
Springer
15 years 10 months ago
1997
Springer
The dynamic behavior of rule-based systems (like term rewriting systems 24], process algebras 27], and so on) can be traditionally determined in two orthogonal ways. Either operati...
173
click to vote
ADBIS
2009
Springer
15 years 10 months ago
2009
Springer
Identification of all objects in a dataset whose similarity is not less than a specified threshold is of major importance for management, search, and analysis of data. Set similari...