6404 search results - page 344 / 1281 » Blocks |
138
click to vote
COLING
1990
15 years 7 months ago
1990
2 This paper analyzes the structural features of naturally-occurring extended explanations and argues that current generation methodologies are inadequate for determining high-leve...
164
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
In this contribution, a novel spatio-temporal prediction algorithm for video coding is introduced. This algorithm exploits temporal as well as spatial redundancies for effectively...
174
click to vote
AAECC
2008
Springer
15 years 6 months ago
2008
Springer
We provide some guidelines for deriving new projective hash families of cryptographic interest. Our main building blocks are so called group action systems; we explore what propert...
155
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper asymptotic methods are used to form lower bounds on the free distance to constraint length ratio of several ensembles of regular, asymptotically good, protographbased...
150
click to vote
ENTCS
2010
15 years 6 months ago
2010
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus is the first system to use pattern-based blocking...