804 search results - page 98 / 161 » On the Termination of the Chase Algorithm |
112
Voted
LPAR
2004
Springer
15 years 6 months ago
2004
Springer
DPLL and DPLL Modulo Theories Robert Nieuwenhuis , Albert Oliveras , and Cesare Tinelli We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davi...
93
Voted
APLAS
2003
ACM
15 years 5 months ago
2003
ACM
This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling...
85
Voted
ICDM
2002
IEEE
15 years 5 months ago
2002
IEEE
Presently, inductive learning is still performed in a frustrating batch process. The user has little interaction with the system and no control over the final accuracy and traini...
120
click to vote
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
HeteroSort load balances and sorts within static or dynamic networks. Upon failure of a node or path, HeteroSort uses a genetic algorithm to minimize the distribution path by optim...
114
click to vote
ACISP
1998
Springer
15 years 4 months ago
1998
Springer
The confidentiality of encrypted data depends on how well the key under which it was encrypted is maintained. If a session key was exchanged encrypted under a long-term key, exposu...