123 search results - page 13 / 25 » Using Model Checking to Detect Deadlocks in Distributed Obje... |
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Detecting objects in complex scenes while recovering the scene layout is a critical functionality in many vision-based applications. Inspired by the work of [18], we advocate the ...
138
click to vote
MM
2006
ACM
15 years 5 months ago
2006
ACM
Human vision system actively seeks interesting regions in images to reduce the search effort in tasks, such as object detection and recognition. Similarly, prominent actions in v...
140
click to vote
ICIP
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we propose a Boosted Interactively Distributed Particle Filter (BIDPF) to address the problem of automatic multi-object tracking in the application of player tracki...
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
We introduce VLADYMIR, a matrix library that permits the development of array-based code in C++. It is especially useful for numerical simulation tasks and parallelises automatical...
102
click to vote
IEEEPACT
2007
IEEE
15 years 6 months ago
2007
IEEE
With the advent of chip-multiprocessors, we are faced with the challenge of parallelizing performance-critical software. Transactional memory (TM) has emerged as a promising progr...