490 search results - page 73 / 98 » Abstraction Augmented Markov Models |
104
Voted
IFM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
SSPR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Statistical analysis of spatially uniform signal contexts allows Discrete Universal Denoiser (DUDE) to effectively correct signal errors caused by a discrete symmetric me...
AUSAI
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. As the information technology grows interests in the intrusion detection system (IDS), which detects unauthorized usage, misuse by a local user and modification of impor...
ECML
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Combining statistical and relational learning receives currently a lot of attention. The majority of statistical relational learning approaches focus on density estimatio...
SBMF
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...