3823 search results - page 692 / 765 » Stability of Hybrid Systems |
ICDE
2007
IEEE
14 years 11 months ago
2007
IEEE
Relational database management systems are constantly being extended and augmented to accommodate data in different domains. Recently, with the increasing use of ontology in vario...
VIS
2004
IEEE
14 years 11 months ago
2004
IEEE
We present a system for simulating and visualizing the propagation of dispersive contaminants with an application to urban security. In particular, we simulate airborne contaminan...
GIS
2006
ACM
14 years 10 months ago
2006
ACM
Topological relationships between objects in space are of great importance in many disciplines. Recently, topological relationships have been defined for complex spatial objects. ...
MICCAI
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. We describe a framework for training-oriented simulation of temporal bone surgery. Bone dissection is simulated visually and haptically, using a hybrid data representatio...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...