4413 search results - page 8 / 883 » New Directions for CACM |
LICS
2003
IEEE
14 years 1 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
FUZZY
2001
Springer
14 years 1 months ago
2001
Springer
CACM
2006
13 years 8 months ago
2006
Traditional auctions such as the English and first-price sealed-bid auctions have been adopted as another tool for procurement negotiations. Throughout the past decade many new auc...
CACM
2004
13 years 8 months ago
2004
ent through the use of meaningful abstractions in order to avoid dealing with low-level details. Despite this potential benefit, their adoption has mainly been limited to professio...
CACM
1999
13 years 8 months ago
1999
To facilitate the sharing of information using modern communication networks, users must be able to decide on a privacy policy--what information to conceal, what to reveal, and to...