4460 search results - page 289 / 892 » Formal methods for interactive systems |
149
click to vote
BC
2008
15 years 6 months ago
2008
We propose a novel model of visual contrast measurement based on segregated ON and OFF pathways. Two driving forces have shaped our investigation: (1) establishing a mechanism sele...
169
click to vote
ACMDIS
2008
ACM
15 years 8 months ago
2008
ACM
True multi-user, multimodal interaction over a digital table lets co-located people simultaneously gesture and speak commands to control an application. We explore this design spa...
160
click to vote
TREC
2007
15 years 7 months ago
2007
Using the same interactive IR component as for TREC 2006, this submission probed the ability of a user without requisite domain knowledge to interactively set appropriate weights....
254
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
177
click to vote
HAPTICS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we describe a system that combines human input and automatic grasp planning for controlling an artificial hand, with applications in the area of hand neuroprosthetic...