4460 search results - page 217 / 892 » Formal methods for interactive systems |
137
click to vote
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
We show how Embedded Graph Grammars (EGGs) are used to specify local interaction rules between mobile robots in a natural manner. This formalism allows us to treat local network to...
154
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
135
click to vote
ICCSA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We have developed an interactive visualization software for an immersive 3D virtual environment system, which generates stereoscopic images from huge human volume dataset...
224
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
Many Geographic Information System (GIS) applications must handle large geospatial datasets stored in raster representation. Spatial joins over raster data are important queries i...
160
click to vote
EWC
2007
15 years 4 months ago
2007
This paper presents research that led to the design and implementation of fast and interactive collision detection methods that can be used to identify and report undesirable con...