Sciweavers

615 search results - page 13 / 123
» A General, Abstract Model of Incremental Dialogue Processing
Sort
View
SIGSOFT
2004
ACM
15 years 10 months ago
Efficient incremental algorithms for dynamic detection of likely invariants
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 ...
Jeff H. Perkins, Michael D. Ernst
DATE
2010
IEEE
171views Hardware» more  DATE 2010»
15 years 2 months ago
Automated bottleneck-driven design-space exploration of media processing systems
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...
SPIN
2005
Springer
15 years 3 months ago
An Incremental Heap Canonicalization Algorithm
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...
Madanlal Musuvathi, David L. Dill
ECCV
2008
Springer
15 years 11 months ago
An Incremental Learning Method for Unconstrained Gaze Estimation
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...
Yusuke Sugano, Yasuyuki Matsushita, Yoichi Sato, H...
ICRA
2008
IEEE
191views Robotics» more  ICRA 2008»
15 years 4 months ago
Combining automated on-line segmentation and incremental clustering for whole body motions
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 ...
Dana Kulic, Wataru Takano, Yoshihiko Nakamura