1411 search results - page 81 / 283 » Interactive Coding for Interactive Proofs |
FLAIRS
2004
15 years 1 months ago
2004
NL interaction and skillful hinting are known as cornerstones for successful tutoring. Despite these insights, a combination of these two factors is widely under-represented in th...
106
Voted
AOSE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Governance means that specifications are enforced dynamically at application runtime. Governance framework is a technique to design and implement an extensible interactio...
100
click to vote
ACHI
2008
IEEE
15 years 7 months ago
2008
IEEE
—This paper analyzes the benefit and the limitations of using a particular biometric technology “namely face authentication” for banking applications. We present first the ge...
110
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
The ready availability of online source code examples has changed the cost structure of programming by example modification. However, current search tools are wholly separate from...
102
Voted
STOC
2007
ACM
16 years 25 days ago
2007
ACM
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...