4341 search results - page 565 / 869 » Quantitative Model checking |
160
Voted
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, the problem of retrospective correction of intensity inhomogeneity in magnetic resonance (MR) images is addressed. A novel model-based correction method is proposed,...
148
click to vote
DELFI
2003
15 years 8 months ago
2003
Abstract: Die Realisierung innovativer, didaktisch und lerntheoretisch begründeter eLearning-Szenarien benötigt dezidierte Werkzeuge, die neuartige Lehr- und Lernformen adäquat ...
167
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In the aftermath of a large-scale disaster, agents’ decisions derive from self-interested (e.g. survival), common-good (e.g. victims’ rescue) and teamwork (e.g. fire...
175
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Tracking multiple objects is important in many application domains. We propose a novel algorithm for multi-object tracking that is capable of working under very challenging conditi...
185
click to vote
CVPR
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents a new image denoising model for real color photo noise removal. Our model is implemented in the hue, saturation and intensity (HSI) space. The hue and saturati...