Sciweavers

2626 search results - page 235 / 526
» The complexity of stochastic sequences
Sort
View
JANCL
2006
74views more  JANCL 2006»
15 years 6 months ago
Linear-time temporal logics with Presburger constraints: an overview
We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are welldesi...
Stéphane Demri
PR
2002
133views more  PR 2002»
15 years 6 months ago
Automatic face recognition for video indexing applications
This paper presents an e cient automatic face recognition scheme useful for video indexing applications. In particular7 the following problem is addressed: given a set of known fa...
Luis Torres, Josep Vilà
CORR
2011
Springer
151views Education» more  CORR 2011»
15 years 1 months ago
Multiply-Recursive Upper Bounds with Higman's Lemma
We develop a new analysis for the length of controlled bad sequences in well-quasi-orderings based on Higman’s Lemma. This leads to tight multiply-recursive upper bounds that re...
Sylvain Schmitz, Philippe Schnoebelen
CCA
2009
Springer
16 years 1 months ago
Separations of Non-monotonic Randomness Notions
In the theory of algorithmic randomness, several notions of random sequence are defined via a game-theoretic approach, and the notions that received most attention are perhaps Mar...
Laurent Bienvenu, Rupert Hölzl, Thorsten Kr&a...
BMCBI
2010
156views more  BMCBI 2010»
15 years 6 months ago
Evaluation of statistical methods for normalization and differential expression in mRNA-Seq experiments
Background: High-throughput sequencing technologies, such as the Illumina Genome Analyzer, are powerful new tools for investigating a wide range of biological and medical question...
James H. Bullard, Elizabeth Purdom, Kasper D. Hans...