5216 search results - page 525 / 1044 » Planning as Model Checking |
242
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
164
click to vote
AH
2006
Springer
16 years 27 days ago
2006
Springer
This research outline refers to the assessment of motivation in online learning environments. It includes a presentation of previous approaches, most of them based on Keller’s AR...
164
click to vote
WSC
2007
15 years 9 months ago
2007
Most of the materials and components for a construction project are lifted by cranes. Much research has been done for path planning, motion control, and online navigation to reduc...
144
click to vote
AAAI
2004
15 years 8 months ago
2004
We describe a formal framework for diagnosis and repair problems that shares elements of the well known partially observable MDP and cost-sensitive classification models. Our cost...
151
click to vote
WSC
2004
15 years 8 months ago
2004
This paper presents the methodologies and preliminary results of the project to develop a simulation model of the Panama Canal, one of the most famous waterway and locks system of...