7092 search results - page 430 / 1419 » Parallelizing constraint programs |
253
click to vote
ESTIMEDIA
2009
Springer
16 years 2 months ago
2009
Springer
—Real-time encoding of high-definition H.264 video is a challenge to current embedded programmable processors. Emerging stream processing methods supported by most GPUs and progr...
198
click to vote
ICCV
2003
IEEE
16 years 9 months ago
2003
IEEE
This paper presents a novel approach for landmarkbased shape deformation, in which fitting error and shape difference are formulated into a support vector machine (SVM) regression...
179
click to vote
CP
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
167
click to vote
UM
2010
Springer
16 years 18 days ago
2010
Springer
Recently, detectors of gaming the system have been developed for several intelligent tutoring systems where the problem-solving process is reified, and gaming consists of systemati...
230
click to vote
CDC
2009
IEEE
16 years 8 days ago
2009
IEEE
Abstract— We study the problem of maximizing the aggregated revenue in sensor networks with deadline constraints. Our model is that of a sensor network that is arranged in the fo...