5599 search results - page 722 / 1120 » Abstract State Services |
156
click to vote
CALCO
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
174
click to vote
KI
2007
Springer
16 years 29 days ago
2007
Springer
Readylog is a logic-based agent programming language and combines many important features from other Golog dialects. One of the features of Readylog is to make use of decision-theo...
176
click to vote
ICRA
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract— We are developing a swarm-intelligent inspection system based on a swarm of autonomous, miniature robots, using only on-board, local sensors. To estimate intrinsic adva...
157
click to vote
SOCO
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
186
click to vote
ZUM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...