Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
Abstract—Media processing systems often have limited resources and strict performance requirements. An implementation must meet those design constraints while minimizing resource...
Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk...
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...
Abstract. This paper presents an online learning algorithm for appearancebased gaze estimation that allows free head movement in a casual desktop environment. Our method avoids the...
Abstract— This paper describes a novel approach for incremental learning of human motion pattern primitives through on-line observation of human motion. The observed motion time ...