631 search results - page 92 / 127 » Why Model |
130
click to vote
MICCAI
2004
Springer
16 years 3 months ago
2004
Springer
Anatomical objects often have complex and varying image appearance at different portions of the boundary; and it is frequently a challenge even to select appropriate scales at whic...
113
click to vote
CIDM
2009
IEEE
15 years 9 months ago
2009
IEEE
—Some data mining problems require predictive models to be not only accurate but also comprehensible. Comprehensibility enables human inspection and understanding of the model, m...
116
click to vote
CSREAESA
2008
15 years 3 months ago
2008
This paper discusses why the extensive scientific results on predicting embedded systems temporal behavior never, or very seldom, reaches the industrial community. We also point ou...
107
click to vote
CVPR
2004
IEEE
16 years 4 months ago
2004
IEEE
We study the problem of estimating the illuminant's direction from images of textured surfaces. Given an isotropic, Gaussian random surface with constant albedo, Koenderink an...
114
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...