7006 search results - page 1004 / 1402 » Approximation Algorithms |
156
Voted
FMCAD
2007
Springer
16 years 29 days ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
153
Voted
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
We apply a novel theoretical approach to better understand the behaviour of different types of bare-bones PSOs. It avoids many common but unrealistic assumptions often used in an...
170
click to vote
ISAAC
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, we consider the problem of partitioning a small data sample drawn from a mixture of k product distributions. We are interested in the case that individual features a...
140
click to vote
ISICA
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. MOEA/D is a novel and successful Multi-Objective Evolutionary Algorithms(MOEA) which utilizes the idea of problem decomposition to tackle the complexity from multiple obj...
184
click to vote
MIRAGE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper is concerned itself with the analysis of the twophase Mumford-Shah model also known as the active contour without edges model introduced by Chan and Vese. It c...