3778 search results - page 395 / 756 » Erdos-Ko-Rado for three sets |
161
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
This paper explores the relationship between display of feedback (public vs. private) by a computer system and the basis for evaluation (present vs. absent) of that feedback. We e...
185
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
When virtual teams need to establish trust at a distance, it is advantageous for them to use rich media to communicate. We studied the emergence of trust in a social dilemma game ...
200
click to vote
RECOMB
2007
Springer
16 years 7 months ago
2007
Springer
We present a technique for approximating the free energy of protein structures using Generalized Belief Propagation (GBP). The accuracy and utility of these estimates are then demo...
171
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
307
click to vote
VLDB
2008
ACM
16 years 7 months ago
2008
ACM
The evolution of computing technology suggests that it has become more feasible to offer access to Web information in a ubiquitous way, through various kinds of interaction device...