3984 search results - page 72 / 797 » A Model-Driven Transformation Method |
126
Voted
ENTCS
2008
15 years 2 months ago
2008
In the recent past, the reduction-based and the model-based methods to prove cut elimination have converged, so that they now appear just as two sides of the same coin. This paper...
105
Voted
BIBM
2008
IEEE
15 years 10 months ago
2008
IEEE
Even after an experimentally prepared gene expression data set has been pre-processed to account for variations in the microarray technology, there may be inconsistencies between ...
131
Voted
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
The paper presents an incremental method for accurate iris segmentation. Firstly, observing the characteristics of iris images, we search for a square region that contains pupil w...
116
Voted
SPIESR
2004
15 years 4 months ago
2004
Evaluation in visual information retrieval is usually performed by executing test queries and calculating recall and precision based on predefined media collections and ground tru...
91
Voted
SIAMSC
2008
15 years 3 months ago
2008
In this note we consider the numerical solution of selfadjoint deblurring problems on bounded intervals. For these problems it has recently been shown that appropriate modelling of...