75 search results - page 1 / 15 » Ideal convergence of bounded sequences |
JSYML
2007
13 years 10 months ago
2007
We generalize the Bolzano-Weierstrass theorem (that every bounded sequence of reals admits a convergentsubsequence) on ideal convergence. Weshow examplesofidealswith and without th...
HYBRID
2010
Springer
14 years 5 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
ECML
2001
Springer
14 years 3 months ago
2001
Springer
Solomonoff’s uncomputable universal prediction scheme ξ allows to predict the next
ICML
2001
IEEE
14 years 11 months ago
2001
IEEE
The Bayesian framework is ideally suited for induction problems. The probability of observing xt at
CORR
2006
Springer
13 years 11 months ago
2006
Springer
The Minimum Description Length principle for online sequence estimation/prediction in a proper learning setup is studied. If the underlying model class is discrete, then the total...