284 search results - page 16 / 57 » An Efficient Automatic Redeye Detection and Correction Algor... |
JFP
2000
13 years 7 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
SARA
2000
Springer
13 years 11 months ago
2000
Springer
We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning str...
ICIP
2007
IEEE
14 years 9 months ago
2007
IEEE
Automatically discovering common visual patterns in images is very challenging due to the uncertainties in the visual appearances of such spatial patterns and the enormous computa...
ICIP
2007
IEEE
14 years 9 months ago
2007
IEEE
A considerable amount of work in larger film and video restoration projects is dedicated to manually exploring the audiovisual content in order to estimate the costs for restorati...
BMCBI
2011
13 years 2 months ago
2011
Background: Relative isotope abundance quantification, which can be used for peptide identification and differential peptide quantification, plays an important role in liquid chro...