9520 search results - page 1803 / 1904 » or 2011 |
184
click to vote
ICDT
2011
ACM
14 years 7 months ago
2011
ACM
The goal of Knowledge Compilation is to represent a Boolean expression in a format in which it can answer a range of online-queries in PTIME. The online-query of main interest to ...
237
click to vote
ICITS
2011
14 years 7 months ago
2011
In this paper, we use the concept of colored edge graphs to model homogeneous faults in networks. We then use this model to study the minimum connectivity (and design) requirements...
194
click to vote
ICLP
2011
Springer
14 years 7 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
176
click to vote
ICS
2011
Tsinghua U.
14 years 7 months ago
2011
Tsinghua U.
Suppose one is considering purchase of a computer equipped with accelerators. Or suppose one has access to such a computer and is considering porting code to take advantage of the...
171
click to vote
ICS
2011
Tsinghua U.
14 years 7 months ago
2011
Tsinghua U.
The probability that a failure will occur before the end of the computation increases as the number of processors used in a high performance computing application increases. For l...