4099 search results - page 122 / 820 » A Framework for Interactive Proof |
E4MAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. While agents and environments are two intimately connected concepts, most approaches for multi-agent development focus on the agent-specific part of the system, whereas ...
ROMAN
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Human-robot collaboration requires both communicative and decision making skills of a robot. To enable flexible coordination and turn-taking between human users and a ...
ICIA
2007
15 years 7 days ago
2007
Verbal and non-verbal interaction capabilities for robots are often studied isolated from each other in current research trend because they largely contribute to different aspects...
ICFP
2008
ACM
15 years 10 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
FOCS
2002
IEEE
15 years 2 months ago
2002
IEEE
We show that every language in NP has a (black-box) concurrent zero-knowledge proof system using ˜O(log n) rounds of interaction. The number of rounds in our protocol is optimal,...