5216 search results - page 613 / 1044 » Planning as Model Checking |
167
click to vote
IJCAI
1989
15 years 8 months ago
1989
In designing autonomous agents that deal competently with issues involving time and space, there is a tradeoff to be made between guaranteed response-time reactions on the one han...
157
click to vote
JUCS
2008
15 years 6 months ago
2008
: One of the key problems in developing standard based adaptive courses is the complexity involved in the design phase, especially when establishing the hooks for the dynamic model...
181
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
This paper presents a case study in assessment of erosion hotspots in an Andean watershed. To do this, we made use of an interface called Geospatial Modelling of Soil Erosion (GEM...
171
click to vote
MONET
2006
15 years 6 months ago
2006
In this paper we study connectivity in wireless ad-hoc networks by modeling the network as an undirected geometric random graph. The novel aspect in our study is that for finding t...
163
click to vote
CAS
2004
15 years 6 months ago
2004
Transportation and its environmental impacts are a major component of urban environmental management. At the same time, transportation and mobility are an important part or urban ...