Sciweavers

3491 search results - page 26 / 699
» Cascaded Markov Models
Sort
View
CORR
2008
Springer
91views Education» more  CORR 2008»
14 years 9 months ago
Significant Diagnostic Counterexamples in Probabilistic Model Checking
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
Miguel E. Andrés, Pedro R. D'Argenio, Peter...
AAAI
2006
14 years 11 months ago
Unifying Logical and Statistical AI
Intelligent agents must be able to handle the complexity and uncertainty of the real world. Logical AI has focused mainly on the former, and statistical AI on the latter. Markov l...
Pedro Domingos, Stanley Kok, Hoifung Poon, Matthew...
JMLR
2006
103views more  JMLR 2006»
14 years 9 months ago
A Graphical Representation of Equivalence Classes of AMP Chain Graphs
This paper deals with chain graph models under alternative AMP interpretation. A new representative of an AMP Markov equivalence class, called the largest deflagged graph, is prop...
Alberto Roverato, Milan Studený
BIB
2008
93views more  BIB 2008»
14 years 9 months ago
A structured approach for the engineering of biochemical network models, illustrated for signalling pathways
Quantitative models of biochemical networks (signal transduction cascades, metabolic pathways, gene regulatory circuits) are a central component of modern systems biology. Buildin...
Rainer Breitling, David Gilbert, Monika Heiner, Ri...
ICC
2007
IEEE
171views Communications» more  ICC 2007»
15 years 4 months ago
The Free-Space Optics System Using QCL: Models and Solutions
– Two of the important issues in the free-space optics (FSO) communication systems are the building sway and atmospheric interference. In this paper, the optimization models for ...
Xian Liu