4117 search results - page 333 / 824 » On the Satisfiability of Complex Constraints |
188
click to vote
MMNS
2003
15 years 8 months ago
2003
Multicasting is an important communication mechanism for implementing real-time multimedia applications, which usually require the underlying network to provide a number of quality...
179
click to vote
ICONIP
1998
15 years 8 months ago
1998
YANNS (Yet Another Neural Network Simulator) is a new object-oriented neural network simulator for feedforward networks as well as general recurrent networks. The goal of this pro...
167
click to vote
AAAI
1997
15 years 8 months ago
1997
We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...
163
Voted
AAAI
1990
15 years 8 months ago
1990
Recently-developed techniques have improved the performance of production systems several times over. However, these techniques are not yet adequate for continuous problem solving...
185
click to vote
EUROPAR
2010
Springer
15 years 8 months ago
2010
Springer
This paper introduces a set object, namely a shared object that allows processes to add and remove values as well as take a snapshot of its content. A new consistency condition su...