9405 search results - page 268 / 1881 » Computing a Model of Set Theory |
120
Voted
ICDM
2005
IEEE
15 years 10 months ago
2005
IEEE
In the information age, data is pervasive. In some applications, data explosion is a significant phenomenon. The massive data volume poses challenges to both human users and comp...
129
click to vote
AAAI
2004
15 years 6 months ago
2004
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boo...
177
Voted
CLIMA
2006
15 years 6 months ago
2006
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and be...
125
Voted
JCP
2007
15 years 4 months ago
2007
Abstract— Converting a secure group key agreement protocol into password-based setting is not a trivial task. The security of a password-based scheme hinges on preventing diction...
166
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the co...