4597 search results - page 542 / 920 » Structuring Agents for Adaptation |
187
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we shortly describe the Living Systems Autonomic Business Process Management (LS/ABPM) software product. LS/ABPM is an integrated environment, based on J2EE, Eclipse...
191
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In environments which possess relatively few features that enable a robot to unambiguously determine its location, global localization algorithms can result in multiple hypotheses...
188
click to vote
FLAIRS
2004
15 years 8 months ago
2004
A distributed search algorithm for solving distributed constraint satisfaction problems (DisCSPs) is presented. The proposed algorithm is composed of multiple search processes (SP...
165
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Escalation is a typical feature of infinite games. Therefore tools conceived for studying infinite mathematical structures, namely those deriving from coinduction are essential. H...
212
click to vote
JOLLI
2008
15 years 6 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...