1022 search results - page 25 / 205 » Stable models and circumscription |
FOSSACS
2000
Springer
13 years 11 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
SMA
2010
ACM
13 years 7 months ago
2010
ACM
Whereas traditional finite element methods use meshes to define domain geometry, weighted extended B-spline finite element methods rely on a weight function. A weight function is ...
IJRR
2008
13 years 7 months ago
2008
In human and animal running spring-like leg behavior is found. In a spring-mass model, running proves to be self-stable in terms of external perturbations or variations in leg pro...
TVCG
2008
13 years 7 months ago
2008
Two methods have been used extensively to model resting contact for rigid body simulation. The first approach, the penalty method, applies virtual springs to surfaces in contact to...
SIGGRAPH
2010
ACM
13 years 11 months ago
2010
ACM
We present a collision detection (CD) method for complex and large-scale fracturing models that have geometric and topological changes. We first propose a novel dual-cone culling...