5423 search results - page 794 / 1085 » Denial-of-service in automation systems |
187
click to vote
EWCBR
2004
Springer
16 years 5 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...
163
click to vote
EWCBR
2004
Springer
16 years 5 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...
198
click to vote
EWCBR
2004
Springer
16 years 5 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...
189
click to vote
KR
2004
Springer
16 years 4 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...
185
click to vote
LOPSTR
2004
Springer
16 years 4 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...