1277 search results - page 63 / 256 » Terminating Decision Algorithms Optimally |
121
click to vote
AAAI
2008
15 years 5 months ago
2008
Most former studies of Distributed Constraint Optimization Problems (DisCOPs) search considered only complete search algorithms, which are practical only for relatively small prob...
144
click to vote
APNOMS
2006
Springer
15 years 7 months ago
2006
Springer
Peer-to-Peer systems are based on the concept of resources localization and mutualization in dynamic context. In specific environment such as mobile networks, characterized by high...
149
click to vote
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
136
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Over the last few years, more and more heuristic decision making techniques have been inspired by nature, e.g. evolutionary algorithms, ant colony optimisation and simulated annea...
138
click to vote
GECCO
2000
Springer
15 years 6 months ago
2000
Springer
Sequencing problems have to be solved very often in VLSI CAD. To obtain results of high quality, Evolutionary Algorithms (EAs) have been successfully applied in many cases. Howeve...