Sciweavers

1512 search results - page 30 / 303
» Principles of IEEE 802.11s
Sort
View
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
14 years 11 days ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
ICCV
2001
IEEE
14 years 10 months ago
Multi-Frame Infinitesimal Motion Model for the Reconstruction of (Dynamic) Scenes with Multiple Linearly Moving Objects
We introduce new small-motion multi-frame equations applicable to the reconstruction of dynamic scenes in which points are allowed to move along straight-line paths with constant ...
Amnon Shashua, Anat Levin
ICIP
2003
IEEE
14 years 10 months ago
Dither-based secure image hashing using distributed coding
We propose an image hashing algorithm that is based on distributed compression principles. The algorithm assumes the availability of a robust feature vector extracted from the ima...
Mark Johnson, Kannan Ramchandran
ICIP
2001
IEEE
14 years 10 months ago
On sparse signal representations
An elementary proof of a basic uncertainty principle concerning pairs of representations of ?? vectors in different orthonormal bases is provided. The result, slightly stronger th...
Michael Elad, Alfred M. Bruckstein
ICIP
2008
IEEE
14 years 3 months ago
Connected filtering by reconstruction: Basis and new advances
Openings-by-reconstruction are the oldest connected filters, and indeed, reconstruction methodology lies at the heart of many connected operators such as levelings. Starting out ...
Michael H. F. Wilkinson