2470 search results - page 90 / 494 » Liveness-Preserving Simulation Relations |
SIMULATION
2002
15 years 8 days ago
2002
- In this paper, a new scheme for the simulation of tactical communications systems is introduced where the mobility, call and availability patterns for the communications equipmen...
95
Voted
EGH
2003
Springer
15 years 5 months ago
2003
Springer
This paper presents a physically-based, visually-realistic interactive cloud simulation. Clouds in our system are modeled using partial differential equations describing fluid mot...
121
click to vote
PADS
2009
ACM
15 years 7 months ago
2009
ACM
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
86
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— In this paper, two problems related to the simulation of virtual environments for haptic systems are considered. The first problem is how to simulate, in discrete time...
104
click to vote
HAPTICS
2002
IEEE
15 years 5 months ago
2002
IEEE
In this paper, we present computationally efficient algorithms for the real time simulation of minimally invasive surgical (MIS) procedures. To develop a surgical simulator for tr...