10414 search results - page 1969 / 2083 » An efficient algorithm for Co-segmentation |
134
Voted
ICTAC
2010
Springer
15 years 17 days ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
134
Voted
IEEECIT
2010
IEEE
15 years 17 days ago
2010
IEEE
There are two avenues for many-core machines to gain higher performance: increasing the number of processors, and increasing the number of vector units in one SIMD processor. A tru...
127
Voted
IMC
2010
ACM
15 years 16 days ago
2010
ACM
Current large-scale topology mapping systems require multiple days to characterize the Internet due to the large amount of probing traffic they incur. The accuracy of maps from ex...
137
Voted
IPPS
2010
IEEE
15 years 16 days ago
2010
IEEE
The graphics processing unit (GPU) has evolved from a fixedfunction processor with programmable stages to a programmable processor with many fixed-function components that deliver...
114
Voted
MOBIHOC
2010
ACM
15 years 16 days ago
2010
ACM
Recent years have witnessed the emergence of shared sensor networks as integrated infrastructure for multiple applications. It is important to allocate multiple applications in a ...