6957 search results - page 1078 / 1392 » Planning before plans |
175
click to vote
BIRTHDAY
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
191
click to vote
CAIP
2005
Springer
16 years 10 days ago
2005
Springer
In radiation treatment (RT) planning, clinicians must trace the outline of a few critical structures on a large number of images. Using automated image segmentation could save trem...
202
click to vote
CIKM
2005
Springer
16 years 10 days ago
2005
Springer
Modern query optimizers select an efficient join ordering for a physical execution plan based essentially on the average join selectivity factors among the referenced tables. In ...
200
click to vote
CVBIA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Markov Random Fields (MRFs) are a popular and wellmotivated model for many medical image processing tasks such as segmentation. Discriminative Random Fields (DRFs), a dis...
173
click to vote
DSVIS
2005
Springer
16 years 9 days 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...