9028 search results - page 1414 / 1806 » Human-Computer Interaction Experiments |
189
click to vote
VR
2010
IEEE
15 years 5 months ago
2010
IEEE
It is extremely challenging to run controlled studies comparing multiple Augmented Reality (AR) systems. We use an AR simulation approach, in which a Virtual Reality (VR) system i...
205
Voted
HVEI
2009
15 years 5 months ago
2009
This study explores the haptic rendering capabilities of a variable friction tactile interface through psychophysical experiments. In order to obtain a deeper understanding of the...
308
click to vote
ICLP
2009
Springer
16 years 8 months ago
2009
Springer
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
289
Voted
CP
2009
Springer
16 years 8 months ago
2009
Springer
This paper introduces propagator groups as an abstraction for controlling the execution of propagators as implementations of constraints. Propagator groups enable users of a constr...
190
Voted
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...