1816 search results - page 77 / 364 » Formal Concepts of Learning Systems Validation in Use |
179
click to vote
TACAS
1998
Springer
15 years 10 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...
215
click to vote
MICAI
2010
Springer
15 years 4 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...
145
click to vote
ACHI
2009
IEEE
15 years 9 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...
160
click to vote
AIME
2007
Springer
16 years 14 days 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...
135
click to vote
DEXAW
2004
IEEE
15 years 10 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...