8719 search results - page 174 / 1744 » A Categorical Approach to Simulations |
120
click to vote
DSD
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
105
click to vote
ECAL
2005
Springer
15 years 7 months 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...
125
click to vote
ENGL
2008
15 years 1 months ago
2008
Abstract--We are developing an autonomous mobile robotic system to emulate six degree of freedom relative spacecraft motion during proximity operations. A mobile omni-directional b...
119
click to vote
TVCG
2010
15 years 2 days ago
2010
—Graphics artists commonly employ physically-based simulation for the generation of effects such as smoke, explosions, and similar phenomena. The task of finding the correct par...
119
click to vote
ICUMT
2009
14 years 11 months ago
2009
Abstract--With the rapid development of peer-to-peer networks, simulation is considered as a useful tool to demonstrate initial ideas before building prototypes with real network t...