Sciweavers

1547 search results - page 126 / 310
» Randomized Variable Elimination
Sort
View
ECCV
2008
Springer
16 years 5 months ago
Finding Actions Using Shape Flows
Abstract. We propose a novel method for action detection based on a new action descriptor called a shape flow that represents both the shape and movement of an object in a holistic...
Hao Jiang, David R. Martin
231
Voted
ICDE
2005
IEEE
154views Database» more  ICDE 2005»
16 years 4 months ago
Deep Store: an Archival Storage System Architecture
We present the Deep Store archival storage architecture, a large-scale storage system that stores immutable data efficiently and reliably for long periods of time. Archived data i...
Lawrence You, Kristal T. Pollack, Darrell D. E. Lo...
101
Voted
ICIP
2009
IEEE
16 years 4 months ago
Memory-less Bit-plane Coder Architecture For Jpeg2000 With Concurrent Column-stripe Coding
In implementing an efficient block coder for JPEG2000, the memories required for storing the state variables dominate the hardware cost of a block coder. In this paper, we propose...
MICCAI
2005
Springer
16 years 4 months ago
Construction of a 4D Statistical Atlas of the Cardiac Anatomy and Its Use in Classification
Abstract. In this paper we present a novel method for building a 4D statistical atlas describing the cardiac anatomy and how the cardiac anatomy changes during the cardiac cycle. T...
Dimitrios Perperidis, Raad Mohiaddin, Daniel Rueck...
136
Voted
CAV
2007
Springer
116views Hardware» more  CAV 2007»
15 years 9 months ago
A Decision Procedure for Bit-Vectors and Arrays
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
Vijay Ganesh, David L. Dill