Sciweavers

3856 search results - page 28 / 772

» Models for Automated Earthmoving

21

TPHOL
2005
IEEE

79views Automated Reasoning» more TPHOL 2005»

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

14 years 3 months ago

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

Download www.cs.york.ac.uk

Néstor Cataño

claim paper

Read More »

23

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

14 years 3 months ago

Bounded Model Checking of Pointer Programs

Download www.ii.uni.wroc.pl

Witold Charatonik, Lilia Georgieva, Patrick Maier

claim paper

Read More »

18

LICS
2003
IEEE

75views Automated Reasoning» more LICS 2003»

Model Checking Guarded Protocols

14 years 3 months ago

Model Checking Guarded Protocols

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

30

ECSQARU
2003
Springer

92views Automated Reasoning» more ECSQARU 2003»

A Random set Model for Fuzzy Labels

14 years 3 months ago

A Random set Model for Fuzzy Labels

Download www.enm.bris.ac.uk

Jonathan Lawry, Jordi Recasens

claim paper

Read More »

24

ICLP
2003
Springer

101views Automated Reasoning» more ICLP 2003»

The Language Model LMNtal

14 years 3 months ago

The Language Model LMNtal

Download www.ueda.info.waseda.ac.jp

Kazunori Ueda, Norio Kato

claim paper

Read More »

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