Search Sciweavers | Sciweavers

1870 search results - page 5 / 374

» Abstract And-Parallel Machines

117

click to vote

POPL
1990
ACM

177views Programming Languages» more POPL 1990»

The Chemical Abstract Machine

15 years 5 months ago

Download fsl.cs.uiuc.edu

ical Abstract Machine Introduced in and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1):217

Gérard Berry, Gérard Boudol

claim paper

Read More »

Voted

ECML
1998
Springer

85views Machine Learning» more ECML 1998»

Theoretical Results on Reinforcement Learning with Temporally Abstract Options

15 years 5 months ago

Download webdocs.cs.ualberta.ca

Doina Precup, Richard S. Sutton, Satinder P. Singh

claim paper

Read More »

111

Voted

ITP
2010

172views Mathematics» more ITP 2010»

Automated Machine-Checked Hybrid System Safety Proofs

14 years 11 months ago

Download www.xs4all.nl

mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...

Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...

claim paper

Read More »

117

Voted

TC
1998

158views Information Technology» more TC 1998»

Abstraction Techniques for Validation Coverage Analysis and Test Generation

15 years 23 days ago

Download cadal.cse.nsysu.edu.tw

ion Techniques for Validation Coverage Analysis and Test Generation Dinos Moundanos, Jacob A. Abraham, Fellow, IEEE, and Yatin V. Hoskote —The enormous state spaces which must be...

Dinos Moundanos, Jacob A. Abraham, Yatin Vasant Ho...

claim paper

Read More »

click to vote

ENTCS
2006

110views more ENTCS 2006»

The Linear Logical Abstract Machine

15 years 1 months ago

Download www.lifia.info.unlp.edu.ar

ar Logical Abstract Machine Eduardo Bonelli 1 LIFIA, Fac. de Inform

Eduardo Bonelli

claim paper