8266 search results - page 147 / 1654 » Information About the Journal |
164
click to vote
IADIS
2004
15 years 7 months ago
2004
Taking into account the constantly increasing number of educational resources available on the Web, the problem arising is to determine who is authorized to access these resources...
160
click to vote
IADIS
2004
15 years 7 months ago
2004
Detailed and reliable information about the current traffic state is hardly obtainable by the road user. Therefore, we propose a web based visualization of the current and future ...
167
click to vote
FLAIRS
2001
15 years 7 months ago
2001
The World Wide Webprovides new opportunities for collecting information from distributed, multiple, and heterogeneous data sources. Information brokering can bc used to provide co...
144
click to vote
AAAI
2000
15 years 7 months ago
2000
Gridworlds are popular testbeds for planning with incomplete information but not much is known about their properties. We study a fundamental planning problem, localization, to in...
139
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper proposes an extension to theorem proving interfaces for use with proofdirected debugging and other disproof-based applications. The extension is based around tracking a...