4508 search results - page 440 / 902 » Design of human-map system interaction |
200
Voted
ATVA
2005
Springer
16 years 1 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
180
Voted
MDM
2004
Springer
16 years 1 months ago
2004
Springer
Enabling people-to-people interaction across heterogeneous communication end-points enhances user experience and fosters people collaboration. This paper presents the design and i...
202
Voted
HUC
1999
Springer
15 years 12 months ago
1999
Springer
This paper introduces the notion of profile-based cooperation as a way to support awareness and informal communication between mobile users during chance encounters. We describe th...
240
Voted
CHI
1998
ACM
15 years 12 months ago
1998
ACM
This paper presents experimental results comparing two different designs for a spoken language interface to email. We compare a mixed-initiative dialogue style, in which users can...
196
Voted
MC
2007
15 years 9 months ago
2007
The intelligent tutoring system LARGO allows law students to annotate a transcript of an oral argument using diagrams which can be linked to text portions. LARGO analyzes diagrams...