2565 search results - page 406 / 513 » Object type constructors |
181
click to vote
ECOOP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
146
click to vote
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
180
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
We propose a physically based algorithm for synthesizing sounds synchronized with brittle fracture animations. Motivated by laboratory experiments, we approximate brittle fracture...
164
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
High-order and regularly sampled surface representations are more efficient and compact than general meshes and considerably simplify many geometric modeling and processing algor...
170
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
This paper introduces an approach to control of physics-based characters based on high-level features of movement, such as centerof-mass, angular momentum, and end-effectors. Obje...