Sciweavers

3914 search results - page 30 / 783

» Automating SLA modeling

79

ECSQARU
2009
Springer

103views Automated Reasoning» more ECSQARU 2009»

Marginals of DAG-Isomorphic Independence Models

15 years 9 months ago

Marginals of DAG-Isomorphic Independence Models

Download www.cs.uu.nl

Peter R. de Waal

claim paper

Read More »

79

Voted

LPNMR
2009
Springer

94views Automated Reasoning» more LPNMR 2009»

Logic-Based Modeling in Systems Biology

15 years 9 months ago

Logic-Based Modeling in Systems Biology

Download www.cs.uni-potsdam.de

Alexander Bockmayr

claim paper

Read More »

90

LICS
2007
IEEE

97views Automated Reasoning» more LICS 2007»

Reflections on Finite Model Theory

15 years 8 months ago

Reflections on Finite Model Theory

Download users.soe.ucsc.edu

Phokion G. Kolaitis

claim paper

Read More »

96

TIME
2007
IEEE

93views Automated Reasoning» more TIME 2007»

Model Checking Branching Time Logics

15 years 8 months ago

Model Checking Branching Time Logics

Download www.lsv.ens-cachan.fr

Ph. Schnoebelen

claim paper

Read More »

112

ECSQARU
2007
Springer

182views Automated Reasoning» more ECSQARU 2007»

Causal Graphical Models with Latent Variables: Learning and Inference

15 years 8 months ago

Causal Graphical Models with Latent Variables: Learning and Inference

Download placid.insa-rouen.fr

Stijn Meganck, Philippe Leray, Bernard Manderick

claim paper

Read More »

« Prev « First page 30 / 783 Last » Next »