1063 search results - page 125 / 213 » Order and Negation as Failure |
127
click to vote
MICRO
2009
IEEE
16 years 28 days ago
2009
IEEE
As technology scaling drives the number of processor cores upward, current on-chip routers consume substantial portions of chip area and power budgets. Since existing research has...
160
click to vote
ATAL
2009
Springer
16 years 26 days ago
2009
Springer
We introduce an adversarial planning algorithm based on game tree search, which is applicable in large-scale multiplayer domains. In order to tackle the scalability issues of game...
157
click to vote
SAT
2009
Springer
16 years 25 days ago
2009
Springer
Recent work has shown the value of using unsatisfiable cores to guide maximum satisfiability algorithms (Max-SAT) running on industrial instances [5,9,10,11]. We take this concep...
183
click to vote
SAT
2009
Springer
16 years 25 days ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
171
click to vote
GLVLSI
2008
IEEE
16 years 22 days ago
2008
IEEE
Reliability has become a practical concern in today’s VLSI design with advanced technologies. In-situ sensors have been proposed for reliability monitoring to provide advance wa...