7109 search results - page 369 / 1422 » Process Algebra with Combinators |
142
click to vote
ICIP
2001
IEEE
16 years 7 months ago
2001
IEEE
Resolution enhancement for video sequences has always been an attractive application in multimedia signal processing. "Superresolution" methods, that combine non-redunda...
205
click to vote
LICS
2009
IEEE
16 years 28 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
147
click to vote
APPROX
2009
Springer
16 years 27 days ago
2009
Springer
Motivated by questions in property testing, we search for linear error-correcting codes that have the “single local orbit” property: i.e., they are specified by a single loca...
152
click to vote
ASIACRYPT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In 1985 Fell and Diffie proposed constructing trapdoor functions with multivariate equations [11]. They used several sequentially solved stages. Another idea of building ...
209
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract— In this paper, collocated and distributed spacetime block codes (DSTBCs) which admit multi-group maximum likelihood (ML) decoding are studied. First the collocated case...