3179 search results - page 437 / 636 » Applications of PCF Theory |
HYBRID
2010
Springer
14 years 3 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
BIBM
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—Compressive Sensing Microarrays (CSM) are DNAbased sensors that operate using group testing and compressive sensing (CS) principles. In contrast to conventional DNA micr...
COMSWARE
2008
IEEE
14 years 3 months ago
2008
IEEE
—With a widespread increase in the number of mobile wireless systems and applications, the need for location aware services has risen at a very high pace in the last few years. M...
HPDC
2008
IEEE
14 years 3 months ago
2008
IEEE
A lease is a token which grants its owner exclusive access to a resource for a defined span of time. In order to be able to tolerate failures, leases need to be coordinated by di...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we propose a novel multi-dimensional distributed hidden Markov model (DHMM) framework. We first extend the theory of 2D hidden Markov models (HMMs) to arbitrary ca...