2940 search results - page 165 / 588 » Relational Parametricity and Control |
184
click to vote
ADCM
2007
15 years 6 months ago
2007
In this paper we provide an extension of barycentric coordinates from simplices to arbitrary convex sets. Barycentric coordinates over convex 2D polygons have found numerous appli...
159
click to vote
AMC
2007
15 years 6 months ago
2007
This paper deals with the quadratic stability and linear state-feedback and output-feedback stabilization of switched delayed linear dynamic systems with, in general, a finite nu...
168
click to vote
AR
2007
15 years 6 months ago
2007
Abstract— Robot imitation is a useful and promising alternative to robot programming. Robot imitation involves two crucial issues. The first is how a robot can imitate a human w...
141
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
A nonlinear observer for estimation of the longitudinal velocity, lateral velocity, and yaw rate of a vehicle, designed for the purpose of vehicle side-slip estimation, is modifie...
201
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...