4460 search results - page 765 / 892 » Formal methods for interactive systems |
152
Voted
ICMI
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we introduce a system that automatically adds different types of non-verbal behavior to a given dialogue script between two virtual embodied agents. It allows us to ...
120
Voted
GROUP
2005
ACM
15 years 9 months ago
2005
ACM
The RideNow Project is designed to help individuals within a group or organization coordinate ad hoc shared rides. This paper describes three design decisions the RideNow team mad...
112
click to vote
HT
2005
ACM
15 years 9 months ago
2005
ACM
Active reading and hypermedia usage are an integral part of scholar daily practices, but the full exploitation of their potentialities still lies far ahead. In the search for new ...
145
Voted
MM
2004
ACM
15 years 9 months ago
2004
ACM
Subspace learning techniques are widespread in pattern recognition research. They include Principal Component Analysis (PCA), Locality Preserving Projection (LPP), etc. These tech...
129
Voted
NORDICHI
2004
ACM
15 years 9 months ago
2004
ACM
Proactivity has recently arisen as one of the focus areas within HCI. Proactive systems adhere to two premises: 1) working on behalf of, or pro, the user, and 2) acting on their o...