4099 search results - page 357 / 820 » A Framework for Interactive Proof |
152
click to vote
AGENTCL
2000
Springer
15 years 11 months ago
2000
Springer
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational mod...
160
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...
159
click to vote
INTERACT
2003
15 years 8 months ago
2003
Abstract: This paper proposes a way to identify professional knowledge in a heterogeneous HCI (HumanComputer Interaction) community of usability professionals, designers and resear...
187
click to vote
INTERACT
2003
15 years 8 months ago
2003
: We present an interactive content-based video browser allowing fast, non linear and hierarchical navigation of video over the Internet through multiple levels of key-frames that ...
146
click to vote
SIGIR
2002
ACM
15 years 6 months ago
2002
ACM
Topic tracking and information filtering are models of interactive tasks, but their evaluations are generally done in a way that does not reflect likely usage. The models either f...