Sciweavers

184 search results - page 6 / 37
» Generating a Specific Class of Metaphors
Sort
View
AAAI
1994
14 years 11 months ago
Associative Memory in an Immune-Based System
The immune system offers to be a rich source of metaphors to guide the exploration of the notion of an adaptive system. We might define a class of systems which are inspired by, b...
C. J. Gibert, Tom Routen
CP
2006
Springer
15 years 1 months ago
Generating Propagators for Finite Set Constraints
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
Guido Tack, Christian Schulte, Gert Smolka
COOPIS
2004
IEEE
15 years 1 months ago
TRAP/J: Transparent Generation of Adaptable Java Programs
This paper describes TRAP/J, a software tool that enables new adaptable behavior to be added to existing Java applications transparently (that is, without modifying the application...
Seyed Masoud Sadjadi, Philip K. McKinley, Betty H....
HYBRID
2010
Springer
14 years 11 months ago
Receding horizon control for temporal logic specifications
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Mu...
AAAI
2010
14 years 7 months ago
Latent Class Models for Algorithm Portfolio Methods
Different solvers for computationally difficult problems such as satisfiability (SAT) perform best on different instances. Algorithm portfolios exploit this phenomenon by predicti...
Bryan Silverthorn, Risto Miikkulainen