7092 search results - page 109 / 1419 » Parallelizing constraint programs |
101
Voted
ENTCS
2008
15 years 16 days ago
2008
We explore the relation between the stochastic semantic associated to stochastic Concurrent Constrain Programming (sCCP) and its fluid-flow approximation. Writing the master equat...
94
Voted
CISS
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— In previous work, we established a linear programming framework to determine sensor location from measured link distances between neighboring nodes in a network. Beside...
ISMB
1994
15 years 1 months ago
1994
Thispaperdescribesthe applicationof the Inductive Logic Programming0LP) program GOLEMto the discoveryof constraintsin the packingof beta-sheets in alpha/betaproteins. Theseconstra...
103
click to vote
GCB
1997
Springer
15 years 4 months ago
1997
Springer
We present a global search technique for nding the global minimal conformation of a sequence in Dill's HP-lattice model5;6 . The HP-lattice model is a simpli ed model of prot...
102
click to vote
FOCS
2008
IEEE
15 years 7 months ago
2008
IEEE
We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are ‘unique’ cons...