Sciweavers

194 search results - page 20 / 39
» Comparison of Statistical Significance Criteria
Sort
View
ICST
2009
IEEE
13 years 5 months ago
An Evaluation of Model Checkers for Specification Based Test Case Generation
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
Gordon Fraser, Angelo Gargantini
CCP
2011
136views more  CCP 2011»
12 years 8 months ago
Fast Implementation of Block Motion Estimation Algorithms in Video Encoders
This project will involve analysing some of the newer fast algorithms in comparison with an exhaustive full search algorithm for motion estimation in video encoders. It will invest...
Naga Rohini Koduri, Mqhele E. Dlodlo, Gerhard de J...
IJCV
2008
123views more  IJCV 2008»
13 years 8 months ago
Nonlocal Image and Movie Denoising
Neighborhood filters are nonlocal image and movie filters which reduce the noise by averaging similar pixels. The first object of the paper is to present a unified theory of these...
Antoni Buades, Bartomeu Coll, Jean-Michel Morel
SIGIR
2009
ACM
14 years 2 months ago
Protein identification as an information retrieval problem
We present the first interdisciplinary work on transforming a popular problem in proteomics, i.e. protein identification from tandem mass spectra, to an Information Retrieval (IR)...
Yiming Yang, Subramaniam Ganapathy, Abhay Harpale
GECCO
2005
Springer
135views Optimization» more  GECCO 2005»
14 years 1 months ago
Improving particle swarm optimization with differentially perturbed velocity
This paper introduces a novel scheme of improving the performance of particle swarm optimization (PSO) by a vector differential operator borrowed from differential evolution (DE)....
Swagatam Das, Amit Konar, Uday Kumar Chakraborty