Sciweavers

950 search results - page 110 / 190
» Machine semantics
Sort
View
ECML
2007
Springer
15 years 10 months ago
Exploiting Term, Predicate, and Feature Taxonomies in Propositionalization and Propositional Rule Learning
Knowledge representations using semantic web technologies often provide information which translates to explicit term and predicate taxonomies in relational learning. We show how t...
Monika Záková, Filip Zelezný
ICALT
2006
IEEE
15 years 10 months ago
Adapting SME Learning Environments for Adaptivity
There is a genuine demand for personalization and guidance in learning systems, as well as in general commercial learning systems for the WWW, and further, for the new, emerging S...
Alexandra I. Cristea, Angelo Wentzler, Egbert Heuv...
ICALT
2006
IEEE
15 years 10 months ago
A Shortest Learning Path Selection Algorithm in E-learning
Generally speaking, in the e-learning systems, a course is modeled as a graph, where each node represents a knowledge node (KU) and two nodes are connected to form a semantic netw...
Chengling Zhao, Liyong Wan
MLCW
2005
Springer
15 years 10 months ago
The PASCAL Recognising Textual Entailment Challenge
This paper describes the PASCAL Network of Excellence first Recognising Textual Entailment (RTE-1) Challenge benchmark1 . The RTE task is defined as recognizing, given two text f...
Ido Dagan, Oren Glickman, Bernardo Magnini
ICCL
1992
IEEE
15 years 8 months ago
An automatically generated and provably correct compiler for a subset of Ada
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
Jens Palsberg