4355 search results - page 552 / 871 » Increasing Kolmogorov Complexity |
171
click to vote
CSL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Abduction is a fundamental mode of reasoning, which has taken on increasing importance in Artificial Intelligence (AI) and related disciplines. Computing abductive expla...
159
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
151
click to vote
EUROPAR
2003
Springer
15 years 12 months ago
2003
Springer
Parallel programming is seen as an effective technique to improve the performance of computationally-intensive programs. This is done at the cost of increasing the complexity of t...
186
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
157
Voted
ICS
2003
Tsinghua U.
15 years 12 months ago
2003
Tsinghua U.
—The ever-increasing computational power of contemporary microprocessors reduces the execution time spent on arithmetic computations (i.e., the computations not involving slow me...