2526 search results - page 408 / 506 » A New Algorithm for Answer Set Computation |
CVPR
2006
IEEE
14 years 11 months ago
2006
IEEE
We consider the general problem of learning from both labeled and unlabeled data. Given a set of data points, only a few of them are labeled, and the remaining points are unlabele...
APGV
2004
ACM
14 years 2 months ago
2004
ACM
Motivated by the need for an informative, unbiased and quantitative perceptual method for the development and evaluation of a talking head we are developing, we propose a new test...
PLDI
2012
ACM
11 years 11 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
Several ways of using singular value decomposition (SVD), a linear algebra technique typically used for information retrieval, to decompose problems into subproblems are investiga...
AIPR
2000
IEEE
14 years 1 months ago
2000
IEEE
The advance of technology makes video acquisition devices better and less costly, thereby increasing the number of applications that can effectively utilize digital video. Compare...