2341 search results - page 177 / 469 » Using ontologies for simulation integration |
DAC
2004
ACM
14 years 29 days ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...
ESAW
2007
Springer
14 years 3 months ago
2007
Springer
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
FIMH
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a first set of experiments to integrate a realistic electro-mechanical model of a beating heart into simulated real-time three-dimensional (RT3D) ultrasound da...
HAPTICS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper proposes a new method for real-time rigid body simulations based on a volumetric penalty method. The penalty method, which employs spring-damper model, is a simple and ...
HAPTICS
2002
IEEE
14 years 2 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...