281 search results - page 29 / 57 » Concurrent Java Test Generation as a Search Problem |
ICALP
2007
Springer
14 years 1 months ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
ICIS
2000
13 years 9 months ago
2000
The Internet and corporate intranets provide far more information than anybody can absorb. People use search engines to find the information they require. However, these systems t...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make su...
ATAL
2006
Springer
13 years 9 months ago
2006
Springer
In concurrent cooperative multiagent learning, each agent simultaneously learns to improve the overall performance of the team, with no direct control over the actions chosen by i...
WSC
2008
13 years 10 months ago
2008
In this paper we present SR-1, a simulation-based heuristic algorithm for the Capacitated Vehicle Routing Problem (CVRP). Given a CVRP instance, SR-1 uses an initial "good so...