565 search results - page 24 / 113 » An Integrated Scenario Management Strategy |
ADBIS
2007
Springer
14 years 3 months ago
2007
Springer
The Message Transformation Model (MTM), for modeling complex message transformation processes in data centric application scenarios, provides strong capabilities for describing the...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
We demonstrate a "Companion" ECA, which is able to provide advice and support to the user, taking into account emotions expressed by her through dialogue. The integratio...
IAAI
2001
13 years 11 months ago
2001
: CARMA is an advisory system for rangeland grasshopper infestations that demonstrates how AI technology can deliver expert advice to compensate for cutbacks in public services. CA...
SAMOS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. In this paper, we present a particularly lightweight, integrative approach to programming and executing applications targeting heterogeneous, dynamically reconfigurable ...