4690 search results - page 323 / 938 » An operational semantics for Scheme |
187
click to vote
JCS
2007
15 years 6 months ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
172
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
In this work, we address the problem of building recognition across two camera views with large changes in scales and viewpoints. The main idea is to construct a semantically rich...
180
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper considers a coding scheme for data transmission over erasure channels which is also known as multiple description coding. The LMMSE prefilter method of Romano [1] is r...
163
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, a novel approach for parallel kinematic machine control relying on a fast exteroceptive measure is implemented and validated on the Orthoglide robot. This approa...
154
click to vote
ISCAS
2005
IEEE
16 years 11 days ago
2005
IEEE
— Electronic image stabilizer and video codec are two important components of a digital video camera. Both require motion information of the captured image sequence to perform th...