627 search results - page 43 / 126 » Branched Polyhedral Systems |
120
click to vote
ICCV
2009
IEEE
16 years 10 months ago
2009
IEEE
embedded in a sliding-window scheme. Such exhaustive
search involves massive computation. Efficient Subwindow
Search (ESS) [11] avoids this by means of branch
and bound. However...
146
click to vote
ICIP
2008
IEEE
16 years 7 months ago
2008
IEEE
This article presents a new algorithm for spatial deinterlacing that could easily be integrated in a more complete deinterlacing system. The spatial interpolation process often fa...
159
click to vote
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
162
click to vote
SAT
2005
Springer
15 years 11 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
128
click to vote
CC
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The express-lane transformation isolates and duplicates frequently executed program paths, aiming for better data-flow facts along the duplicated paths. An express-lane ...