7167 search results - page 1198 / 1434 » Answer Set Programming |
114
Voted
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Bloat control is an important aspect of evolutionary computation methods, such as genetic programming, which must deal with genomes of arbitrary size. We introduce three ...
143
Voted
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
The ability to predict the quality of a software object can be viewed as a classification problem, where software metrics are the features and expert quality rankings the class lab...
138
click to vote
HYBRID
2004
Springer
15 years 7 months ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
102
Voted
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
130
click to vote
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
We consider the following scheduling problem. The input is a set of jobs with equal processing times, where each job is specified by its release time and deadline. The goal is to ...