7082 search results - page 1298 / 1417 » A framework for mobile evaluation |
178
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
205
click to vote
SIGIR
2012
ACM
13 years 8 months ago
2012
ACM
Many of the recent, and more effective, retrieval models have incorporated dependencies between the terms in the query. In this paper, we advance this query representation one st...
197
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
We introduce a saliency model based on two key ideas. The first one is considering local and global image patch rarities as two complementary processes. The second one is based o...
185
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
We study the problem of segmenting multiple cell nuclei from GFP or Hoechst stained microscope images with a shape prior. This problem is encountered ubiquitously in cell biology ...
210
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
We describe an online approach to learn non-linear motion patterns and robust appearance models for multi-target tracking in a tracklet association framework. Unlike most previous...