169 search results - page 25 / 34 » Last Conflict Based Reasoning |
DBSEC
2010
14 years 12 months ago
2010
The use of location based services has increased significantly over the last few years. However, location information is only sparsely used as a security mechanism. One of the reas...
NIPS
2004
14 years 11 months ago
2004
During the last ten years there has been growing interest in the development of Brain Computer Interfaces (BCIs). The field has mainly been driven by the needs of completely paral...
126
click to vote
ER
1997
Springer
15 years 2 months ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
ASIACRYPT
2006
Springer
15 years 2 months ago
2006
Springer
Pseudorandom Generators (PRGs) based on the RSA inversion (one-wayness) problem have been extensively studied in the literature over the last 25 years. These generators have the a...
IJCAI
2001
14 years 11 months ago
2001
The implementation of effective reasoning tools for deciding the satisfiability of Quantified Boolean Formulas (QBFs) is an important research issue in Artificial Intelligence. Ma...