1941 search results - page 167 / 389 » On the Hardness of Approximate Reasoning |
149
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
This paper reports about the 2004 comparative evaluation of solvers for quantified Boolean formulas (QBFs), the second in a series of non-competitive events established with the a...
141
click to vote
FC
2003
Springer
15 years 11 months ago
2003
Springer
Decentralized anonymity infrastructures are still not in wide use today. While there are technical barriers to a secure robust design, our lack of understanding of the incentives t...
179
click to vote
MOMM
2009
ACM
15 years 11 months ago
2009
ACM
Modeling adaptivity is a challenging task for two reasons: 1) adaptation is usually strongly interwoven with the general functionality of the web application, separation of concer...
143
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
In this paper, we describe an outline of “Procedure based help desk system”. Preparing enough amounts of contents for help desk system is important for constructing an efficie...
167
click to vote
CHI
1996
ACM
15 years 10 months ago
1996
ACM
Current user interface construction tools make it difficult for a user interface designer to illustrate the behavior of an interface. These tools focus on specifying widgets and m...