1033 search results - page 113 / 207 » The Relative History Heuristic |
182
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This work studies an optimization approach for designing tone reproduction curve (TRC) based tone mapping operators for the display of high dynamic range (HDR) images in low dynam...
158
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. This paper presents a robust method to correct for intensity differences across a series of aligned stained histological slices. The method is made up of two steps. First...
186
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Deforming a digital atlas towards a patient image allows the simultaneous segmentation of several structures. Such an intersubject registration is difficult as the deformations to ...
159
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. Automata-based decision procedures commonly achieve optimal complexity bounds. However, in practice, they are often outperformed by sub-optimal (but more local-search bas...
174
click to vote
ASM
2010
ASM
16 years 3 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...