4946 search results - page 353 / 990 » Interacting with Large Displays |
179
click to vote
AICOM
2010
15 years 6 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
191
click to vote
EJIS
2008
15 years 6 months ago
2008
Despite the increasing popularity of mobile information systems, the actual processes leading to the innovation of mobile technologies remain largely unexplored. This study uses A...
179
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
Frequent changes to groups of software entities from different parts of the system may indicate structural issues in the system's decomposition. Analyzing such groups is neede...
143
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
This paper reports on Direct Combination, a new user interaction technique. Direct Combination may be viewed variously as: a systematic extension to Direct Manipulation; a concise...
176
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— We are interested in transferring control policies for arbitrary tasks from a human to a robot. Using interactive demonstration via teloperation as our transfer scenario, we ca...