1810 search results - page 228 / 362 » BASE: Using Abstraction to Improve Fault Tolerance |
171
click to vote
IACR
2011
14 years 6 months ago
2011
Abstract—In this work we consider two protocols for performing cryptanalysis and security enhancement. The first one by Song, is a password authentication scheme based on smart ...
150
click to vote
DIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Ripple Down Rules is a practical methodology to build knowledgebased systems, which has proved successful in a wide range of commercial applications. However, little work...
194
click to vote
ICLP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
160
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which s...
160
click to vote
KI
2004
Springer
15 years 11 months ago
2004
Springer
We present a novel geometric model for robot mapping suited for robots equipped with a laser range finder. The geometric representation is based on shape. Cyclic ordered sets of p...