4099 search results - page 364 / 820 » A Framework for Interactive Proof |
143
click to vote
ACL
1997
15 years 8 months ago
1997
We propose a unified framework in which to treat semantic underspecification and parallelism phenomena in discourse. The framework employs a constraint language that can express e...
176
click to vote
TCC
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Parallel repetition is well known to reduce the error probability at an exponential rate for single- and multi-prover interactive proofs. Bellare, Impagliazzo and Naor (1...
182
click to vote
ESOP
2004
Springer
16 years 4 days ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
171
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
This paper explores the concept of somaesthetics as an approach to the design of expressive interaction. This concept is exemplified through the design process of soft(n), an inte...
203
click to vote
ISVC
2007
Springer
16 years 27 days ago
2007
Springer
A major challenge in deploying service robots into the real world is to design a framework that provides effective, long-term interactions with people. This includes interacting w...