Sciweavers

3965 search results - page 31 / 793
» Effectivity of Regular Spaces
Sort
View
CORR
2010
Springer
119views Education» more  CORR 2010»
15 years 1 months ago
Effective complexity of stationary process realizations
The concept of effective complexity of an object as the minimal description length of its regularities has been initiated by Gell-Mann and Lloyd. The regularities are modeled by m...
Nihat Ay, Markus Müller, Arleta Szkola
ADBIS
2000
Springer
106views Database» more  ADBIS 2000»
15 years 9 months ago
Using XML and Regular Expressions in the Syntactic Analysis of Inflectional Language
In this paper we describe an approach to representation of data and knowledge using two technologies: XML and regular expressions in a domain of natural language syntactic analysis...
Marek Trabalka, Mária Bieliková
CASC
2009
Springer
180views Mathematics» more  CASC 2009»
15 years 7 months ago
Effective Quantifier Elimination for Presburger Arithmetic with Infinity
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
Aless Lasaruk, Thomas Sturm
POPL
2008
ACM
16 years 6 months ago
Boomerang: resourceful lenses for string data
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
Aaron Bohannon, J. Nathan Foster, Benjamin C. Pier...
ICIP
2003
IEEE
16 years 7 months ago
Local regularity-based image denoising
We present an approach for image denoising based on the analysis of the local H?older regularity. The method takes the point of view that denoising may be performed by increasing ...
Jacques Lévy Véhel, Pierrick Legrand