Sciweavers

215 search results - page 6 / 43
» The asymptotic number of binary codes and binary matroids
Sort
View
TIT
2002
82views more  TIT 2002»
14 years 9 months ago
Order estimation for a special class of hidden Markov sources and binary renewal processes
We consider the estimation of the order, i.e., the number of hidden states, of a special class of discrete-time finite-alphabet hidden Markov sources. This class can be characteriz...
Sanjeev Khudanpur, Prakash Narayan
MLQ
2010
65views more  MLQ 2010»
14 years 8 months ago
Tautologies over implication with negative literals
We consider logical expressions built on the single binary connector of implication and a finite number of literals (boolean variables and their negations). We prove that asympto...
Hervé Fournier, Danièle Gardy, Antoi...
COMBINATORICS
2006
92views more  COMBINATORICS 2006»
14 years 9 months ago
Meta-Fibonacci Sequences, Binary Trees and Extremal Compact Codes
We consider a family of meta-Fibonacci sequences which arise in studying the number of leaves at the largest level in certain infinite sequences of binary trees, restricted compos...
Brad Jackson, Frank Ruskey
ESEM
2008
ACM
14 years 11 months ago
Iterative identification of fault-prone binaries using in-process metrics
Code churn, the amount of code change taking place within a software unit over time, has been correlated with fault-proneness in software systems. We investigate the use of code c...
Lucas Layman, Gunnar Kudrjavets, Nachiappan Nagapp...
CSL
2010
Springer
14 years 10 months ago
Graded Computation Tree Logic with Binary Coding
Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...
Alessandro Bianco, Fabio Mogavero, Aniello Murano