2108 search results - page 332 / 422 » Constrained Heuristic Search |
150
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
d Abstract) Thibault Kruse, Alexandra Kirsch, E. Akin Sisbot, Rachid Alami A robot moving in the presence of humans is highly constrained by the dynamic environment and the need t...
143
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Social norms enable coordination in multiagent systems by constraining agent behaviour in order to achieve a social objective. Automating the design of social norms has been shown...
146
click to vote
AI
2006
Springer
15 years 6 months ago
2006
Springer
Finite-domain constraint programming has been used with great success to tackle a wide variety of combinatorial problems in industry and academia. To apply finite-domain constrain...
225
click to vote
IDA
2008
Springer
15 years 6 months ago
2008
Springer
Currently statistical and artificial neural network methods dominate in data mining applications. Alternative relational (symbolic) data mining methods have shown their effectivene...
153
click to vote
JAR
2006
15 years 6 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...