565 search results - page 64 / 113 » Geometry of Upper Probabilities |
TACAS
2007
Springer
14 years 4 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
ICDE
2007
IEEE
14 years 11 months ago
2007
IEEE
For location-based services it is often essential to efficiently process proximity relations among mobile objects, such as to establish whether a group of friends or family member...
ISW
2009
Springer
14 years 4 months ago
2009
Springer
A nonce is a cryptographic input value which must never repeat within a given context. Nonces are important for the security of many cryptographic building blocks, such as stream c...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
—We study the problem of dynamic spectrum sensing and access in cognitive radio systems as a partially observed Markov decision process (POMDP). A group of cognitive users cooper...
GLOBECOM
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—This paper proposes a simple non-coherent amplifyand-forward receiver for the relay channel and evaluates its diversity performance for Rayleigh fading channels. We use ...