2225 search results - page 120 / 445 » Logical Structures in the Lexicon |
235
click to vote
AAAI
2008
15 years 7 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
214
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Web forums have become an important data resource for many web applications, but extracting structured data from unstructured web forum pages is still a challenging task due to bo...
162
click to vote
ICDAR
2005
IEEE
16 years 1 days ago
2005
IEEE
This article presents Xed, a reverse engineering tool for PDF documents, which extracts the original document layout structure. Xed mixes electronic extraction methods with state-...
147
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
156
click to vote
RIDE
2002
IEEE
15 years 11 months ago
2002
IEEE
Structured documents, especially the XML documents, are made up of a few logical components, such as title, sections, subsections and paragraphs. The components in each structured...