Sciweavers

646 search results - page 43 / 130
» Architecture for an Artificial Immune System
Sort
View
AISC
2010
Springer
15 years 11 months ago
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
Michael Kohlhase, Florian Rabe, Vyacheslav Zholude...
KI
2007
Springer
15 years 6 months ago
Modeling Human-Level Intelligence by Integrated Cognition in a Hybrid Architecture
Various forms of reasoning, the profusion of knowledge, the gap between neuro-inspired approaches and conceptual representations, the problem of inconsistent data input, and the ma...
Kai-Uwe Kühnberger, Tonio Wandmacher, Angela ...
ATAL
2008
Springer
15 years 8 months ago
An adaptive agent model for self-organizing MAS
Self-organizing multi-agent systems (MAS) use different mechanisms to mimic the adaptation exhibited by complex systems situated in unpredictable and dynamic environments. These m...
Candelaria Sansores, Juan Pavón
FLAIRS
2000
15 years 7 months ago
Formal Software Development in the Verification Support Environment (VSE)
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
Dieter Hutter, Georg Rock, Jörg H. Siekmann, ...
AIPS
1994
15 years 7 months ago
Testing Incremental Adaptation
A robot system operating in an environmentin which there is uncertainty and changeneeds to combinethe ability to react withthe ability to plan ahead. In a previous paper wepropose...
Damian M. Lyons, Antonius J. Hendriks