1981 search results - page 380 / 397 » Model-Checking Hierarchical Structures |
PG
2002
IEEE
14 years 13 days ago
2002
IEEE
We present the 3D Video Recorder, a system capable of recording, processing, and playing three–dimensional video from multiple points of view. We first record 2D video streams f...
SC
2009
ACM
14 years 5 days ago
2009
ACM
It has been shown that the sparse grid combination technique can be a practical tool to solve high dimensional PDEs arising in multidimensional option pricing problems in finance...
SIGGRAPH
2010
ACM
14 years 14 hour ago
2010
ACM
In this paper, we address the problem of inverse procedural modeling: Given a piece of exemplar 3D geometry, we would like to find a set of rules that describe objects that are s...
VR
2000
IEEE
13 years 12 months ago
2000
IEEE
Usability has become one of the key ingredients in making virtual reality (VR) systems work, and a big part of a usable VR system is in the design of effective interface/interacti...
SIGGRAPH
2000
ACM
13 years 12 months ago
2000
ACM
Surface elements (surfels) are a powerful paradigm to efficiently render complex geometric objects at interactive frame rates. Unlike classical surface discretizations, i.e., tri...