Sciweavers

1878 search results - page 86 / 376
» The Vienna Abstract Machine
Sort
View
ICALT
2006
IEEE
14 years 4 months ago
Model-Driven Instructional Engineering to Generate Adaptable Learning Materials
The application of software engineering approaches to generate learning material adapted to a specific instructional purpose presents some issues: of different models, different a...
Juan Manuel Dodero, David Díez
ICCBR
2005
Springer
14 years 3 months ago
Learning Semantic Annotations for Textual Cases
Abstract. In this paper, we propose an approach to attach semantic annotations to textual cases for their representation. To achieve this goal, a framework that combines machine le...
Eni Mustafaraj, Martin Hoof, Bernd Freisleben
COLT
1999
Springer
14 years 2 months ago
On Theory Revision with Queries
Abstract. A brief overview is given of recent results on theory revision with queries for propositional formulas, such as monotone and unate DNF, Horn formulas, read-once formulas,...
Robert H. Sloan, György Turán
CIE
2007
Springer
14 years 2 months ago
Multi-valued Logics, Effectiveness and Domains
Abstract. Effective domain theory is applied to fuzzy logic to give suitable notions of semi-decidable and decidable L-subset. The connection with the notions of fuzzy Turing machi...
Giangiacomo Gerla
COLT
2006
Springer
14 years 1 months ago
Uniform Convergence of Adaptive Graph-Based Regularization
Abstract. The regularization functional induced by the graph Laplacian of a random neighborhood graph based on the data is adaptive in two ways. First it adapts to an underlying ma...
Matthias Hein