Sciweavers

4616 search results - page 487 / 924
» Extreme Components Analysis
Sort
View
ICSE
2007
IEEE-ACM
16 years 7 months ago
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
Patrice Chalin
ICCD
2000
IEEE
75views Hardware» more  ICCD 2000»
16 years 3 months ago
Hybridizing and Coalescing Load Value Predictors
Most well-performing load value predictors are hybrids that combine multiple predictors into one. Such hybrids are often large. To reduce their size and to improve their performan...
Martin Burtscher, Benjamin G. Zorn
ICDAR
2009
IEEE
16 years 1 months ago
Classifying Foreground Pixels in Document Images
We present a system that classifies pixels in a document image according to marking type such as machine print, handwriting, and noise. A segmenter module first splits an input ...
Prateek Sarkar, Eric Saund, Jing Lin
ICDAR
2009
IEEE
16 years 1 months ago
Robust Recognition of Documents by Fusing Results of Word Clusters
The word error rate of any optical character recognition system (OCR) is usually substantially below its component or character error rate. This is especially true of Indic langua...
Venkat Rasagna, Anand Kumar 0002, C. V. Jawahar, R...
IDA
2009
Springer
16 years 1 months ago
Learning Natural Image Structure with a Horizontal Product Model
We present a novel extension to Independent Component Analysis (ICA), where the data is generated as the product of two submodels, each of which follow an ICA model, and which comb...
Urs Köster, Jussi T. Lindgren, Michael Gutman...