Sciweavers

1816 search results - page 53 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
EDOC
2004
IEEE
15 years 3 months ago
Formalizing ODP Computational Viewpoint Specifications in Maude
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
José Raúl Romero, Antonio Vallecillo
ICALT
2003
IEEE
15 years 5 months ago
A Process Repository for the Development of E-Learning Applications
The production process of multimedia learning material includes many participants, tasks, and tools. The system described in this paper combines all data from the development and ...
Ronald Hartwig, Michael Herczeg
HICSS
2008
IEEE
135views Biometrics» more  HICSS 2008»
15 years 6 months ago
Formal Foundation of Workflow Hyperpaths and a Graph Search Algorithm for Workflow Hyperpath Generation
While executing a process, many decisions are taken at its various decision points for selecting paths. There is a need for understanding and analyzing on various paths that emana...
Sinnakkrishnan Perumal, Ambuj Mahanti
DKE
2002
218views more  DKE 2002»
14 years 11 months ago
Computing iceberg concept lattices with T
We introduce the notion of iceberg concept lattices and show their use in knowledge discovery in databases. Iceberg lattices are a conceptual clustering method, which is well suit...
Gerd Stumme, Rafik Taouil, Yves Bastide, Nicolas P...
AAMAS
2008
Springer
14 years 12 months ago
Agents that argue and explain classifications
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent/incomplete/uncertain knowledge, based on the construction and the comparison of ar...
Leila Amgoud, Mathieu Serrurier