1819 search results - page 250 / 364 » Computability and Representations of the Zero Set |
151
click to vote
SIGGRAPH
1999
ACM
15 years 10 months ago
1999
ACM
Bus traffic between the graphics subsystem and memory can become a bottleneck when rendering geometrically complex meshes. In this paper, we investigate the use of vertex caching...
184
click to vote
VRML
1998
ACM
15 years 10 months ago
1998
ACM
The Virtual Reality Modeling Language (VRML) and the World Wide Web (WWW) offer new opportunities to communicate an architect’s design intent throughout the design process. We h...
172
click to vote
CVPR
2007
IEEE
15 years 10 months ago
2007
IEEE
Multiple sensors are commonly fused to improve the detection and recognition performance of computer vision and pattern recognition systems. The traditional approach to determine ...
158
click to vote
FORTE
2004
15 years 7 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
161
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
Our research focuses on creating and executing large-scale scientific workflows that often involve thousands of computations over distributed, shared resources. We describe an app...