1426 search results - page 203 / 286 » Specification of nonmonotonic reasoning |
IWCC
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, we present techniques and algorithms to improve the performance of various communication patterns on message-passing platforms where, for reasons of safety, user-le...
OOPSLA
1999
Springer
15 years 2 months ago
1999
Springer
The Advanced Teaching and Learning Academic Server (Atlas) is a software system that supports web-based learning. Students can register for courses, and can navigate through perso...
103
click to vote
CCS
1998
ACM
15 years 2 months ago
1998
ACM
This paper describes a new public-key cryptosystem based on the hardness of computing higher residues modulo a composite RSA integer. We introduce two versions of our scheme, one d...
KDD
1998
ACM
15 years 2 months ago
1998
ACM
An important issue in data mining is the recognition of complex dependencies between attributes. Past techniques for identifying attribute dependence include correlation coefficie...
EPIA
1997
Springer
15 years 2 months ago
1997
Springer
GenSATis a family of local hill-climbing procedures for solving propositional satisfiability problems.We restate it as a navigational search process performed on an N-dimensionalc...