3808 search results - page 541 / 762 » Artificial Intelligence: A Modern Approach |
153
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Tabled evaluation is a recognized and powerful implementation technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redund...
178
click to vote
ANTSW
2010
Springer
15 years 4 months ago
2010
Springer
We study self-organized navigation in a heterogeneous robotic swarm consisting of two types of robots: small wheeled robots, called foot-bots, and flying robots that can attach to ...
189
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
221
click to vote
HAIS
2010
Springer
15 years 4 months ago
2010
Springer
In this article, we describe a feature selection algorithm which can automatically find relevant features for multiple instance learning. Multiple instance learning is considered a...
209
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--The difficulties encountered in sequential decisionmaking problems under uncertainty are often linked to the large size of the state space. Exploiting the structure of th...