5423 search results - page 794 / 1085 » Denial-of-service in automation systems |
202
click to vote
EWCBR
2004
Springer
16 years 28 days 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...
187
click to vote
EWCBR
2004
Springer
16 years 28 days ago
2004
Springer
Two key objectives of conversational case-based reasoning (CCBR) systems are (1) eliciting case facts in a manner that minimizes the user’s burden in terms of resources such as t...
220
click to vote
EWCBR
2004
Springer
16 years 28 days ago
2004
Springer
Case-based Reasoning (CBR) is a mature technology for building knowledge-based systems that are capable to produce useful results even if no answer matches the query exactly. Often...
214
click to vote
KR
2004
Springer
16 years 27 days ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
210
click to vote
LOPSTR
2004
Springer
16 years 27 days ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...