Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
A realtime system for shrug detection is discussed in this paper. The system is automatically initialized by a face detector based on Ada-boost[14]. After frontal face is localize...
Huazhong Ning, Tony X. Han, Yuxiao Hu, ZhenQiu Zha...
Abstract. We investigate the problem of using function approximation in reinforcement learning where the agent’s policy is represented as a classifier mapping states to actions....
The environment is affected by our collective behavior, yet many visualizations of energy saving behavior focus on personal actions, or simple, unidimensional comparisons between ...
Catherine Grevet, Jennifer Mankoff, Scott D. Ander...
Location is a primary cue in many context-aware computing systems, and is often represented as a global coordinate, room number, or a set of Euclidean distances to various landmark...
Kimberle Koile, Konrad Tollmar, David Demirdjian, ...