7335 search results - page 1215 / 1467 » Scene Based Reasoning |
176
click to vote
ICS
2005
Tsinghua U.
16 years 1 days ago
2005
Tsinghua U.
BlueGene/L is currently the world’s fastest supercomputer. It consists of a large number of low power dual-processor compute nodes interconnected by high speed torus and collect...
179
click to vote
ILP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Logical Bayesian Networks (LBNs) have recently been introduced as another language for knowledge based model construction of Bayesian networks, besides existing languages...
159
click to vote
KES
2005
Springer
16 years 1 days ago
2005
Springer
The new market forces have affected the operation of distribution centers (DCs) extremely. The DCs demand an increased productivity and a low cost in their daily operation. This pa...
195
click to vote
LPAR
2005
Springer
16 years 1 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
185
click to vote
LPNMR
2005
Springer
16 years 1 days ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...