1205 search results - page 7 / 241 » Program Extraction from Large Proof Developments |
VLDB
2001
ACM
14 years 2 months ago
2001
ACM
The paper investigates techniques for extracting data from HTML sites through the use of automatically generated wrappers. To automate the wrapper generation and the data extracti...
PVLDB
2010
13 years 8 months ago
2010
Concepts are sequences of words that represent real or imaginary entities or ideas that users are interested in. As a first step towards building a web of concepts that will form...
LOPSTR
2000
Springer
14 years 1 months ago
2000
Springer
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
DL
2000
Springer
14 years 2 months ago
2000
Springer
Text documents often contain valuable structured data that is hidden in regular English sentences. This data is best exploited if available as a relational table that we could use...
SCAM
2008
IEEE
14 years 4 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...