233 search results - page 37 / 47 » Interactive Proofs For Quantum Computations |
112
Voted
HCI
2009
14 years 9 months ago
2009
Abstract. The archetype of many novel research activities is called cognition. Although separate definitions exist to define a technical cognitive system, it is typically character...
ACSC
2005
IEEE
15 years 5 months ago
2005
IEEE
1 Service discovery protocols are used in distributed systems to locate services for clients. The services that are located as well as the clients requesting service are commonly a...
ASM
2008
ASM
15 years 1 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
180
Voted
COMMA
2010
14 years 6 months ago
2010
This paper addresses the problem of revising a Dung-style argumentation framework by adding finitely many new arguments which may interact with old ones. We study the behavior of t...
97
Voted
HRI
2009
ACM
15 years 6 months ago
2009
ACM
Simultaneous teleoperation of mobile, social robots presents unique challenges, combining the real-time demands of conversation with the prioritized scheduling of navigational tas...