Sciweavers

2553 search results - page 129 / 511
» Modeling Trees with Hypertextures
Sort
View
AAAI
2007
15 years 9 days ago
Mining Sequential Patterns and Tree Patterns to Detect Erroneous Sentences
An important application area of detecting erroneous sentences is to provide feedback for writers of English as a Second Language. This problem is difficult since both erroneous ...
Guihua Sun, Gao Cong, Xiaohua Liu, Chin-Yew Lin, M...
ACL
1998
14 years 11 months ago
Conditions on Consistency of Probabilistic Tree Adjoining Grammars
Much of the power of probabilistic methods in modelling language comes from their ability to compare several derivations for the same string in the language. An important starting...
Anoop Sarkar
WOLLIC
2009
Springer
15 years 4 months ago
Recognizability in the Simply Typed Lambda-Calculus
Abstract. We define a notion of recognizable sets of simply typed λterms that extends the notion of recognizable sets of strings or trees. This definition is based on finite mo...
Sylvain Salvati
ECAI
2000
Springer
15 years 2 months ago
Tree-based Heuristics in Modal Theorem Proving
We use a strong form of the tree model property to boost the performance of resolution-based first-order theorem provers on the so-called relational translations of modal formulas...
Carlos Areces, Rosella Gennari, Juan Heguiabehere,...
PPSN
2004
Springer
15 years 3 months ago
Distribution Tree-Building Real-Valued Evolutionary Algorithm
This article describes a new model of probability density function and its use in estimation of distribution algorithms. The new model, the distribution tree, has interesting prope...
Petr Posik