3342 search results - page 7 / 669 » Automating Abstract Interpretation |
TMI
1998
13 years 9 months ago
1998
Abstract— This paper reports a novel method for fully automated segmentation that is based on description of shape and its variation using point distribution models (PDM’s). An...
MKM
2009
Springer
14 years 4 months ago
2009
Springer
The extraction of the relations of nested table headers to content cells is automated with a view to constructing narrow domain ontologies of semistructured web data. A taxonomy of...
DLOG
1997
13 years 11 months ago
1997
GIS
2000
ACM
13 years 9 months ago
2000
ACM
CORR
2008
Springer
13 years 10 months ago
2008
Springer
al abstract interpretation A formal study using Coq Yves Bertot INRIA Sophia-M