Sciweavers

4839 search results - page 323 / 968
» Providing SCORM with adaptivity
Sort
View
CONCUR
2007
Springer
15 years 10 months ago
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. ...
DIMEA
2007
97views Multimedia» more  DIMEA 2007»
15 years 10 months ago
Dialogs taking into account experience, emotions and personality
This paper describes the DEEP project (Dialogs taking into account Experience, Emotions and Personality, adapted to computer games), which started in June 2006. The aim of the proj...
Anne-Gwenn Bosser, Guillaume Levieux, Karim Sehaba...
ICALT
2009
IEEE
15 years 10 months ago
Automated Planning for Personalised Course Composition
Authoring tools for building Intelligent Educational Systems must provide support to ensure flexibility, adaptability of content to the user profile, reusability and sharing of le...
Antonio Garrido, Eva Onaindia, Oscar Sapena
ITCS
2008
15 years 8 months ago
Managing Geo Data for Location-based Services - The Hybris Framework
Even though geo data are getting more and more widely available nowadays, they often do not meet the requirements of location-based services concerning structure, content and forma...
Jörg Roth
AAAI
2000
15 years 8 months ago
A Conjunctive Query Language for Description Logic Aboxes
A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we present a novel technique that ...
Ian Horrocks, Sergio Tessaris