Sciweavers

3342 search results - page 44 / 669

» Automating Abstract Interpretation

100

Voted

LICS
2006
IEEE

126views Automated Reasoning» more LICS 2006»

3-Valued Abstraction: More Precision at Less Cost

15 years 8 months ago

3-Valued Abstraction: More Precision at Less Cost

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

107

TIME
2005
IEEE

102views Automated Reasoning» more TIME 2005»

Temporal Logic with Predicate lambda-Abstraction

15 years 8 months ago

Temporal Logic with Predicate lambda-Abstraction

Download www.csc.liv.ac.uk

Alexei Lisitsa, Igor Potapov

claim paper

Read More »

73

Voted

ICCBR
2005
Springer

80views Automated Reasoning» more ICCBR 2005»

Abstracting Reusable Cases from Reinforcement Learning

15 years 8 months ago

Abstracting Reusable Cases from Reinforcement Learning

Download www.cc.gatech.edu

Andreas von Hessling, Ashok K. Goel

claim paper

Read More »

93

Voted

LOPSTR
2005
Springer

131views Automated Reasoning» more LOPSTR 2005»

Converting One Type-Based Abstract Domain to Another

15 years 8 months ago

Converting One Type-Based Abstract Domain to Another

Download clip.dia.fi.upm.es

John P. Gallagher, Germán Puebla, Elvira Al...

claim paper

Read More »

73

Voted

CSL
2004
Springer

95views Automated Reasoning» more CSL 2004»

Proving Abstract Non-interference

15 years 8 months ago

Proving Abstract Non-interference

Download profs.sci.univr.it

Roberto Giacobazzi, Isabella Mastroeni

claim paper

Read More »

« Prev « First page 44 / 669 Last » Next »