: The notion of service is closely coupled with the notion of process in general and of workflow in particular. Processes capture the coordination logic for the various resources i...
Abstract: GEMINI (Generic Environment for Multilingual Interactive Natural Interfaces) is an EC funded research project. The goal of GEMINI is to provide a flexible platform for t...
Stefan W. Hamerich, Yu-Fang H. Wang, Volker Schube...
While traditional graphics techniques provide for the realistic display of three-dimensional objects, these methods often lack the flexibility to emulate expressive effects found ...
Peter-Pike J. Sloan, William Martin, Amy Gooch, Br...
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...