1224 search results - page 203 / 245 » Theory decision by decomposition |
SAT
2004
Springer
14 years 4 months ago
2004
Springer
Kolaitis and Vardi pointed out that constraint satisfaction and conjunctive query containment are essentially the same problem. We study the Boolean conjunctive queries under a mor...
CHI
2010
ACM
14 years 4 months ago
2010
ACM
A typical consent dialog was shown in 2×2×3 experimental variations to 80,000 users of an online privacy tool. We find that polite requests and button texts pointing to a volun...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper provides descriptive research about a successful collaborative vision development process undertaken for a regional United Way. The entire process from learning about t...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
An increasing number of Web-based systems, including brainstorming, decision-making, and negotiation support systems, are being developed to aid users in solving particular types ...
IAT
2003
IEEE
14 years 4 months ago
2003
IEEE
Members of high-performing human teams can often anticipate information needs of teammates and offer relevant information to them proactively. Such capabilities are highly desirab...