Search Sciweavers | Sciweavers

2586 search results - page 13 / 518

» Automatic Abstraction for Congruences

132

click to vote

IROS
2007
IEEE

101views Robotics» more IROS 2007»

Automatic robot programming from learned abstract task knowledge

16 years 1 months ago

Download wwwiaim.ira.uka.de

Steffen Knoop, Michael Pardowitz, Rüdiger Dil...

claim paper

Read More »

135

click to vote

APN
2007
Springer

73views Artificial Intelligence» more APN 2007»

From Many Places to Few: Automatic Abstraction Refinement for Petri Nets

16 years 1 months ago

Download www.ulb.ac.be

Pierre Ganty, Jean-François Raskin, Laurent...

claim paper

Read More »

132

click to vote

FMCAD
2007
Springer

90views Formal Methods» more FMCAD 2007»

Automatic Abstraction in Symbolic Trajectory Evaluation

16 years 1 months ago

Download www.sara-adams.de

Sara Adams, Magnus Björk, Thomas F. Melham, C...

claim paper

Read More »

176

click to vote

ILP
2005
Springer

169views Automated Reasoning» more ILP 2005»

Automatic Induction of Abduction and Abstraction Theories from Observations

16 years 18 days ago

Download www.di.uniba.it

Stefano Ferilli, Teresa Maria Altomare Basile, Nic...

claim paper

Read More »

158

Voted

CAV
2004
Springer

89views Hardware» more CAV 2004»

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

16 years 15 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers