4460 search results - page 140 / 892 » Formal methods for interactive systems |
160
click to vote
CVPR
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper describes a general methodology for automated recognition of complex human activities. The methodology uses a context-free grammar (CFG) based representation scheme to ...
147
Voted
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...
127
click to vote
JCS
2006
15 years 3 months ago
2006
Abstract: Cryptographic protocols are successfully analyzed using formal methods. However, formal approaches usually consider the encryption schemes as black boxes and assume that ...
112
Voted
CISIS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we propose a novel interactive integral imaging system using vision-based 3D fingertip interface. This system consists of the real 3D image generation system based ...
121
click to vote
IJMMS
2008
15 years 3 months ago
2008
There is a wealth of user-centred evaluation methods (UEMs) to support the analyst in assessing interactive systems. Many of these support detailed aspects of use