3918 search results - page 103 / 784 » Probabilistic model of triangulation |
TACAS
2007
Springer
15 years 5 months ago
2007
Springer
This paper considers algorithms and complexity results for the generation of counterexamples in model checking of probabilistic until-formulae in discrete-time Markov chains (DTMCs...
CONEXT
2008
ACM
15 years 6 days ago
2008
ACM
One of the fundamental problems in the wireless sensor networks is the coverage problem. The coverage problem fundamentally address the quality of service (surveillance or monitor...
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
IJDMB
2007
14 years 11 months ago
2007
: Probabilistic Boolean Network (PBN) is widely used to model genetic regulatory networks. Evolution of the PBN is according to the transition probability matrix. Steady-state (lon...
48
Voted
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
This paper presents a method for detection of sinusoidal signals corrupted by an additive noise in the short-time Fourier domain. The proposed method is based on probabilistic mod...