Sciweavers

936 search results - page 137 / 188
» FSM-Hume is finite state
Sort
View
TIT
2002
82views more  TIT 2002»
13 years 10 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
PAMI
2007
214views more  PAMI 2007»
13 years 9 months ago
Tracking Deforming Objects Using Particle Filtering for Geometric Active Contours
—Tracking deforming objects involves estimating the global motion of the object and its local deformations as a function of time. Tracking algorithms using Kalman filters or part...
Yogesh Rathi, Namrata Vaswani, Allen Tannenbaum, A...
TCS
2008
13 years 8 months ago
Extension of Brzozowski's derivation calculus of rational expressions to series over the free partially commutative monoids
We introduce an extension of the derivatives of rational expressions to expressions denoting formal power series over partially commuting variables. The expressions are purely non...
Jean Berstel, Christophe Reutenauer
FORTE
2009
13 years 8 months ago
Approximated Context-Sensitive Analysis for Parameterized Verification
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
CORR
2010
Springer
103views Education» more  CORR 2010»
13 years 7 months ago
On the Queueing Behavior of Random Codes over a Gilbert-Elliot Erasure Channel
This paper considers the queueing performance of a system that transmits coded data over a time-varying erasure channel. In our model, the queue length and channel state together f...
Parimal Parag, Jean-François Chamberland, H...