4099 search results - page 724 / 820 » A Framework for Interactive Proof |
155
click to vote
VISSYM
2007
15 years 6 months ago
2007
Volumetric Subdivision (VS) is a powerful paradigm that enables volumetric sculpting and realistic volume deformations that give rise to the concept of "virtual clay". I...
177
click to vote
WSC
2007
15 years 6 months ago
2007
Large, heterogeneous volumes of simulation data are calculated and stored in many disciplines, e.g. in climate and climate impact research. To gain insight, current climate analys...
148
click to vote
WSC
2008
15 years 6 months ago
2008
Currently, system engineering problems are solved using a wide range of domain-specific models and corresponding languages. It is unlikely that a single unified modeling language ...
147
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
137
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Crowd simulation models are currently lacking a commonly accepted validation method. In this paper, we propose level of presence achieved by a human in a virtual environment (VE) ...