528 search results - page 4 / 106 » Computing Large and Small Stable Models |
IAT
2007
IEEE
14 years 1 months ago
2007
IEEE
The agents in multiagent systems can coordinate their actions and handle tasks jointly by forming coalitions. One of the important steps in this process is the fair division of pa...
CGI
2000
IEEE
14 years 22 hour ago
2000
IEEE
Realistic animation of soft objects such as cloth is essential for plausible character animation. Many techniques have been proposed for the simulation of soft objects, and most o...
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...
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
3DIM
2003
IEEE
14 years 27 days ago
2003
IEEE
We present an Augmented Reality system that relies on purely passive techniques to solve the real-time registration problem. It can run on a portable PC and does not require engin...