6456 search results - page 300 / 1292 » Constraint Solving on Terms |
177
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We present an algebraic solution to direct registration of diffusion tensor images under various local deformation models. We show how to linearly recover the deformation from the...
187
click to vote
ICHIT
2009
Springer
16 years 1 months ago
2009
Springer
In this application of artificial intelligence to a real-world problem, the constrained scheduling of employee resourcing for a mall type shop is solved by means of a genetic algo...
122
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a novel approximation algorithm (RelaxSAT) for MIN-ONE SAT. RelaxSAT generates a set of constraints from the objective function to guide the search. The ...
174
click to vote
CP
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes a hybrid approach to solving large-scale constraint satisfaction and optimization problems. It describes a hybrid algorithm for integer linear programming whic...
128
click to vote
ECAL
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper proposes a computational model for solving optimisation problems that mimics the principle of evolutionary transitions in individual complexity. More specific...