22 search results - page 5 / 5 » Incorporating Learning in Grid-Based Randomized SAT Solving |
CICLING
2011
Springer
12 years 8 months ago
2011
Springer
In recent years, extraction of temporal relations for events that express sentiments has drawn great attention of the Natural Language Processing (NLP) research communities. In thi...
CRYPTO
2000
Springer
13 years 9 months ago
2000
Springer
In this work we use cryptography to solve a game-theoretic problem which arises naturally in the area of two party strategic games. The standard game-theoretic solution concept for...