2005 search results - page 204 / 401 » Decisive Markov Chains |
115
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
108
click to vote
ENTCS
2006
15 years 1 months ago
2006
Community decisions about access control in virtual communities are non-monotonic in nature. This means that they cannot be expressed in current, monotonic trust management langua...
113
click to vote
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
—We aim to characterize the maximum link throughput of a multi-channel opportunistic communication system. The states of these channels evolve as independent and identically dist...
120
click to vote
ICC
2008
IEEE
15 years 8 months ago
2008
IEEE
—We consider opportunistic communications over multiple channels where the state (“good” or “bad”) of each channel evolves as independent and identically distributed Mark...
115
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
We consider opportunistic spectrum access for secondary users over multiple channels whose occupancy by primary users is modeled as discrete-time Markov processes. Due to hardware...