Sciweavers

9572 search results - page 382 / 1915
» Cover Algorithms and Their Combination
Sort
View
CAV
2012
Springer
198views Hardware» more  CAV 2012»
13 years 9 months ago
Termination Analysis with Algorithmic Learning
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi
FLAIRS
2008
15 years 9 months ago
Genetic Approach for Optimizing Ensembles of Classifiers
An ensemble of classifiers is a set of classifiers whose predictions are combined in some way to classify new instances. Early research has shown that, in general, an ensemble of ...
Francisco Javier Ordóñez, Agapito Le...
ICIP
1999
IEEE
16 years 8 months ago
An Algorithm for Low Memory Wavelet Image Compression
As wavelet-based image coding is set to become more widely used (e.g. with the completion of the JPEG2000 standard), memory efficiency for wavelet-based coding is becoming an incr...
Christos Chrysafis, Antonio Ortega
CHI
2008
ACM
16 years 7 months ago
Augmented information assimilation: social and algorithmic web aids for the information long tail
To understand how and why individuals make use of emerging information assimilation services on the Web as part of their daily routine, we combined video recordings of online acti...
Brynn Evans, Stuart Card
ICDAR
2009
IEEE
16 years 1 months ago
Text Detection and Localization in Complex Scene Images using Constrained AdaBoost Algorithm
We have proposed a complete system for text detection and localization in gray scale scene images. A boosting framework integrating feature and weak classifier selection based on...
Shehzad Muhammad Hanif, Lionel Prevost