643 search results - page 62 / 129 » tools 1998 |
VRST
1998
ACM
14 years 2 months ago
1998
ACM
The GALILEO-system is a developmental state-of-the-art rigid body simulation tool with a strong bias to the simulation of unilateral contacts for virtual reality applications. On ...
CVPR
1998
IEEE
15 years 10 hour ago
1998
IEEE
The problem considered in this paper is that of estimating the projective transformation between two images in situations where the image motion is large and featurematching is no...
DAC
1998
ACM
14 years 11 months ago
1998
ACM
Increasingly popular reuse-based design paradigms create a pressing need for authorship enforcement techniques that protect the intellectual property rights of designers. We devel...
DAC
1998
ACM
14 years 11 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
POPL
2000
ACM
14 years 2 months ago
2000
ACM
In 1998 Asperti and Mairson proved that the cost of reducing a lambda-term using an optimal lambda-reducer (a la L´evy) cannot be bound by any elementary function in the number o...