Sciweavers

121 search results - page 15 / 25
» Universal Transform Coding Based on Backward Adaptation
Sort
View
ECOOP
2007
Springer
15 years 1 months ago
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...
Patrice Chalin, Perry R. James
ICIP
2006
IEEE
15 years 11 months ago
Exploiting Spatial Redundancy in Pixel Domain Wyner-Ziv Video Coding
Distributed video coding is a recent paradigm that enables a flexible distribution of the computational complexity between the encoder and the decoder building on top of distribut...
Alan Trapanese, Catarina Brites, Fernando Pereira,...
ICMCS
2000
IEEE
89views Multimedia» more  ICMCS 2000»
15 years 2 months ago
A Performance Based Parametric Model for Facial Animation
In this paper we present a parametric model for facial animation and a method for adapting it to a specific person. Every facial expression can be described as a contraction or r...
Ania Wojdel, Léon J. M. Rothkrantz
CADE
1998
Springer
15 years 1 months ago
System Description: leanK 2.0
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
Bernhard Beckert, Rajeev Goré
CRYPTO
2000
Springer
277views Cryptology» more  CRYPTO 2000»
15 years 1 months ago
Almost Independent and Weakly Biased Arrays: Efficient Constructions and Cryptologic Applications
The best known constructions for arrays with low bias are those from [1] and the exponential sum method based on the WeilCarlitz-Uchiyama bound. They all yield essentially the same...
Jürgen Bierbrauer, Holger Schellwat