1422 search results - page 85 / 285 » Complementation in Abstract Interpretation |
115
click to vote
ICCS
2007
Springer
15 years 10 months 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...
126
click to vote
SMALLTALK
2007
Springer
15 years 10 months 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...
147
Voted
ICECCS
2006
IEEE
15 years 10 months 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...
123
click to vote
AMS
2005
Springer
15 years 10 months 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 ...
122
Voted
ECSQARU
2005
Springer
15 years 10 months 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...