Many potential uses of qualitative physics, such as robot planning and intelligent computer-aided engineering, require integrating physics with actions taken by agents. This paper...
—The research efforts of the DECIDE Research Group have resulted in a decision tool capable of handling imprecise information in complex decision situations. Some of the research...
Designing multimodal visualizations combining anatomical and functional brain data is a demanding task. Jainek et al. [1] applied illustrative rendering techniques to obtain a high...
Silvia Born, Werner M. Jainek, Mario Hlawitschka, ...
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in dif...