7405 search results - page 942 / 1481 » Computer Graphics |
124
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...
140
click to vote
ICCS
2001
Springer
15 years 9 months ago
2001
Springer
GRM and PROVE were originally designed and implemented as part of the P-GRADE graphical parallel program development environment running on clusters. In the framework of the bigges...
137
click to vote
ITICSE
2000
ACM
15 years 9 months ago
2000
ACM
In this paper, we present ANIMAL, a new tool for developing animations to be used in lectures. ANIMAL offers a small but powerful set of graphical operators. Animations are genera...
127
click to vote
CA
1999
IEEE
15 years 9 months ago
1999
IEEE
We present a simple method for performing real-time collision detection in a virtual surgery environment. The method relies on the graphics hardware for testing the interpenetrati...
139
click to vote
CHI
1994
ACM
15 years 8 months ago
1994
ACM
Treemaps support visualization of large hierarchical information spaces. The treemap generation algorithm is straightforward and application prototypes have only minimal hardware ...