1816 search results - page 77 / 364 » Formal Concepts of Learning Systems Validation in Use |
155
click to vote
TACAS
1998
Springer
15 years 9 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
182
click to vote
MICAI
2010
Springer
15 years 3 months ago
2010
Springer
We present our experiments on Recognizing Textual Entailment based on modeling the entailment relation as a classification problem. As features used to classify the entailment pair...
125
click to vote
ACHI
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper describe the new concepts of collaborative systems metrics validation. The paper define the quality characteristics of collaborative systems. There are proposed a metri...
137
click to vote
AIME
2007
Springer
15 years 11 months ago
2007
Springer
The development of intelligent healthcare support systems always requires a formalization of medical knowledge. Domain ontologies are especially suitable for this purpose but their...
121
click to vote
DEXAW
2004
IEEE
15 years 8 months ago
2004
IEEE
In distance learning for computer literacy, a student's skill is dependent on personal experience. In such cases, it is important to determine the student's understandin...