2774 search results - page 461 / 555 » Query-Driven Program Testing |
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
GECCO
2004
Springer
14 years 2 months ago
2004
Springer
To create a realistic environment, some simulations require simulated agents with human behavior pattern. Creating such agents with realistic behavior can be a tedious and time con...
GECCO
2004
Springer
14 years 2 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 ...
GECCO
2004
Springer
14 years 2 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...
HYBRID
2004
Springer
14 years 2 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...