1284 search results - page 30 / 257 » On Helping and Interactive Proof Systems |
IJCAI
2007
13 years 9 months ago
2007
We introduce a human-computer interaction system which collaborates with a user by providing feedback during user activities. The goal of the system is to help a user complete a h...
INFOVIS
1998
IEEE
13 years 11 months ago
1998
IEEE
Information visualization encounters a wide variety of different data domains. The visualization community has developed representation methods and interactive techniques. As a co...
FBT
2000
13 years 9 months ago
2000
The behavior of reactive systems can be described by their black box properties as a relation between input and output streams. More operational is the behavior's description...
LREC
2010
13 years 9 months ago
2010
This paper presents a preliminary analysis of the role of some discourse markers and the vocalic hesitation euh in a corpus of spoken human utterances collected with the RITEL sys...
STOC
2010
ACM
14 years 5 months ago
2010
ACM
We prove that the complexity class QIP, which consists of all problems having quantum interactive proof systems, is contained in PSPACE. This containment is proved by applying a p...