385 search results - page 46 / 77 » Qualitative Numeric Planning |
DSVIS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
89
Voted
ECCV
2004
Springer
15 years 3 months ago
2004
Springer
Often in neurosurgical planning a dual echo acquisition is performed that yields proton density (PD) and T2-weighted images to evaluate edema near a tumour or lesion. The developme...
KI
2004
Springer
15 years 3 months ago
2004
Springer
We present a novel geometric model for robot mapping suited for robots equipped with a laser range finder. The geometric representation is based on shape. Cyclic ordered sets of p...
SPATIALCOGNITION
2004
Springer
15 years 3 months ago
2004
Springer
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
FDG
2009
ACM
15 years 2 months ago
2009
ACM
Procedural methods have long been used for generation of art assets, but procedural generation of scenarios has lagged behind. In particular, training games for emergency rescue w...