Sciweavers

1242 search results - page 21 / 249
» The Theory of Grammar Constraints
Sort
View
ADBIS
2004
Springer
193views Database» more  ADBIS 2004»
15 years 5 months ago
Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
Peter Z. Revesz
MOZ
2004
Springer
15 years 7 months ago
The XDG Grammar Development Kit
Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...
Ralph Debusmann, Denys Duchier, Joachim Niehren
WOLLIC
2010
Springer
15 years 7 months ago
On Anaphora and the Binding Principles in Categorial Grammar
In type logical categorial grammar the analysis of an expression is a resource-conscious proof. Anaphora represents a particular challenge to this approach in that the antecedent ...
Glyn Morrill, Oriol Valentín
92
Voted
COLING
2010
14 years 9 months ago
Acquisition of Unknown Word Paradigms for Large-Scale Grammars
Unknown words are a major issue for large-scale grammars of natural language. We propose a machine learning based algorithm for acquiring lexical entries for all forms in the para...
Kostadin Cholakov, Gertjan van Noord
KDD
1999
ACM
193views Data Mining» more  KDD 1999»
15 years 6 months ago
Data Mining of User Navigation Patterns
Abstract. We propose a data mining model that captures the user navigation behaviour patterns. The user navigation sessions are modelled as a hypertext probabilistic grammar whose ...
José Borges, Mark Levene