5707 search results - page 175 / 1142 » Symbolic Simulation - Techniques and Applications |
191
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
Real world problems such as fire propagation prediction, can often be considered as a compositional combination of multiple, simple but coupled subproblems corresponding to analyt...
167
click to vote
WADT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
189
click to vote
CA
1999
IEEE
15 years 11 months ago
1999
IEEE
The recent addition of force and touch feedback to Virtual Reality simulations has enhanced their realism. Research on haptics interfaces is now extended to physical modeling of c...
173
click to vote
WSC
2004
15 years 8 months ago
2004
Homeland defense applications will use large-scale ad-hoc networks of small devices. Routing is a crucial problem, for naive means do not scale well. Geographic Routing (GR) (Karp...
146
click to vote
TOG
2002
15 years 6 months ago
2002
In this paper we describe how to simulate geometrically complex, interactive, physically-based, volumetric, dynamic deformation models with negligible main CPU costs. This is achi...