Sciweavers

155 search results - page 24 / 31
» Coevolutionary Algorithm For Rule Induction
Sort
View
89
Voted
NAACL
2007
15 years 5 months ago
High-Performance, Language-Independent Morphological Segmentation
This paper introduces an unsupervised morphological segmentation algorithm that shows robust performance for four languages with different levels of morphological complexity. In p...
Sajib Dasgupta, Vincent Ng
133
Voted
NAACL
2003
15 years 5 months ago
Automating XML markup of text documents
We present a novel system for automatically marking up text documents into XML and discuss the benefits of XML markup for intelligent information retrieval. The system uses the Se...
Shazia Akhtar, Ronan G. Reilly, John Dunnion
145
Voted
KCAP
2003
ACM
15 years 9 months ago
Learning programs from traces using version space algebra
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...
Tessa A. Lau, Pedro Domingos, Daniel S. Weld
152
Voted
LPKR
1997
Springer
15 years 7 months ago
A System for Abductive Learning of Logic Programs
We present the system LAP (Learning Abductive Programs) that is able to learn abductive logic programs from examples and from a background abductive theory. A new type of induction...
Evelina Lamma, Paola Mello, Michela Milano, Fabriz...
164
Voted
PLPV
2009
ACM
16 years 15 days ago
Embedding a logical theory of constructions in Agda
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
Ana Bove, Peter Dybjer, Andrés Sicard-Ram&i...