20807 search results - page 95 / 4162 » How to read a paper |
147
click to vote
IJCAI
1993
15 years 6 months ago
1993
Whilst much emphasis in AI has been placed on the use of goals in problem solving, less emphasis has been placed on the role of perception and experience. In this paper we show th...
154
click to vote
GG
2010
Springer
15 years 5 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
170
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
112
click to vote
JIRS
2006
15 years 4 months ago
2006
The paper presents a general framework for concurrent navigation and exploration of unknown environments based on discrete potential fields that guide the robot motion. These poten...
135
click to vote
ETS
2002
IEEE
15 years 4 months ago
2002
IEEE
The rise of computer-based online learning represents either the most exciting and versatile educational technology ever or the first stage of an unrelenting boom and bust cycle (...