Sciweavers

3342 search results - page 44 / 669

» Automating Abstract Interpretation

157

LICS
2006
IEEE

126views Automated Reasoning» more LICS 2006»

3-Valued Abstraction: More Precision at Less Cost

16 years 1 months ago

3-Valued Abstraction: More Precision at Less Cost

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

158

TIME
2005
IEEE

102views Automated Reasoning» more TIME 2005»

Temporal Logic with Predicate lambda-Abstraction

16 years 1 months ago

Temporal Logic with Predicate lambda-Abstraction

Download www.csc.liv.ac.uk

Alexei Lisitsa, Igor Potapov

claim paper

Read More »

125

Voted

ICCBR
2005
Springer

80views Automated Reasoning» more ICCBR 2005»

Abstracting Reusable Cases from Reinforcement Learning

16 years 29 days ago

Abstracting Reusable Cases from Reinforcement Learning

Download www.cc.gatech.edu

Andreas von Hessling, Ashok K. Goel

claim paper

Read More »

146

LOPSTR
2005
Springer

131views Automated Reasoning» more LOPSTR 2005»

Converting One Type-Based Abstract Domain to Another

16 years 29 days 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 »

130

CSL
2004
Springer

95views Automated Reasoning» more CSL 2004»

Proving Abstract Non-interference

16 years 26 days 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 »