553 search results - page 30 / 111 » Learning Meets Verification |
79
Voted
BCSHCI
2008
15 years 1 months ago
2008
The involvement of technology to support and enhance learning is ever increasing; for example moving from the traditional blackboard to electronic whiteboards, from printed books ...
IJCAI
2003
15 years 1 months ago
2003
Efficient implementations of DPLL with the addition of clause learning are the fastest complete satisfiability solvers and can handle many significant real-world problems, such as...
ICMLA
2008
15 years 1 months ago
2008
We propose a novel approach for on-line treatment verification using cine EPID (Electronic Portal Imaging Device) images for hypofractionated lung radiotherapy based on a machine ...
ICIP
2004
IEEE
16 years 1 months ago
2004
IEEE
In the framework of a face verification system using local features and a Gaussian Mixture Model based classifier, we address the problem of non-frontal face verification (when on...
CIARP
2009
Springer
15 years 3 months ago
2009
Springer
Authorship verification is the task of determining whether documents were or were not written by a certain author. The problem has been faced by using binary classifiers, one per a...