633 search results - page 51 / 127 » Locality and Hard SAT-Instances |
187
click to vote
RTSS
2007
IEEE
16 years 11 days ago
2007
IEEE
This paper focuses on scheduling different hard real-time applications on a uniprocessor when the earliest deadline first algorithm is used as the local scheduler, and the global ...
195
click to vote
AVSS
2006
IEEE
16 years 5 days ago
2006
IEEE
This paper presents the implementation of a video segmentation unit used for embedded automated video surveillance systems. Various aspects of the underlying segmentation algorith...
154
click to vote
ACCV
2006
Springer
16 years 3 days ago
2006
Springer
This paper presents a robust player tracking method for sports video analysis. In order to track agile player stably and robustly, we employ multiple models method, with a mean shi...
156
click to vote
HPCC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We consider query execution strategies for object-oriented distributed databases. There are several scenarios of query decomposition, assuming that the corresponding quer...
157
click to vote
EVOW
2004
Springer
15 years 11 months ago
2004
Springer
We consider the problem of designing error correcting codes (ECC), a hard combinatorial optimization problem of relevance in the field of telecommunications. This problem is tackl...