1652 search results - page 217 / 331 » Matching Vector Codes |
DCC
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose a stochastic model for video and compute its information rates. The model has two sources of information representing ensembles of camera motion and visual scene data (...
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
107
click to vote
CIARP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The usage of Conformal Geometric Algebra leads to algorithms that can be formulated in a very clear and easy to grasp way. But it can also increase the performance of an ...
MIRAGE
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we propose a novel framework for 3D object categorization. The object is modeled it in terms of its sub-parts as an histogram of 3D visual word occurrences. We introd...
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
Dynamic volumetric (four dimensional- 4D) medical images are typically huge in file size and require a vast amount of resources for storage and transmission purposes. In this pape...