Sciweavers

3818 search results - page 393 / 764
» Word Problems on Compressed Words
Sort
View
PRL
2007
167views more  PRL 2007»
15 years 6 months ago
Calibration and removal of lateral chromatic aberration in images
This paper addresses the problem of compensating for lateral chromatic aberration in digital images through colour plane realignment. Two main contributions are made: the derivati...
John Mallon, Paul F. Whelan
SIMPRA
2008
137views more  SIMPRA 2008»
15 years 6 months ago
An admissible-behaviour-based analysis of the deadlock in Petri-net controllers
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
G. Music, Drago Matko
IDEAL
2010
Springer
15 years 5 months ago
Dimension Reduction for Regression with Bottleneck Neural Networks
Dimension reduction for regression (DRR) deals with the problem of finding for high-dimensional data such low-dimensional representations, which preserve the ability to predict a ...
Elina Parviainen
SIAMSC
2008
142views more  SIAMSC 2008»
15 years 5 months ago
Algebraic Multigrid Solvers for Complex-Valued Matrices
In the mathematical modeling of real-life applications, systems of equations with complex coefficients often arise. While many techniques of numerical linear algebra, e.g., Krylovs...
Scott MacLachlan, Cornelis W. Oosterlee
JAPLL
2010
133views more  JAPLL 2010»
15 years 5 months ago
Complexity of modal logics with Presburger constraints
We introduce the extended modal logic EML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as nu...
Stéphane Demri, Denis Lugiez