5896 search results - page 607 / 1180 » On Learning with Integral Operators |
228
click to vote
JSAT
2006
15 years 7 months ago
2006
This paper introduces a new hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order to solve PB satisfiability and optimization...
240
click to vote
AVI
2010
15 years 4 months ago
2010
The procedures to collect information about users are well known in computer science till long time. They range from getting explicit information from users, required in order to ...
157
click to vote
ICCV
2003
IEEE
16 years 9 months ago
2003
IEEE
A requirement common to most dynamic vision applications is the ability to track objects in a sequence of frames. This problem has been extensively studied in the past few years, ...
200
click to vote
HPCA
2004
IEEE
16 years 7 months ago
2004
IEEE
Reducing energy consumption has become one of the major challenges in designing future computing systems. This paper proposes a novel idea of using program counters to predict I/O...
308
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
Map-Reduce is a programming model that enables easy development of scalable parallel applications to process vast amounts of data on large clusters of commodity machines. Through ...