Sciweavers

1036 search results - page 36 / 208
» Report on INEX 2009
Sort
View
SASO
2009
IEEE
16 years 29 days ago
Self-Organization of Creole Community in a Scale-Free Network
Creolization is a self-organization process of new language community. Thus far, a simulation study of the emergence of creoles has been reported in a mathematical framework. In t...
Makoto Nakamura, Takashi Hashimoto, Satoshi Tojo
ICRA
2009
IEEE
159views Robotics» more  ICRA 2009»
16 years 27 days ago
Development of inspection robot for under floor of house
—We are developing robots for inspection of the under floor of houses. The developed robot system is reported in this paper. The mobile robot platform is based on a crawer type r...
Akihisa Ohya, Shin'ichi Yuta, Tomoaki Yoshida, Eij...
AIED
2009
Springer
16 years 25 days ago
Toward Adaptive Presentations of Student Models in eLearning Environments
In this paper we report our work on introducing adaptations of the learner model’s presentation in adaptive educational systems, in order to bring a healthy balance between the u...
Luca Mazzola, Riccardo Mazza
WEBI
2009
Springer
16 years 25 days ago
Reasoning in Pervasive Environments: An Implementation of Concept Abduction with Mobile OODBMS
The paper focuses on an implementation of concept abduction with an Object-oriented Database Management System (OODBMS). OWL-DL Knowledge Bases have been translated to an OO versi...
Michele Ruta, Floriano Scioscia, Tommaso Di Noia, ...
ATVA
2009
Springer
89views Hardware» more  ATVA 2009»
16 years 25 days ago
A Data Symmetry Reduction Technique for Temporal-epistemic Logic
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Q...