Sciweavers

4209 search results - page 243 / 842
» Abstract Dialectical Frameworks
Sort
View
EUROPAR
2004
Springer
15 years 12 months ago
A Fusion-Embedded Skeleton Library
Abstract. This paper addresses a new framework for designing and implementing skeleton libraries, in which each skeleton should not only be efficiently implemented as is usually d...
Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasak...
FAABS
2004
Springer
15 years 12 months ago
A Formal Analysis of Potential Energy in a Multi-agent System
Abstract. This paper summarizes a novel framework, called “physicomimetics,” for the distributed control of large collections of mobile physical agents in sensor networks. The ...
William M. Spears, Diana F. Spears, Rodney Heil
GG
2004
Springer
15 years 12 months ago
Adhesive High-Level Replacement Categories and Systems
Abstract. Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the w...
Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulri...
MATES
2004
Springer
15 years 12 months ago
From Modeling to Simulation of Multi-agent Systems: An Integrated Approach and a Case Study
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
Giancarlo Fortino, Alfredo Garro, Wilma Russo
SPATIALCOGNITION
2004
Springer
15 years 12 months ago
Modelling Models of Robot Navigation Using Formal Spatial Ontology
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
John A. Bateman, Scott Farrar