4529 search results - page 554 / 906 » Position Based Cryptography |
192
click to vote
FORTE
2009
15 years 4 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
201
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Ball dribbling is a central element of basketball and one main challenge for realizing basketball robots is to achieve the stability of the periodic dribbling task. In this paper t...
175
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- We present in this paper a way to achieve positioning tasks by visual servoing under complex luminance variations. To do that, we use as visual features the luminance of...
193
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper proposes a throwing manipulation strategy for a robot with one revolute joint. The throwing manipulation enables the robot not only to manipulate the object to outside o...
194
click to vote
DASFAA
2009
IEEE
16 years 1 months ago
2009
IEEE
Many applications need to solve the problem of approximate string matching with block moves. It is an NP-Complete problem to compute block edit distance between two strings. Our go...