7092 search results - page 195 / 1419 » Parallelizing constraint programs |
113
click to vote
ECAI
2004
Springer
15 years 7 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...
126
click to vote
PARELEC
2006
IEEE
15 years 8 months ago
2006
IEEE
High performance computing in heterogeneous environments is a dynamically developing area. A number of highly efficient heterogeneous parallel algorithms have been designed over l...
102
Voted
IJCV
2007
15 years 2 months ago
2007
The machine interpretation of line drawings has applications both in vision and geometric modelling. This paper extends the classic technique of assigning semantic labels to lines ...
129
click to vote
AGP
1995
IEEE
15 years 5 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
134
click to vote
SCP
1998
15 years 1 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...