Sciweavers

3588 search results - page 624 / 718
» Semantic web in eHealth
Sort
View
236
Voted
AIED
2005
Springer
15 years 11 months ago
Goal Transition Model and Its Application for Supporting Teachers based on Ontologies
In Japan, the “Period of Integrated Study” program to enhance practical skills began in elementary and secondary education in 2002. Most goals of this program involve meta-abil...
Toshinobu Kasai, Haruhisa Yamaguchi, Kazuo Nagano,...
AIED
2005
Springer
15 years 11 months ago
Making Learning Design Standards Work with an Ontology of Educational Theories
In this paper, we present an ontology of educational theories their relation to learning design. This ontology takes into account learning design (LD) specifications such as OUNL-E...
Valéry Psyché, Jacqueline Bourdeau, ...
216
Voted
ESOP
2005
Springer
15 years 11 months ago
Towards a Type System for Analyzing JavaScript Programs
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
Peter Thiemann
ISMIR
2005
Springer
141views Music» more  ISMIR 2005»
15 years 11 months ago
Multiple Lyrics Alignment: Automatic Retrieval of Song Lyrics
We present an approach to automatically retrieve and extract lyrics of arbitrary songs from the Internet. It is intended to provide easy and convenient access to lyrics for users,...
Peter Knees, Markus Schedl, Gerhard Widmer
LPAR
2005
Springer
15 years 11 months ago
Automating Coherent Logic
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
Marc Bezem, Thierry Coquand