2647 search results - page 191 / 530 » Solving Term Inequalities |
179
click to vote
DAC
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we formulate symmetry detection for incompletely specified functions as an equation without using cofactor computation and equivalence checking. Based on this equat...
131
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Concepts in Answer Set Programming (ASP) are normally defined in terms of atoms. We show that the treatment of atoms and bodies (of rules) as equitable computational obje...
202
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
Here we present a new image registration algorithm for the alignment of histological sections that combines the ideas of B-spline based elastic registration and consistent image re...
150
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
When an evolutionary algorithm addresses a sequence of instances of the same problem, it can seed its population with solutions that it found for previous instances. This techniqu...
187
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Niching techniques play an important role in evolutionary algorithms. Existing niching methods often require userspecified parameters, limiting their usefulness. This paper propos...