1422 search results - page 85 / 285 » Complementation in Abstract Interpretation |
145
click to vote
ICCS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The paper presents a dynamic data-driven mixed reality environment to complement a full-scale bio-terror preparedness exercise. The environment consists of a simulation o...
159
click to vote
SMALLTALK
2007
Springer
16 years 21 days ago
2007
Springer
To extract abstract views of the behavior of an object-oriented system for reverse engineering, a body of research exists that analyzes a system’s runtime execution. Those approa...
184
click to vote
ICECCS
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC [6] for model driven mediation and choreography to comp...
164
click to vote
AMS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper describes the extension of a behaviour-based control system for autonomous outdoor navigation. To perform robust obstacle avoidance the existing stereo vision ...
148
click to vote
ECSQARU
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In previous papers, we have presented a framework for merging structured information in XML involving uncertainty in the form of probabilities, degrees of beliefs and nec...