Sciweavers

477 search results - page 51 / 96
» Rule Combination in Inductive Learning
Sort
View
144
Voted
SEMWEB
2009
Springer
15 years 10 months ago
An Algorithm for Learning with Probabilistic Description Logics
Probabilistic Description Logics are the basis of ontologies in the Semantic Web. Knowledge representation and reasoning for these logics have been extensively explored in the last...
José Eduardo Ochoa Luna, Fabio Gagliardi Co...
106
Voted
ICALT
2007
IEEE
15 years 10 months ago
Innovative Technologies for Learning in Science Laboratories
This paper summarizes results from two educational research Ph.D. theses carried out in recent years at the "Laboratoire de Robotique Pédagogique" of the Université de...
Frédéric Fournier, Martin Riopel
123
Voted
PAMI
2008
176views more  PAMI 2008»
15 years 3 months ago
Learning Flexible Features for Conditional Random Fields
Abstract-- Extending traditional models for discriminative labeling of structured data to include higher-order structure in the labels results in an undesirable exponential increas...
Liam Stewart, Xuming He, Richard S. Zemel
147
Voted
CSL
2005
Springer
15 years 9 months ago
Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
Frédéric Blanqui
131
Voted
ICLP
1997
Springer
15 years 7 months ago
Parallel Evaluation Strategies for Functional Logic Languages
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...
Sergio Antoy, Rachid Echahed, Michael Hanus