2152 search results - page 298 / 431 » On Automating the Calculus of Relations |
115
click to vote
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
100
Voted
TARK
2005
Springer
15 years 6 months ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
93
Voted
ASPDAC
2004
ACM
15 years 6 months ago
2004
ACM
Delay minimization continues to be an important objective in the design of high-performance computing system. In this paper, we present an effective methodology to guide the delay...
83
Voted
CEAS
2004
Springer
15 years 6 months ago
2004
Springer
End users are often unaware that their systems have been compromised and are being used to send bulk unsolicited email (spam). We show how automated processing of the email logs re...
114
Voted
EWCBR
2004
Springer
15 years 6 months ago
2004
Springer
Knowledge-intensive CBR assumes that cases are enriched with general domain knowledge. In CREEK, there is a very strong coupling between cases and general domain knowledge, in that...