8874 search results - page 1667 / 1775 » A New Implementation of Automath |
141
click to vote
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
Before embarking upon a large web site project, whether creating a new site or just redesigning one, it is generally accepted practice not to begin work until all the problem spec...
175
click to vote
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
Louisiana State University’s Biomedical Research Center is on a tight state funded budget, as are most state educational institutions. Resources are constantly being exhausted a...
166
click to vote
VRML
2003
ACM
15 years 11 months ago
2003
ACM
New acquisition and modeling tools make it easier to create 3D models, and affordable and powerful graphics hardware makes it easier to use them. As a result, the number of 3D mo...
173
click to vote
VRST
2003
ACM
15 years 11 months ago
2003
ACM
We present a novel, generic framework and algorithm for hierarchical collision detection, which allows an application to balance speed and quality of the collision detection. We p...
194
click to vote
AGTIVE
2003
Springer
15 years 11 months ago
2003
Springer
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...