Sciweavers

3588 search results - page 624 / 718
» Semantic web in eHealth
Sort
View
AIED
2005
Springer
16 years 12 days 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
16 years 12 days 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, ...
ESOP
2005
Springer
16 years 12 days 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
167
Voted
ISMIR
2005
Springer
141views Music» more  ISMIR 2005»
16 years 11 days 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
16 years 10 days 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