Sciweavers

1416 search results - page 86 / 284
» Designing creative artificial systems
Sort
View
125
Voted
FLAIRS
2003
15 years 6 months ago
Proving Harder Theorems by Axiom Reduction
Automated Theorem Proving (ATP) problems may contain unnecessary axioms, either because some of the axiomatization of the theory is irrelevant to the particular theorem, or becaus...
Geoff Sutcliffe, Alexander Dvorský
ALIFE
2004
15 years 4 months ago
Self-Protection and Diversity in Self-Replicating Cellular Automata
The concept of "self-protection", a capability of an organism to protect itself from exogenous attacks, is introduced to the design of artificial evolutionary systems as...
Hiroki Sayama
137
Voted
KI
2002
Springer
15 years 4 months ago
Empirically Grounded Decision-Theoretic Adaptation to Situation-Dependent Resource Limitations
This article summarizes research on several interrelated general issues that can arise in the design and development of user modeling systems: the learning and subsequent adaptati...
Thorsten Bohnenberger, Boris Brandherm, Barbara Gr...
SIGUCCS
2005
ACM
15 years 10 months ago
An augmented campus design for context-aware service provision
This paper deals with the design of a multi-modal system for pervasive context-aware service provision and humanenvironment interaction in augmented environments by the use of Per...
Alessandro Genco, Giuseppe Reina, Paolo Raccuglia,...
JCIT
2007
192views more  JCIT 2007»
15 years 5 months ago
Action Representation for Natural Language Interfaces to Agent Systems
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...
Christel Kemke