Sciweavers

2169 search results - page 227 / 434
» Testing Incremental Adaptation
Sort
View
96
Voted
ICS
2003
Tsinghua U.
15 years 7 months ago
Selecting long atomic traces for high coverage
This paper performs a comprehensive investigation of dynamic selection for long atomic traces. It introduces a classification of trace selection methods and discusses existing and...
Roni Rosner, Micha Moffie, Yiannakis Sazeides, Ron...
CVPR
2010
IEEE
15 years 7 months ago
Visual Tracking via Weakly Supervised Learning from Multiple Imperfect Oracles
Long-term persistent tracking in ever-changing environments is a challenging task, which often requires addressing difficult object appearance update problems. To solve them, most...
Bineng Zhong, Hongxun Yao, Sheng Chen, Xiaotong Yu...
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 7 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
ICPR
2000
IEEE
15 years 7 months ago
JKanji: Wavelet-Based Interactive Kanji Completion
JKanji is an interactive character completion system that provides stroke-order-independent recognition of complex hand-written glyphs such as Japanese kanji or Chinese hanzi. As ...
Robert G. Stockton, Rahul Sukthankar
131
Voted
HRI
2010
ACM
15 years 7 months ago
From manipulation to communicative gesture
— Assisting humans in their daily lives requires robots to be proficient in manual tasks and effective in communicating states/intentions with human users. This paper advocates ...
Shichao Ou, Roderic A. Grupen