1271 search results - page 133 / 255 » On Simulation-Checking with Sequential Systems |
ICIP
2007
IEEE
15 years 20 hour ago
2007
IEEE
The segmentation and recognition modules are usually implemented sequentially in most traditional automatic license recognition (LPR) systems. In this work, we integrate segmentat...
MICCAI
2009
Springer
14 years 11 months ago
2009
Springer
This paper describes a system to automatically segment the left ventricle in all slices and all phases of cardiac cine magnetic resonance datasets. After localizing the left ventri...
ICIP
2009
IEEE
14 years 11 months ago
2009
IEEE
The embedded-block coding with optimized truncation (EBCOT), which consists of a bit-plane coder (BPC) and a binary arithmetic coder (BAC), is the bottleneck in realizing a high-p...
ICIAP
2005
ACM
14 years 10 months ago
2005
ACM
This paper presents the scatter search particle filter (SSPF) algorithm and its application to real-time hands and face tracking. SSPF combines sequential Monte Carlo (particle fil...
PPOPP
2010
ACM
14 years 7 months ago
2010
ACM
This paper addresses the problem of extracting coarse-grained parallelism from large sequential code. It builds on BOP, a system for software speculative parallelization. BOP lets...