Sciweavers

2957 search results - page 180 / 592
» Processing Self Corrections
Sort
View
VLDB
2002
ACM
156views Database» more  VLDB 2002»
13 years 9 months ago
A Logical Framework for Scheduling Workflows under Resource Allocation Constraints
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
Pinar Senkul, Michael Kifer, Ismail Hakki Toroslu
LICS
2008
IEEE
14 years 3 months ago
Mechanizing the Metatheory of LF
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
Christian Urban, James Cheney, Stefan Berghofer
ICDAR
2007
IEEE
14 years 3 months ago
Robust Document Warping with Interpolated Vector Fields
This paper describes a new versatile algorithm for correcting nonlinear distortions, such as curvature of book pages, in camera based document processing. We introduce the idea of...
D. Schneider, Marco Block, Raúl Rojas
GLOBECOM
2006
IEEE
14 years 3 months ago
On the Parallelism of Convolutional Turbo Decoding and Interleaving Interference
— In forward error correction, convolutional turbo codes were introduced to increase error correction capability approaching the Shannon bound. Decoding of these codes, however, ...
Olivier Muller, Amer Baghdadi, Michel Jéz&e...
ISCAS
2005
IEEE
184views Hardware» more  ISCAS 2005»
14 years 2 months ago
An adaptive, truly background calibration method for high speed pipeline ADC design
: This paper presents a self-calibration method for designing high speed pipeline ADCs. Unlike all existing calibration algorithms, the proposed calibration does not insert any tes...
Degang Chen, Zhongjun Yu, Randall L. Geiger