Search Sciweavers | Sciweavers

3342 search results - page 49 / 669

» Automating Abstract Interpretation

click to vote

IJCAI
2003

101views Artificial Intelligence» more IJCAI 2003»

Automated Qualitative Domain Abstraction

15 years 4 months ago

Download people.csail.mit.edu

Martin Sachenbacher, Peter Struss

claim paper

Read More »

Voted

NIPS
2000

104views Information Technology» more NIPS 2000»

Automated State Abstraction for Options using the U-Tree Algorithm

15 years 4 months ago

Download www.dtic.upf.edu

Anders Jonsson, Andrew G. Barto

claim paper

Read More »

120

Voted

CONSTRAINTS
2008

70views more CONSTRAINTS 2008»

Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling

15 years 2 months ago

Download www.crt.umontreal.ca

Alan M. Frisch, Ian Miguel

claim paper

Read More »

Voted

SMR
2008

81views more SMR 2008»

An automated approach for abstracting execution logs to execution events

15 years 2 months ago

Download sail.cs.queensu.ca

Zhen Ming Jiang, Ahmed E. Hassan, Gilbert Hamann, ...

claim paper

Read More »

121

Voted

ICECCS
2010
IEEE

135views Hardware» more ICECCS 2010»

Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction

15 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers