490 search results - page 15 / 98 » Abstraction Augmented Markov Models |
135
Voted
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
102
click to vote
ECML
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Robustly estimating the state-transition probabilities of highorder Markov processes is an essential task in many applications such as natural language modeling or protei...
136
click to vote
ICC
2009
IEEE
14 years 11 months ago
2009
IEEE
Abstract--Generative models are created to be used in the design and performance assessment of high layer wireless communication protocols and some error control strategies. Genera...
127
Voted
TELETRAFFIC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. To support battery powered mobile broadband wireless access devices efficiently, IEEE 802.16e defines a sleep mode operation for conserving the power of mobile terminals...
140
Voted
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...