959 search results - page 112 / 192 » New Techniques for Algorithm Portfolio Design |
145
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
Mean shift is a popular method to segment images and videos. Pixels are represented by feature points, and the segmentation is driven by the point density in feature space. In thi...
155
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Abstract. Embedded multimedia systems often run multiple time-constrained applications simultaneously. These systems use multiprocessor systems-on-chip of which it must be guarante...
140
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
148
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
128
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...