106 search results - page 17 / 22 » DOM: Towards a Formal Specification |
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
This paper investigates reinforcement learning (RL) in XCS. First, it formally shows that XCS implements a method of generalized RL based on linear approximators, in which the usu...
TAGT
1998
Springer
13 years 11 months ago
1998
Springer
Graphs are a commonly used formalism for modeling many different kinds of static and dynamic data. In many applications, data modeling can be improved by using hierarchically struc...
CHI
2010
ACM
13 years 10 months ago
2010
ACM
Nonprofit organizations often need to excel in coordinating with other organizations and must do so in a variety of contexts and levels from the informal to the formal. Their abil...
BCS
2008
13 years 9 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
ICFP
2010
ACM
13 years 7 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...