4340 search results - page 673 / 868 » Formal Methods and Cryptography |
181
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
Encapsulation of states in object-oriented programs hinders the search for test data using evolutionary testing. As client code is oblivious to the internal state of a server obje...
144
click to vote
GECCO
2006
Springer
15 years 9 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...
174
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
This paper extends the Boltzmann Selection, a method in EDA with theoretical importance, from discrete domain to the continuous one. The difficulty of estimating the exact Boltzma...
144
click to vote
SIGMOD
1995
ACM
15 years 9 months ago
1995
ACM
When querying a temporal database, a user often makes certain semantic assumptions on stored temporal data. This paper formalizes and studies two types of semantic assumptions: po...
160
click to vote
AAAI
2007
15 years 8 months ago
2007
Much of artificial intelligence research is focused on devising optimal solutions for challenging and well-defined but highly constrained problems. However, as we begin creating...