Sciweavers

40 search results - page 2 / 8
» ictai 2008
Sort
View
ICTAI
2008
IEEE
13 years 11 months ago
A General Technique for Plan Repair
In real world we have to deal with changing situations which may partially or entirely invalidate an executable plan. Current strategies for plan repair are basically aimed at sol...
Marlene Arangú, Antonio Garrido, Eva Onaind...
ICTAI
2008
IEEE
13 years 11 months ago
LRNPlanner: Planning Personalized and Contextualized E-Learning Routes
The aim of educational systems is to design a sequence of learning objects on a set of topics tailored to the learner’s goals and individual properties. However, some of the mai...
Eva Onaindia, Antonio Garrido, Oscar Sapena
ICTAI
2008
IEEE
13 years 11 months ago
DOG: An Ontology-Powered OSGi Domotic Gateway
This paper proposes an ontology-powered Domotic OSGi Gateway (DOG) able to expose different domotic networks as a single, technology neutral, home automation system. The adoption ...
Dario Bonino, Emiliano Castellina, Fulvio Corno
ICTAI
2008
IEEE
13 years 11 months ago
Computational Complexity of Web Service Composition Based on Behavioral Descriptions
The Web Service Composition (WSC) problem on behavioral descriptions deals with the automatic construction of a coordinator web service to control a set of web services to reach t...
Hyunyoung Kil, Wonhong Nam, Dongwon Lee
ICTAI
2008
IEEE
13 years 11 months ago
Let the Solver Deal with Redundancy
Handling redundancy in propositional reasoning and search is an active path of theoretical research. For instance, the complexity of some redundancy-related problems for CNF formu...
Cédric Piette