Sciweavers

16 search results - page 3 / 4
» A Generalization of Cobham's Theorem to Automata over Real N...
Sort
View
MST
2006
81views more  MST 2006»
13 years 5 months ago
Local Limit Properties for Pattern Statistics and Rational Models
Motivated by problems of pattern statistics, we study the limit distribution of the random variable counting the number of occurrences of the symbol a in a word of length n chosen...
Alberto Bertoni, Christian Choffrut, Massimiliano ...
EUSFLAT
2009
144views Fuzzy Logic» more  EUSFLAT 2009»
13 years 3 months ago
Number-free Mathematics Based on T-norm Fuzzy Logic
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...
Libor Behounek
MLG
2007
Springer
13 years 12 months ago
A Universal Kernel for Learning Regular Languages
We give a universal kernel that renders all the regular languages linearly separable. We are not able to compute this kernel efficiently and conjecture that it is intractable, but...
Leonid Kontorovich
SIAMCOMP
2010
100views more  SIAMCOMP 2010»
13 years 4 months ago
Algorithmic Enumeration of Ideal Classes for Quaternion Orders
We provide algorithms to count and enumerate representatives of the (right) ideal classes of an Eichler order in a quaternion algebra defined over a number field. We analyze the ...
Markus Kirschmer, John Voight
CORR
2010
Springer
179views Education» more  CORR 2010»
13 years 3 months ago
The DMM bound: multivariate (aggregate) separation bounds
In this paper we derive aggregate separation bounds, named after Davenport-MahlerMignotte (DMM), on the isolated roots of polynomial systems, specifically on the minimum distance ...
Ioannis Z. Emiris, Bernard Mourrain, Elias P. Tsig...