718 search results - page 30 / 144 » Extraction of Structured Programs from Specification Proofs |
132
Voted
CCS
2007
ACM
15 years 6 months ago
2007
ACM
We describe the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, we give formal definitions in Coq of a fir...
143
click to vote
PVLDB
2010
14 years 9 months ago
2010
Rule-based information extraction from text is increasingly being used to populate databases and to support structured queries on unstructured text. Specification of suitable info...
225
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Most information extraction (IE) approaches have considered only static text corpora, over which we apply IE only once. Many real-world text corpora however are dynamic. They evol...
118
click to vote
ICEIS
2009
IEEE
15 years 9 months ago
2009
IEEE
We propose two methods for constructing automated programs for extraction of information from a class of web pages that are very common and of high practical significance - varia...
117
click to vote
AAAI
2010
15 years 3 months ago
2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...