595 search results - page 52 / 119 » Using Constraints with Memory to Implement Variable Eliminat... |
125
Voted
CP
2010
Springer
15 years 2 months ago
2010
Springer
Given an arbitrary constraint c on n variables with domain size d, we show how to generate a custom propagator that establishes GAC in time O(nd) by precomputing the propagation th...
103
Voted
AI
2007
Springer
15 years 9 months ago
2007
Springer
When using Bayesian networks, practitioners often express constraints among variables by conditioning a common child node to induce the desired distribution. For example, an ‘orâ...
124
click to vote
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
128
click to vote
PADL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
154
click to vote
CLUSTER
2000
IEEE
15 years 7 months ago
2000
IEEE
Multithreaded parallel system with software Distributed Shared Memory (DSM) is an attractive direction in cluster computing. In these systems, distributing workloads and keeping t...