Sciweavers

477 search results - page 51 / 96
» Rule Combination in Inductive Learning
Sort
View
SEMWEB
2009
Springer
15 years 4 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...
ICALT
2007
IEEE
15 years 4 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
PAMI
2008
176views more  PAMI 2008»
14 years 9 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
CSL
2005
Springer
15 years 3 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
ICLP
1997
Springer
15 years 1 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