6554 search results - page 356 / 1311 » Constraint Logic Programming |
318
click to vote
ICFP
2009
ACM
16 years 8 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
221
click to vote
ICAI
2010
15 years 5 months ago
2010
- In this article, we present an algorithm which is capable of transforming a gridded dogleg channel routing problem into a constraint programming (CP) problem. The transformed CP ...
295
click to vote
CP
2009
Springer
16 years 8 months ago
2009
Springer
Measuring graph similarity is a key issue in many applications. We propose a new constraint-based modeling language for defining graph similarity measures by means of constraints. ...
184
click to vote
CSB
2005
IEEE
16 years 1 months ago
2005
IEEE
A linear programming algorithm is presented to constructively compute thermodynamically feasible fluxes and change in chemical potentials of reactions for a metabolic network. It...
148
click to vote
AIMS
2007
Springer
16 years 1 months ago
2007
Springer
We describe our effort to evaluate the syntax and constraints of Promise Theory using a tool developed in the Maude framework. Through the development of a Maude module we are able...