5085 search results - page 314 / 1017 » Multidimensional Design by Examples |
175
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
Designing watermarking codes that can withstand geometric and other desynchronization attacks is a notoriously difficult problem. One may ask whether these difficulties are due to...
153
click to vote
ICIP
1995
IEEE
16 years 8 months ago
1995
IEEE
A structure for implementing lapped transforms with time-varying block sizes is presented which allows full orthogonality of the transient transforms. The formulation is based on ...
313
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
182
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...
189
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper we demonstrate a new and original way to apply the representation theory of finite groups to the development of space-time codes for use in multiple antenna wireless ...