Sciweavers

1396 search results - page 182 / 280
» Succinct Dynamic Data Structures
Sort
View
CVPR
2009
IEEE
16 years 8 months ago
Learning Visual Flows: A Lie Algebraic Approach
We present a novel method for modeling dynamic visual phenomena, which consists of two key aspects. First, the in- tegral motion of constituent elements in a dynamic scene is ca...
Dahua Lin, W. Eric L. Grimson, John W. Fisher III
ISBI
2006
IEEE
16 years 2 months ago
Bayesian tracking for fluorescence microscopic imaging
Fluorescence microscopy is a powerful imaging tool for studying molecular dynamics in living cells. For quantitative motion analysis of subcellular structures robust and accurate ...
Ihor Smal, Wiro J. Niessen, Erik H. W. Meijering
ICCAD
2004
IEEE
125views Hardware» more  ICCAD 2004»
15 years 10 months ago
Temporal floorplanning using the T-tree formulation
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we model each task ...
Ping-Hung Yuh, Chia-Lin Yang, Yao-Wen Chang
ESOP
2009
Springer
15 years 8 months ago
A Basis for Verifying Multi-threaded Programs
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
K. Rustan M. Leino, Peter Müller
ECSQARU
2005
Springer
15 years 7 months ago
Generating Fuzzy Models from Deep Knowledge: Robustness and Interpretability Issues
The most problematic and challenging issues in fuzzy modeling of nonlinear system dynamics deal with robustness and interpretability. Traditional data-driven approaches, especially...
Raffaella Guglielmann, Liliana Ironi