5707 search results - page 175 / 1142 » Symbolic Simulation - Techniques and Applications |
214
Voted
ICCS
2004
Springer
16 years 12 days 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...
184
Voted
WADT
2004
Springer
16 years 11 days 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...
209
Voted
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...
187
Voted
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...
162
Voted
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...