2825 search results - page 260 / 565 » Support for Object-Oriented Testing |
198
click to vote
LPAR
2012
Springer
14 years 10 days ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
132
click to vote
CVPR
2000
IEEE
16 years 6 months ago
2000
IEEE
This paper examines the problem of image retrieval from large, heterogeneous image databases. We present a technique that fulfills several needs identified by surveying recent res...
131
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper, we propose a new prototype learning/matching method that can be combined with support vector machines (SVM) in pattern recognition. This hybrid method has the follo...
111
click to vote
ICPR
2000
IEEE
16 years 5 months ago
2000
IEEE
The paper presents results of the face verification contest that was organized in conjunction with International Conference on Pattern Recognition 2000 [14]. Participants had to u...
137
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
We empirically study the relationship between supervised and multiple instance (MI) learning. Algorithms to learn various concepts have been adapted to the MI representation. Howe...