5216 search results - page 948 / 1044 » Planning as Model Checking |
104
click to vote
BILDMED
2009
15 years 4 months ago
2009
Abstract. We introduce a novel model-based approach for the segmentation and quantification of the aortic arch morphology in 3D CTA images for endovascular aortic repair. The appro...
121
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we study, for the first time explicitly, the implications of endowing an interested party (i.e. a teacher) with the ability to modify the underlying dynamics of the ...
131
click to vote
BPM
2009
Springer
15 years 4 months ago
2009
Springer
Alaska Simulator is an interactive software tool developed at the University of Innsbruck which allows people to explore different approaches to process flexibility by using a fami...
121
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
A Markov Decision Process (MDP) is a general model for solving planning problems under uncertainty. It has been extended to multiobjective MDP to address multicriteria or multiagen...
137
click to vote
ANOR
2010
15 years 3 months ago
2010
For capacity planning issues in health care, such as the allocation of hospital beds, the admissions rate of patients is commonly assumed to be constant over time. In addition to ...