Sciweavers

644 search results - page 55 / 129
» Precedence Automata and Languages
Sort
View
IJCNLP
2005
Springer
15 years 10 months ago
A Machine Learning Approach to Sentence Ordering for Multidocument Summarization and Its Evaluation
Ordering information is a difficult but a important task for natural language generation applications. A wrong order of information not only makes it difficult to understand, but a...
Danushka Bollegala, Naoaki Okazaki, Mitsuru Ishizu...
PODS
2008
ACM
143views Database» more  PODS 2008»
16 years 4 months ago
XPath, transitive closure logic, and nested tree walking automata
We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operat...
Balder ten Cate, Luc Segoufin
WWW
2008
ACM
16 years 5 months ago
Xml data dissemination using automata on top of structured overlay networks
We present a novel approach for filtering XML documents using nondeterministic finite automata and distributed hash tables. Our approach differs architecturally from recent propos...
Iris Miliaraki, Zoi Kaoudi, Manolis Koubarakis
TCS
2008
15 years 4 months ago
Verification of qualitative Z constraints
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
Stéphane Demri, Régis Gascon
SIGCSE
2004
ACM
100views Education» more  SIGCSE 2004»
15 years 10 months ago
A visual and interactive automata theory course with JFLAP 4.0
We describe the instructional software JFLAP 4.0 and how it can be used to provide a hands-on formal languages and automata theory course. JFLAP 4.0 doubles the number of chapters...
Ryan Cavalcante, Thomas Finley, Susan H. Rodger