9523 search results - page 1679 / 1905 » Intelligent Interface Agents |
263
click to vote
AAAI
2008
15 years 8 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
204
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We consider a heterogeneous swarm consisting of aerial and wheeled robots. We present a system that enables spatially targeted communication. Our system enables aerial robots to e...
223
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
A voting rule is an algorithm for determining the winner in an election, and there are several approaches that have been used to justify the proposed rules. One justification is t...
212
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
A central problem in artificial intelligence is to choose actions to maximize reward in a partially observable, uncertain environment. To do so, we must learn an accurate model of ...
209
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
In service-oriented systems, such as grids and clouds, users are able to outsource complex computational tasks by procuring resources on demand from remote service providers. As th...