741 search results - page 27 / 149 » Testing in the year 2020 |
CE
2007
15 years 1 months ago
2007
The European Computer Driving Licence (ECDL) programme aims at testing practical skills and competencies in using ICT tools. This paper presents the results of a monitoring exerci...
113
click to vote
JSS
2006
15 years 1 months ago
2006
Citation analysis helps in evaluating the impact of scientific collections (journals and conferences), publications and scholar authors. In this paper we examine known algorithms ...
125
click to vote
UM
2007
Springer
15 years 7 months ago
2007
Springer
A standing question in the field of Intelligent Tutoring Systems and User Modeling in general is what is the appropriate level of model granularity (how many skills to model) and h...
109
click to vote
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
120
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
Approximate policy iteration methods based on temporal differences are popular in practice, and have been tested extensively, dating to the early nineties, but the associated conve...