296 search results - page 30 / 60 » Resolution Enhancement by AdaBoost |
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
Images magnified by standard methods display a degradation of detail that is particularly noticeable in the blurry edges of text. Current super-resolution algorithms address the l...
MEMOCODE
2008
IEEE
14 years 3 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
SIGMOD
2007
ACM
14 years 8 months ago
2007
ACM
We show that aggregate constraints (as opposed to pairwise constraints) that often arise when integrating multiple sources of data, can be leveraged to enhance the quality of dedu...
SIGCSE
1997
ACM
14 years 27 days ago
1997
ACM
We present a collection of new and enhanced tools for experimenting with concepts in formal languages and automata theory. New tools, written in Java, include JFLAP for creating a...
ICDM
2007
IEEE
14 years 17 days ago
2007
IEEE
As technology advances we encounter more available data on moving objects, which can be mined to our benefit. In order to efficiently mine this large amount of data we propose an ...