518 search results - page 68 / 104 » Advanced Question and Answering Systems for Community Develo... |
STOC
1999
ACM
15 years 2 months ago
1999
ACM
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...
SOFSEM
2010
Springer
15 years 6 months ago
2010
Springer
The biggest challenge facing software developers today is how to gracefully evolve complex software systems in the face of changing requirements. We clearly need software systems t...
NORDICHI
2004
ACM
15 years 3 months ago
2004
ACM
This paper describes a new digital user study tool called Mobile Probes. Mobile Probes arose from a need to develop contextual and dynamic self-documenting tools for studying peop...
AIPS
2011
14 years 1 months ago
2011
In recent years, there has been considerable interest in the use of planning techniques in new media and computer games. Many traditional planning notions no longer apply in the c...
PAM
2004
Springer
15 years 3 months ago
2004
Springer
Given that the global DNS system, especially at the higher root and top-levels, experiences significant query loads, we seek to answer the following questions: (1) How does the ch...