7167 search results - page 188 / 1434 » A Technique for Invariant Generation |
193
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper considers the problem of stabilizing a unicycle-type mobile robot using a time-invariant, discontinuous control law. In order to simplify the control design, most pr...
193
click to vote
RSS
2007
15 years 8 months ago
2007
— In this paper a new leader-follower formation of nonholonomic mobile robots is studied. The follower is a car-like vehicle and the leader is a tractor pulling a trailer. The le...
188
click to vote
NIPS
1996
15 years 8 months ago
1996
Support Vector Learning Machines (SVM) are nding application in pattern recognition, regression estimation, and operator inversion for ill-posed problems. Against this very genera...
188
click to vote
ICFHR
2010
15 years 2 months ago
2010
Representing digital ink traces as points in a function space has proven useful for online recognition. Ink trace coordinates or their integral invariants are written as parametri...
169
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...