7393 search results - page 1160 / 1479 » Synthesis-for-testability using transformations |
150
click to vote
ICRA
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper presents a new algorithm for object handling tasks based on active tactile and slippage sensations using a humanoid robot multi-fingered arm for an object that exists at...
135
click to vote
CORR
2010
Springer
15 years 29 days ago
2010
Springer
We introduce a new technique for proving kernelization lower bounds, called cross-composition. A classical problem L cross-composes into a parameterized problem Q if an instance o...
154
click to vote
CVPR
2011
IEEE
15 years 21 days ago
2011
IEEE
We present a novel theory for characterizing defocus blurs in multi-perspective cameras such as catadioptric mirrors. Our approach studies how multi-perspective ray geometry trans...
166
click to vote
ACCV
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Research on temporal textures has concerned mainly modeling, synthesis and detection, but not finding changes between different temporal textures. Shot change detection, ...
125
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper presents a sum of squares (SOS) approach to the stability analysis of networked control systems (NCSs) incorporating time-varying delays and time-varying transmission in...