4426 search results - page 606 / 886 » Concurrent Constraint Programming |
166
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
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...
149
click to vote
NIPS
2007
15 years 8 months ago
2007
Most models of decision-making in neuroscience assume an infinite horizon, which yields an optimal solution that integrates evidence up to a fixed decision threshold; however, u...
161
click to vote
CASCON
2004
15 years 8 months ago
2004
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...
151
click to vote
FLAIRS
2006
15 years 7 months ago
2006
We are developing systems which play music on synthesized plucked strings instruments idiomatically. The present paper introduces a system focusing on the acoustic guitar. The sys...
171
click to vote
AAAI
1994
15 years 7 months ago
1994
We describe a method for learning formulas in firstorder logic using a brute-force, smallest-first search. The method is exceedingly simple. It generates all irreducible well-form...