Sciweavers

177 search results - page 33 / 36
» Modularity and Design in Reactive Intelligence
Sort
View
DAGSTUHL
1994
13 years 11 months ago
A Distributed Control Architecture for Autonomous Robot Systems
The main advantage of distributed controlled robots and subsystems is the decentralized task execution by the system components. This way, properties for the design of flexible co...
Thomas Laengle, Tim Lüth, Ulrich Rembold
JUCS
2008
172views more  JUCS 2008»
13 years 9 months ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley
CAEPIA
2003
Springer
14 years 3 months ago
A Document-Oriented Approach to the Development of Knowledge Based Systems
ADDS (Approach to Document-based Development of Software) is an approach to the development of applications based on a document-oriented paradigm. According to this paradigm, appli...
José Luis Sierra, Baltasar Fernández...
NJC
2006
86views more  NJC 2006»
13 years 9 months ago
Structured Formal Development in Isabelle
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
Maksym Bortin, Einar Broch Johnsen, Christoph L&uu...
ATAL
2006
Springer
14 years 1 months ago
Integrating parallel interactions into cooperative search
In this paper we incorporate autonomous agents' capability to perform parallel interactions into the cooperative search model, resulting in a new method which outperforms the...
Efrat Manisterski, David Sarne, Sarit Kraus