Sciweavers

640 search results - page 65 / 128
» Discovering State Invariants
Sort
View
TIT
2011
160views more  TIT 2011»
15 years 29 days ago
Dispersion of the Gilbert-Elliott Channel
—Channel dispersion plays a fundamental role in assessing the backoff from capacity due to finite blocklength. This paper analyzes the channel dispersion for a simple channel wi...
Yury Polyanskiy, Harold Vincent Poor, Sergio Verd&...
ICASSP
2011
IEEE
14 years 9 months ago
Modified embedding for multi-regime detection in nonstationary streaming data
Many practical data streams are typically composed of several states known as regimes. In this paper, we invoke phase space reconstruction methods from non-linear time series and ...
Evan Kriminger, José Carlos Príncipe...
CORR
2012
Springer
183views Education» more  CORR 2012»
14 years 1 months ago
Twisting q-holonomic sequences by complex roots of unity
A sequence fn(q) is q-holonomic if it satisfies a nontrivial linear recurrence with coefficients polynomials in q and qn . Our main theorem states that q-holonomicity is preserve...
Stavros Garoufalidis, Christoph Koutschan
160
Voted
ICFEM
2005
Springer
15 years 11 months ago
An Evidential Tool Bus
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
John M. Rushby
ECCV
2010
Springer
15 years 11 months ago
The Quadratic-Chi Histogram Distance Family
We present a new histogram distance family, the Quadratic-Chi (QC). QC members are Quadratic-Form distances with a cross-bin χ2 -like normalization. The cross-bin χ2 -like normal...