13183 search results - page 71 / 2637 » Paper or interactive |
113
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...
123
Voted
ENTCS
2006
15 years 2 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
125
Voted
HRI
2007
ACM
15 years 6 months ago
2007
ACM
This paper presents a proof-of-concept of a robot that is adapting its behaviour on-line, during interactions with a human according to detected play styles. The study is part of ...
146
Voted
ICIP
1999
IEEE
16 years 4 months ago
1999
IEEE
This paper presents a toolbox for interactive image segmentation based on a series of nested partitions of increasing coarseness. The user can navigate among the different resolut...
95
Voted
AISC
2006
Springer
15 years 6 months ago
2006
Springer
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...