Sciweavers

234 search results - page 10 / 47
» On Quasi-Products of Tree Automata
Sort
View
DKE
2006
139views more  DKE 2006»
15 years 1 months ago
Information extraction from structured documents using k-testable tree automaton inference
Information extraction (IE) addresses the problem of extracting specific information from a collection of documents. Much of the previous work on IE from structured documents, suc...
Raymond Kosala, Hendrik Blockeel, Maurice Bruynoog...
DBPL
2005
Springer
93views Database» more  DBPL 2005»
15 years 6 months ago
Minimizing Tree Automata for Unranked Trees
Wim Martens, Joachim Niehren
CSL
2007
Springer
15 years 5 months ago
MSO on the Infinite Binary Tree: Choice and Order
We give a new proof showing that it is not possible to define in monadic second-order logic (MSO) a choice function on the infinite binary tree. This result was first obtained by G...
Arnaud Carayol, Christof Löding