1312 search results - page 178 / 263 » Formally Optimal Boxing |
134
Voted
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Answer set programming (ASP) is a powerful formalism for knowledge representation and common sense reasoning that allows disjunction in rule heads and nonmonotonic negati...
118
click to vote
EDBT
2009
ACM
15 years 6 months ago
2009
ACM
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...
142
click to vote
GECCO
2006
Springer
15 years 6 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...
104
Voted
GECCO
2006
Springer
15 years 6 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...
128
click to vote
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we present an evolutionary approach for inferring the structure and dynamics in gene circuits from observed expression kinetics. For representing the regulatory inte...