Search Sciweavers | Sciweavers

2586 search results - page 13 / 518

» Automatic Abstraction for Congruences

118

click to vote

IROS
2007
IEEE

101views Robotics» more IROS 2007»

Automatic robot programming from learned abstract task knowledge

16 years 11 days ago

Download wwwiaim.ira.uka.de

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

claim paper

Read More »

119

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 7 days ago

Download www.ulb.ac.be

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

claim paper

Read More »

119

click to vote

FMCAD
2007
Springer

90views Formal Methods» more FMCAD 2007»

Automatic Abstraction in Symbolic Trajectory Evaluation

16 years 7 days ago

Download www.sara-adams.de

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

claim paper

Read More »

154

click to vote

ILP
2005
Springer

169views Automated Reasoning» more ILP 2005»

Automatic Induction of Abduction and Abstraction Theories from Observations

15 years 11 months ago

Download www.di.uniba.it

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

claim paper

Read More »

136

click to vote

CAV
2004
Springer

89views Hardware» more CAV 2004»

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers