• Publications
  • Influence
Context-Aware Mobile Collaborative Systems: Conceptual Modeling and Case Study
TLDR
A novel model for Context-Aware Mobile COllaborative Systems (CAMCOS) and a functional architecture based on that model are proposed and a prototype system in the tourism domain was implemented and evaluated. Expand
A Model and Language for Bitemporal Schema Versioning in Data Warehouses
TLDR
A conceptual evolution model based on bitemporal versioning of multidimensional schemas is introduced, which allows one to modify the DW schema in an implementation-independent manner, and without affecting the operation of existing applications. Expand
Data Fusion Architecture of Heterogeneous Sources Obtained From a Smart Desk
TLDR
This work proposes a conceptual design of a data fusion architecture for the extraction, preprocessing, fusion, and load process from diverse data sources to avoid conflicts, outliers, and disorder during the stages of the entire process. Expand
Reasoning on expressive description logics with arithmetic constraints
TLDR
It is shown that μALCTIO, which is known to be undecidable and that subsumes ALCQIOreg, is inEXPTIME in the case of tree models, and that knowledge base reasoning, TBoxes and ABoxes, can also be decided in EXPTIME. Expand
Depth-First Reasoning on Trees
TLDR
This paper proposes a satisfiability algorithm for the mu-calculus extended with converse modalities and interpreted on unranked trees based on a depth-first search and proves the algorithm to be correct (sound and complete) and optimal. Expand
On the Model Checking of the Graded μ-calculus on Trees
TLDR
A linear-time model checking algorithm for the graded \(\mu \)-calculus when models are finite unranked trees is introduced. Expand
Towards an intelligent desk matching behaviors and performance of learners
TLDR
The aim of detecting possible relationships between learner behavior and task performance in an intelligent desk is to help teachers and students in the learning process, supporting their activities with an unobtrusive observation to identify special needs to improve their performance. Expand
Mining Data from Interactions with a Motivational-Aware Tutoring System Using Data Visualization.
TLDR
To mine data, techniques were employed to discover patterns of interest when motivational scaffolding was provided by the tutoring system and a graph was constructed to visualize these patterns and to identify significant transitions derived from dyads of actions. Expand
...
1
2
3
4
5
...