4372 search results - page 279 / 875 » Algorithmic Theories of Everything |
187
click to vote
SIGGRAPH
1997
ACM
15 years 10 months ago
1997
ACM
Morse theory shows how the topology of an implicit surface is affected by its function’s critical points, whereas catastrophe theory shows how these critical points behave as th...
139
click to vote
ICDT
1997
ACM
15 years 10 months ago
1997
ACM
Abstract. The correctness of nested transactions for multidatabases differs from that of at transactions in that, for nested transactions the execution order of siblings at each re...
154
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
A central issue in relational learning is the choice of an appropriate bias for limiting first-order induction. The purpose of this study is to circumvent this issue within a unifo...
155
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
The fundamental operation of dominance testing, i.e., determining if one alternative is preferred to another, is in general very hard for methods of reasoning with qualitative cond...
169
click to vote
KR
1991
Springer
15 years 9 months ago
1991
Springer
In the paper, we investigate the way in which nonmonotonic modal logics depend on their underlying monotonic modal logics. Most notably, we study when different monotonic modal l...