11234 search results - page 314 / 2247 » A Microsurgery Simulation System |
158
click to vote
ECAL
2005
Springer
16 years 2 days ago
2005
Springer
In this paper, we describe an approach to artificial life, which uses Qualitative Reasoning for the simulation of life within a 3D virtual environment. This system uses qualitative...
189
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...
165
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...
182
click to vote
ESTIMEDIA
2003
Springer
15 years 11 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
145
click to vote
FIDJI
2003
Springer
15 years 11 months ago
2003
Springer
Spontaneous multihop networks with high device mobility and frequent fluctuations are interesting platforms for future distributed applications. Because of the large number of mob...