15860 search results - page 2686 / 3172 » Agent-Based Software Engineering |
145
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a mean...
161
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
168
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...
143
click to vote
NOSSDAV
2009
Springer
15 years 11 months ago
2009
Springer
A critical problem in implementing interactive perception applications is the considerable computational cost of current computer vision and machine learning algorithms, which typ...
135
Voted
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...