Sciweavers

16832 search results - page 3042 / 3367
» Scenario Based Evaluation
Sort
View
171
Voted
CAV
2012
Springer
265views Hardware» more  CAV 2012»
13 years 10 months ago
An Axiomatic Memory Model for POWER Multiprocessors
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayv...
210
Voted
CAV
2012
Springer
236views Hardware» more  CAV 2012»
13 years 10 months ago
Lock Removal for Concurrent Trace Programs
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...
Vineet Kahlon, Chao Wang
CVPR
2012
IEEE
13 years 10 months ago
Multi-target tracking by online learning of non-linear motion patterns and robust appearance models
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...
Bo Yang, Ram Nevatia
223
Voted
CVPR
2012
IEEE
13 years 10 months ago
A new mirror-based extrinsic camera calibration using an orthogonality constraint
This paper is aimed at calibrating the relative posture and position, i.e. extrinsic parameters, of a stationary camera against a 3D reference object which is not directly visible...
Kosuke Takahashi, Shohei Nobuhara, Takashi Matsuya...
260
Voted
CVPR
2012
IEEE
13 years 10 months ago
Real time robust L1 tracker using accelerated proximal gradient approach
Recently sparse representation has been applied to visual tracker by modeling the target appearance using a sparse approximation over a template set, which leads to the so-called ...
Chenglong Bao, Yi Wu, Haibin Ling, Hui Ji
« Prev « First page 3042 / 3367 Last » Next »