3938 search results - page 320 / 788 » Interactive Protocols on the Reals |
193
click to vote
FOCS
2002
IEEE
15 years 11 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,...
167
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...
193
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Most research about multi-agent coordination is concentrated at a high level, e.g., developing coordination interaction protocols to be imposed on agents. There has been less conc...
197
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
285
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
Enacting and capturing real motion for all potential scenarios is terribly expensive; hence, there is a great demand to synthetically generate realistic human motion. However, it ...