Visual discomfort and the temporal properties of the vergence-accommodation conflict.

Joohwan Kim David Kane Martin S. Banks

Published in: SD&A (2012)

Keyphrases

temporal properties
model checking
possibility theory
gaze contingent
formal methods
conflict resolution
temporal logic
active vision
formal specification
visual information
artificial intelligence
stereo matching
visual features
visual processing
general purpose
probabilistic model
pattern recognition