3820 search results - page 223 / 764 » Bounded Model Debugging |
102
Voted
STOC
2005
ACM
16 years 3 months ago
2005
ACM
In this paper, we study the problem of learning phylogenies and hidden Markov models. We call the Markov model nonsingular if all transtion matrices have determinants bounded away...
137
click to vote
SYNASC
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper is devoted to a new variational model for color texture modeling and color image decomposition into cartoon and texture. A given image f in the RGB space is decomposed ...
132
click to vote
FUIN
2006
15 years 3 months ago
2006
Abstract. We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of ...
175
Voted
AMC
2011
14 years 7 months ago
2011
For a family of differential equations with infinite delay, we give sufficient conditions for the global asymptotic, and global exponential stability of an equilibrium point. Th...
111
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Inter-symbol interference (ISI) channels with data dependent Gauss Markov noise have been used to model read channels in magnetic recording and other data storage systems. The Vite...