Sciweavers

1816 search results - page 22 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
AAMAS
2004
Springer
13 years 8 months ago
Functional Validation in Grid Computing
The development of the World Wide Web has changed the way we think about information. Information on the web is distributed, updates are made asynchronously and resources come onli...
Guofei Jiang, George Cybenko
CORR
2006
Springer
99views Education» more  CORR 2006»
13 years 8 months ago
Logical settings for concept learning from incomplete examples in First Order Logic
We investigate here concept learning from incomplete examples. Our first purpose is to discuss to what extent logical learning settings have to be modified in order to cope with da...
Dominique Bouthinon, Henry Soldano, Véroniq...
SAC
2009
ACM
14 years 1 months ago
Towards "WYDIWYS" for MIMI using concept analysis
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
Jie Dai, Remo Mueller, Jacek Szymanski, Guo-Qiang ...
ICALT
2009
IEEE
14 years 3 months ago
ICOPER Big Picture Modelling the Central Concepts of Competency-Driven Learning
Competency based learning is seen as a means to make the educational system more adapt to cater for , the learners’ professional development and the need to increase their futur...
Tore Hoel, Vana Kamtsiou
DSVIS
1997
Springer
14 years 18 days ago
DMVIS: Design, Modelling and Validation of Interactive Systems
Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we ar...
Robert E. Fields, Nicholas A. Merriam, Andrew M. D...