2032 search results - page 206 / 407 » Encodings of the Sequence Constraint |
146
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
ABSTRACT. In this paper a secure communication method is proposed, based on left invertibility of output-quantized dynamical systems. The sender uses an output-quantized linear sys...
163
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
LRM-Trees are an elegant way to partition a sequence of values into sorted consecutive blocks, and to express the relative position of the first element of each block within a prev...
159
click to vote
TCSV
2010
15 years 1 months ago
2010
In this paper we propose an edge-directed error concealment (EDEC) algorithm, to recover lost slices in video sequences encoded by flexible macroblock ordering. First, the strong e...
150
click to vote
IPMI
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Active imaging is a recently developed approach to modelbased optimisation of imaging protocols. In the application we discuss here, a diffusion magnetic resonance imagin...
178
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...