1888 search results - page 109 / 378 » Proof theory and computational analysis |
89
Voted
PAMI
1998
15 years 6 days ago
1998
—In this paper, we give a detailed analysis of the accuracy of Zernike moments in terms of their discretization errors and the reconstruction power. It is found that there is an ...
209
Voted
POPL
2008
ACM
16 years 26 days ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
117
click to vote
PE
2010
Springer
14 years 11 months ago
2010
Springer
We consider a push pull queueing system with two servers and two types of jobs which are processed by the two servers in opposite order, with stochastic generally distributed proc...
97
Voted
EUSFLAT
2001
15 years 1 months ago
2001
One of the biggest problems in computer vision systems, analyzing images having high uncertainty/vagueness degree, is the treatment of such uncertainty. This problem is even clear...
79
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
Maintaining diversity is important for the performance of evolutionary algorithms. Diversity mechanisms can enhance global exploration of the search space and enable crossover to ...