1187 search results - page 21 / 238 » Graph-Based Procedural Abstraction |
SEFM
2006
IEEE
15 years 3 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
IVA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. How to create effective body animations for virtual agents with emotions remains the state of the art for human animators and a great challenge for computer scientists. I...
85
Voted
CAV
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
CG
2000
Springer
14 years 9 months ago
2000
Springer
Visualization of multi-dimensional data is a challenging task. The goal is not the display of multiple data dimensions, but user comprehension of the multi-dimensional data. This p...
TOG
2002
14 years 9 months ago
2002
We present a procedural approach to authoring layered, solid models. Using a simple scripting language, we define the internal structure of a volume from one or more input meshes....