2364 search results - page 410 / 473 » On O-Minimal Hybrid Systems |
106
click to vote
VIS
2004
IEEE
16 years 1 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...
180
click to vote
GIS
2006
ACM
16 years 26 days 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. ...
107
click to vote
MICCAI
2004
Springer
16 years 21 days 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...
102
click to vote
ICSE
2008
IEEE-ACM
16 years 19 days 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...
106
click to vote
KDD
2009
ACM
16 years 11 days ago
2009
ACM
Query result clustering has recently attracted a lot of attention to provide users with a succinct overview of relevant results. However, little work has been done on organizing t...