Sciweavers

293 search results - page 16 / 59
» Regular languages and their generating functions: The invers...
Sort
View
ICIP
1994
IEEE
13 years 11 months ago
Total Variation Based Image Restoration with Free Local Constraints
The two main plagues of image restoration are oscillations and smoothing. Traditional image restoration techniques prevent parasitic oscillations by resorting to smooth regulariza...
Leonid I. Rudin, Stanley Osher
ICCD
2003
IEEE
127views Hardware» more  ICCD 2003»
14 years 4 months ago
Structural Detection of Symmetries in Boolean Functions
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangi...
ICIP
2003
IEEE
14 years 9 months ago
Hierarchical disparity estimation with energy-based regularization
We propose a hierarchical disparity estimation algorithm with energy-based regularization. Initial disparity vectors are obtained from downsampled stereo images using a feature-ba...
Hansung Kim, Kwanghoon Sohn
DLT
2010
13 years 9 months ago
Algorithmic Properties of Millstream Systems
Abstract. Millstream systems have recently been proposed as a formalization of the linguistic idea that natural language should be described as a combination of different modules r...
Suna Bensch, Henrik Björklund, Frank Drewes
STACS
2009
Springer
14 years 2 months ago
The Dynamic Complexity of Formal Languages
The paper investigates the power of the dynamic complexity classes DynFO, DynQF and DynPROP over string languages. The latter two classes contain problems that can be maintained us...
Wouter Gelade, Marcel Marquardt, Thomas Schwentick