317 search results - page 24 / 64 » ais 2007 |
154
click to vote
TIME
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
126
click to vote
AIIDE
2007
15 years 6 months ago
2007
AI techniques are already widely used in game software to provide computer-controlled opponents for human players. However, game design is a more-challenging problem than game pla...
123
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
We show that for every n > 0 there is a planar topological disk A0 and n translates A1, A2, . . . , An of A0 such that the interiors of A0, . . . An are pairwise disjoint, but ...
143
Voted
AI
2007
Springer
15 years 4 months ago
2007
Springer
This paper discusses If multi-agent learning is the answer, what is the question? [Y. Shoham, R. Powers, T. Grenager, If multiagent learning is the answer, what is the question? A...
147
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Consider a generic data unit of random size L that needs to be transmitted over a channel of unit capacity. The channel dynamics is modeled as an on-off process {(Ai, Ui)}i≥1...