Sciweavers

16 search results - page 2 / 4
» enc 2005
Sort
View
ENC
2005
IEEE
13 years 10 months ago
Using Alloy to model-check visual design notations
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
Anthony J. H. Simons, Carlos Alberto Fernán...
ENC
2005
IEEE
13 years 10 months ago
A Probabilistic Relational Student Model for Virtual Laboratories
The main purpose of this work is to develop an intelligent tutor system coupled to a robotics virtual laboratory, in order to offer a tutored virtual learning environment. The stu...
Julieta Noguez, Luis Enrique Sucar
ENC
2005
IEEE
13 years 10 months ago
SKIMA: Semantic Knowledge and Information Management
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
Héctor Pérez-Urbina, Gennaro Bruno, ...
ENC
2005
IEEE
13 years 10 months ago
Inferring acceptable arguments with Answer Set Programming
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieve...
ENC
2005
IEEE
13 years 10 months ago
Combining Structural and Textual Contexts for Compressing Semistructured Databases
We describe a compression technique for semistructured documents, called SCMPPM, which combines the Prediction by Partial Matching technique with Structural Contexts Model (SCM) t...
Joaquín Adiego, Pablo de la Fuente, Gonzalo...