12981 search results - page 2222 / 2597 » Model Checking (Abstract) |
165
click to vote
BIBM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—The exact relationship between protein active centers and protein functions is unclear even after decades of intensive study. To improve the functional prediction abilit...
153
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Attenuation of sinusoidal disturbances with uncertain and arbitrarily time-varying frequencies is considered in the form of a generalized asymptotic regulation problem....
167
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Differential repetitive processes are a distinct class of continuous-discrete twodimensional linear systems of both systems theoretic and applications interest. These pr...
139
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper presents a novel application of the twotime scale controller for the full envelop flight control of a Rotary wing Unmanned Aerial Vehicle (RUAV). In this pa...
137
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— A common approach to designing feedback controllers for nonlinear partial differential equations (PDEs) is to linearize the system about an equilibrium and use the line...