Sciweavers

16832 search results - page 3042 / 3367
» Scenario Based Evaluation
Sort
View
CAV
2012
Springer
265views Hardware» more  CAV 2012»
13 years 9 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...
CAV
2012
Springer
236views Hardware» more  CAV 2012»
13 years 9 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 9 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
CVPR
2012
IEEE
13 years 9 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...
CVPR
2012
IEEE
13 years 9 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 »