Sciweavers

292 search results - page 32 / 59
» Reactive Context-Aware Programming
Sort
View
LOPSTR
2001
Springer
14 years 6 hour ago
Computing Environment-Aware Agent Behaviours with Logic Program Updates
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
José Júlio Alferes, Antonio Brogi, J...
EVOW
2009
Springer
14 years 2 months ago
Prediction of Interday Stock Prices Using Developmental and Linear Genetic Programming
A developmental co-evolutionary genetic programming approach (PAM DGP) is compared to a standard linear genetic programming (LGP) implementation for trading of stocks across market...
Garnett Carl Wilson, Wolfgang Banzhaf
AGTIVE
2007
Springer
14 years 1 months ago
Programmed Graph Rewriting with DEVS
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
Eugene Syriani, Hans Vangheluwe
RISE
2004
Springer
14 years 27 days ago
A Symbolic Model Checker for tccp Programs
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
María Alpuente, Moreno Falaschi, Alicia Vil...
IJCAI
2001
13 years 9 months ago
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
Brian C. Williams, Seung Chung, Vineet Gupta