Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
Abstract In natural images, the distance measure between two images taken at different locations rises smoothly with increasing distance between the locations. This fact can be exp...
We examine the relationship between human motion and emotions. With recent improvement of sensing technologies, although precise human motion can be measured, the amount of data gr...
Thelateral-linesystemisauniquefacilityofaquatic animals to locate predator, prey, or conspecifics. We present a detailed model of how the clawed frog Xenopus, or fish, can localize...
Jan-Moritz P. Franosch, Andreas B. Sichert, Maria ...
We motivate an approach to evaluating the utility of life-like interface agents that is based on human eye movements rather than questionnaires. An eye tracker is employed to obta...