700 search results - page 70 / 140 » Combinations of Stit and Actions |
ECML
2007
Springer
14 years 3 months ago
2007
Springer
In this article, we present an idea for solving deterministic partially observable markov decision processes (POMDPs) based on a history space containing sequences of past observat...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...
ISPW
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
IWPC
2006
IEEE
14 years 3 months ago
2006
IEEE
The presence of traceability links between software artefacts is very important to achieve high comprehensibility and maintainability. This is confirmed by several researches and ...
SOSE
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...