Sciweavers

1889 search results - page 88 / 378
» An Abstract Machine for Oz
Sort
View
ICALT
2006
IEEE
15 years 10 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
119
Voted
ICCBR
2005
Springer
15 years 10 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
15 years 9 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
116
Voted
CIE
2007
Springer
15 years 8 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
15 years 8 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