1795 search results - page 250 / 359 » Search by strategy |
175
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...
203
click to vote
ICIAP
2003
ACM
16 years 6 months ago
2003
ACM
In this paper we present some analysis techniques and indexing strategies aimed to support classification and retrieval of textures using only perceptual features. The goal of thi...
173
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we present a new algorithm of snakes with geometric prior. A method of shape alignment using Fourier coefficients is introduced to estimate the Euclidean transform...
169
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
We analyse the computational complexity of finding Nash equilibria in stochastic multiplayer games with ω-regular objectives.While the existence of an equilibrium whose payoff fal...
165
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
The discrete particle swarm optimization (DPSO) is a kind of particle swarm optimization (PSO) algorithm to find optimal solutions for discrete problems. This paper proposes an i...