4457 search results - page 93 / 892 » Tests of Machine Intelligence |
108
click to vote
AIED
2005
Springer
15 years 4 months ago
2005
Springer
In this paper, we discuss the development of a theoretical framework for introducing adaptive presentation in adaptive testing. To this end, a discussion of some aspects concerning...
109
Voted
NSDI
2008
15 years 4 months ago
2008
Large-scale network services can consist of tens of thousands of machines running thousands of unique software configurations spread across hundreds of physical networks. Testing ...
125
click to vote
TABLEAUX
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...
FLAIRS
1998
15 years 4 months ago
1998
Dealingwiththequestionwhetherornota givensystemdoessulllcesomeinterestingpropertyoneisconfrontedwiththeproblem,how tonavigateappropriatelythroughtheavailable knowledgespacetoprove...
113
click to vote
AIPS
1994
15 years 3 months ago
1994
A robot system operating in an environmentin which there is uncertainty and changeneeds to combinethe ability to react withthe ability to plan ahead. In a previous paper wepropose...