1490 search results - page 212 / 298 » Interactive semantics |
159
click to vote
ACII
2007
Springer
15 years 8 months ago
2007
Springer
Recent research has shown that virtual agent able to express empathic emotions enhances human-machine interaction. In this paper, we present the capabilities that virtual agent sho...
167
click to vote
ERCIMDL
2008
Springer
15 years 8 months ago
2008
Springer
We present iClusterDL, a self-organising overlay network that supports information retrieval and filtering functionality in a digital library environment. iClusterDL is able to han...
171
click to vote
FMOODS
2007
15 years 7 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
133
click to vote
HCI
2007
15 years 7 months ago
2007
Accessibility implementation efforts are generally focused towards some typical user impairments and a few interaction devices for a particular user scenario. Whereas there are num...
147
click to vote
LREC
2008
15 years 7 months ago
2008
WCTAnalyze is a tool for storing, accessing and visually analyzing huge collections of temporally indexed data. It is motivated by applications in media analysis, business intelli...