1421 search results - page 179 / 285 » Satisfying KBO Constraints |
199
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...
181
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...
176
click to vote
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...
191
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...
204
click to vote
WWW
2010
ACM
15 years 7 months ago
2010
ACM
We study the problem of anonymizing user profiles so that user privacy is sufficiently protected while the anonymized profiles are still effective in enabling personalized web sea...