7167 search results - page 1111 / 1434 » A Technique for Invariant Generation |
227
click to vote
IUI
2000
ACM
15 years 12 months ago
2000
ACM
NaturalJava is a prototype for an intelligent natural-languagebased user interface for creating, modifying, and examining Java programs. The interface exploits three subsystems. T...
217
click to vote
SC
2000
ACM
15 years 12 months ago
2000
ACM
This paper describes extensions to OpenMP that implement data placement features needed for NUMA architectures. OpenMP is a collection of compiler directives and library routines ...
199
click to vote
SIGGRAPH
2000
ACM
15 years 12 months ago
2000
ACM
Environment matting is a generalization of traditional bluescreen matting. By photographing an object in front of a sequence of structured light backdrops, a set of approximate li...
240
click to vote
SIGGRAPH
2000
ACM
15 years 12 months ago
2000
ACM
This paper proposes a simple and computationally inexpensive method for animation of clouds. The cloud evolution is simulated using cellular automaton that simplifies the dynamics...
188
Voted
SIGGRAPH
2000
ACM
15 years 12 months ago
2000
ACM
We present an extension to texture mapping that supports the representation of 3-D surface details and view motion parallax. The results are correct for viewpoints that are static...