Sciweavers

7213 search results - page 43 / 1443

» Automated model grouping

90

Voted

ECSQARU
2009
Springer

103views Automated Reasoning» more ECSQARU 2009»

Marginals of DAG-Isomorphic Independence Models

15 years 10 months ago

Marginals of DAG-Isomorphic Independence Models

Download www.cs.uu.nl

Peter R. de Waal

claim paper

Read More »

87

LPNMR
2009
Springer

94views Automated Reasoning» more LPNMR 2009»

Logic-Based Modeling in Systems Biology

15 years 10 months ago

Logic-Based Modeling in Systems Biology

Download www.cs.uni-potsdam.de

Alexander Bockmayr

claim paper

Read More »

100

Voted

LICS
2007
IEEE

97views Automated Reasoning» more LICS 2007»

Reflections on Finite Model Theory

15 years 10 months ago

Reflections on Finite Model Theory

Download users.soe.ucsc.edu

Phokion G. Kolaitis

claim paper

Read More »

107

Voted

TIME
2007
IEEE

93views Automated Reasoning» more TIME 2007»

Model Checking Branching Time Logics

15 years 10 months ago

Model Checking Branching Time Logics

Download www.lsv.ens-cachan.fr

Ph. Schnoebelen

claim paper

Read More »

126

Voted

ECSQARU
2007
Springer

182views Automated Reasoning» more ECSQARU 2007»

Causal Graphical Models with Latent Variables: Learning and Inference

15 years 10 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 43 / 1443 Last » Next »