Sciweavers

234 search results - page 10 / 47
» On Quasi-Products of Tree Automata
Sort
View
DKE
2006
139views more  DKE 2006»
15 years 6 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 11 months ago
Minimizing Tree Automata for Unranked Trees
Wim Martens, Joachim Niehren
CSL
2007
Springer
15 years 10 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