13895 search results - page 2331 / 2779 » Exploring |
167
Voted
CAV
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...
196
Voted
TON
2012
13 years 8 months ago
2012
—While many attacks are distributed across botnets, investigators and network operators have recently identified malicious networks through high profile autonomous system (AS) ...
183
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
Single camera-based multiple-person tracking is often hindered by difficulties such as occlusion and changes in appearance. In this paper, we address such problems by proposing a...
171
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
Identifying suitable image features is a central challenge in computer vision, ranging from representations for lowlevel to high-level vision. Due to the difficulty of this task,...
181
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
Grouping cues can affect the performance of segmentation greatly. In this paper, we show that superpixels (image segments) can provide powerful grouping cues to guide segmentation...