4352 search results - page 83 / 871 » A Representation Theorem and Applications |
93
Voted
DAGSTUHL
2008
15 years 2 months ago
2008
An overall approach to the problem of error analysis in the context of solid modelling, analogous to the standard forward/backward error analysis of Numerical Analysis, was describ...
91
Voted
JMIV
2010
14 years 11 months ago
2010
A new mathematical image model is introduced using the photographic process as the starting point. Images are represented as infinite sequences of photons allowing analysis at arb...
124
click to vote
CADE
2012
Springer
13 years 3 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
105
Voted
ICIP
2000
IEEE
16 years 2 months ago
2000
IEEE
We are concerned with the reconstruction of a regularly-sampled image based on irregularly-spaced samples thereof. We propose a new iterative method based on a wavelet representat...
103
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
One of the most important tasks in medical image analysis is to detect the absence or presence of disease in an image, without having precise delineations of pathology available f...