Sciweavers

106 search results - page 13 / 22
» Phylogenetic Grammar Induction
Sort
View
CATS
2007
13 years 8 months ago
Constructing Strictly Positive Families
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...
Peter Morris, Thorsten Altenkirch, Neil Ghani
CADE
2008
Springer
14 years 7 months ago
Automated Induction with Constrained Tree Automata
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
Adel Bouhoula, Florent Jacquemard
IJCNLP
2005
Springer
14 years 26 days ago
Automatic Partial Parsing Rule Acquisition Using Decision Tree Induction
Abstract. Partial parsing techniques try to recover syntactic information efficiently and reliably by sacrificing completeness and depth of analysis. One of the difficulties of pa...
Myung-Seok Choi, Chul Su Lim, Key-Sun Choi
TNN
1998
92views more  TNN 1998»
13 years 7 months ago
Inductive inference from noisy examples using the hybrid finite state filter
—Recurrent neural networks processing symbolic strings can be regarded as adaptive neural parsers. Given a set of positive and negative examples, picked up from a given language,...
Marco Gori, Marco Maggini, Enrico Martinelli, Giov...
CORR
2011
Springer
145views Education» more  CORR 2011»
13 years 2 months ago
A Universal Part-of-Speech Tagset
To facilitate future research in unsupervised induction of syntactic structure and to standardize best-practices, we propose a tagset that consists of twelve universal part-ofspee...
Slav Petrov, Dipanjan Das, Ryan McDonald