13841 search results - page 182 / 2769 » Algorithms and Constraint Programming |
182
click to vote
POPL
1993
ACM
15 years 10 months ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
177
click to vote
HEURISTICS
2006
15 years 6 months ago
2006
Multiobjective optimization deals with problems involving multiple measures of performance that should be optimized simultaneously. In this paper we extend bucket elimination (BE),...
186
click to vote
CPAIOR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper introduces a problem called the temporal knapsack problem, presents several algorithms for solving it, and compares their performance. The temporal knapsack pr...
143
click to vote
ICPR
2006
IEEE
16 years 16 days ago
2006
IEEE
Image registration is the process of geometrically aligning
two or more images. In this paper we describe a method
for registering pairs of images based on thin-plate spline
map...
152
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Finite-domain constraint programming can be used to solve a wide range of problems by first modelling the problem as a set of constraints that characterise the problem’s solutio...