Sciweavers

3856 search results - page 26 / 772

» Models for Automated Earthmoving

64

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

14 years 10 months ago

Logic-Statistic Models with Constraints for Biological Sequence Analysis

Download akira.ruc.dk

Christian Theil Have

claim paper

Read More »

35

CADE
2006
Springer

192views Logical Reasoning» more CADE 2006»

Formal Global Optimisation with Taylor Models

14 years 10 months ago

Formal Global Optimisation with Taylor Models

Download www.nianet.org

Roland Zumkeller

claim paper

Read More »

19

ECSQARU
2009
Springer

103views Automated Reasoning» more ECSQARU 2009»

Marginals of DAG-Isomorphic Independence Models

14 years 4 months ago

Marginals of DAG-Isomorphic Independence Models

Download www.cs.uu.nl

Peter R. de Waal

claim paper

Read More »

21

LPNMR
2009
Springer

94views Automated Reasoning» more LPNMR 2009»

Logic-Based Modeling in Systems Biology

14 years 4 months ago

Logic-Based Modeling in Systems Biology

Download www.cs.uni-potsdam.de

Alexander Bockmayr

claim paper

Read More »

25

LICS
2007
IEEE

97views Automated Reasoning» more LICS 2007»

Reflections on Finite Model Theory

14 years 4 months ago

Reflections on Finite Model Theory

Download users.soe.ucsc.edu

Phokion G. Kolaitis

claim paper

Read More »

« Prev « First page 26 / 772 Last » Next »