Sciweavers

3143 search results - page 241 / 629
» Minimization of entropy functionals
Sort
View
ICIP
2002
IEEE
16 years 6 months ago
Image resampling between orthogonal and hexagonal lattices
Resampling techniques are commonly required in digital image processing systems. Many times the classical interpolation functions are used, i.e., nearest-neighbour interpolation a...
Dimitri Van De Ville, Rik Van de Walle, Wilfried P...
DAC
2002
ACM
16 years 5 months ago
Deriving a simulation input generator and a coverage metric from a formal specification
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
Kanna Shimizu, David L. Dill
DAC
2005
ACM
16 years 5 months ago
A new canonical form for fast boolean matching in logic synthesis and verification
? An efficient and compact canonical form is proposed for the Boolean matching problem under permutation and complementation of variables. In addition an efficient algorithm for co...
Afshin Abdollahi, Massoud Pedram
ICML
2006
IEEE
16 years 5 months ago
A continuation method for semi-supervised SVMs
Semi-Supervised Support Vector Machines (S3 VMs) are an appealing method for using unlabeled data in classification: their objective function favors decision boundaries which do n...
Olivier Chapelle, Mingmin Chi, Alexander Zien
ICPR
2010
IEEE
15 years 11 months ago
Integrating a Discrete Motion Model into GMM Based Background Subtraction
GMM based algorithms have become the de facto standard for background subtraction in video sequences, mainly because of their ability to track multiple background distributions, w...
Christian Wolf, Jolion Jolion