6650 search results - page 976 / 1330 » models 2009 |
216
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
171
click to vote
DEXAW
2009
IEEE
16 years 1 months ago
2009
IEEE
—The management of patient referrals is an interesting issue when it comes to predicting future patient demand to increase hospital productivity. In general, a patient is referre...
212
Voted
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
Modern operating systems primarily use Discretionary Access Control (DAC) to protect files and other operating system resources. DAC mechanisms are more user-friendly than Mandat...
262
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
We present an efficient algorithm for continuous image
recognition and feature descriptor tracking in video which
operates by reducing the search space of possible interest
poin...
288
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
Many semi-supervised learning algorithms only
deal with binary classification. Their extension to the
multi-class problem is usually obtained by repeatedly
solving a set of bina...