6941 search results - page 981 / 1389 » Testing as a Certification Approach |
203
click to vote
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
We present a generic, efficient and iterative algorithm for interactively clustering classes of images and videos. The approach moves away from the use of large hand labelled tra...
341
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
255
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
Support Vector Machines (SVM) are one of the most useful
techniques in classification problems. One clear example
is face recognition. However, SVM cannot be applied
when the fe...
283
click to vote
GIS
2006
ACM
16 years 8 months ago
2006
ACM
Efficient evaluation of spatial queries is an important issue in spatial database. Among spatial operations, spatial join is very useful, intersection being the most common predic...
204
click to vote
ICML
2002
IEEE
16 years 7 months ago
2002
IEEE
Kernel-based learning algorithms work by embedding the data into a Euclidean space, and then searching for linear relations among the embedded data points. The embedding is perfor...