4460 search results - page 455 / 892 » Formal methods for interactive systems |
181
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, a non-linear relevance feedback mechanism is proposed for increasing the performance and the reliability of content-based retrieval systems. In particular, the huma...
199
click to vote
ANLP
1997
15 years 8 months ago
1997
In this paper, we describe our multilingual (or cross-linguistic) information browsing and retrieval system, which is aimed at monolingual users who are interested in information ...
184
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
160
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
This paper gives an overview of the assessment and evaluation methods which have been used to determine the quality of the INSPIRE smart home system. The system allows different h...
155
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We present a system designed to facilitate language development in deaf children. The children interact with a computer game using American Sign Language (ASL). The system consist...