5216 search results - page 855 / 1044 » Planning as Model Checking |
146
click to vote
ECIS
2001
15 years 7 months ago
2001
It has been almost three decades since Nolan proposed his stages hypothesis. Since then several studies on the stages of growth theory appeared in the academic literature. Despite...
183
click to vote
GEOINFO
2003
15 years 7 months ago
2003
Relational index structures, as for instance the Relational Interval Tree, the Relational R-Tree, or the Linear Quadtree, support efficient processing of queries on top of existing...
185
click to vote
UAI
2004
15 years 7 months ago
2004
Although many real-world stochastic planning problems are more naturally formulated by hybrid models with both discrete and continuous variables, current state-of-the-art methods ...
149
click to vote
WIIW
2001
15 years 7 months ago
2001
Our research and development activities in digital libraries raised relevant features in supporting Web information integration. Underlain by an in house multi-agent based architec...
153
click to vote
WSC
2001
15 years 7 months ago
2001
This paper discusses the changes that were required to Ford's Power Train Operations (PTO) simulation environment to ensure the maximum benefit was gained from the investment...