4460 search results - page 193 / 892 » Formal methods for interactive systems |
140
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
: Networked systems that gather sensor data in order to react to phenomena in their surroundings are faced with a growing need for adaptive behavior to operate in dynamically chang...
160
click to vote
ISSRE
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we present a method for automatically testing interactive multimodal systems1 . The proposed approach was originally dedicated to synchronous programming which is ma...
110
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
— An iterative feature selection method based on feature typicality and interactivity analysis is presented in this paper. The aim is to enhance model interpretability by selecti...
157
click to vote
CHI
1993
ACM
15 years 8 months ago
1993
ACM
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...
473
Voted
JUCS
2008
15 years 4 months ago
2008
: Many methods in the area of Human-Computer Interaction have been developed for deriving user interfaces considering individual users. However, nowadays information systems includ...