12981 search results - page 2235 / 2597 » Model Checking (Abstract) |
145
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we present a vision-based terrain mapping and analysis system, and a model predictive control (MPC)based flight control system, for autonomous landing of a helicop...
114
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— One of the most notable and recognizable features of robot motion is the abrupt transitions between actions in action sequences. In contrast, humans and animals perform sequenc...
126
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— This paper describes a method of mirror localization to calibrate a catadioptric imaging system. Even though the calibration of a catadioptric system includes the estim...
146
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— In this paper, an attitude control strategy is developed for a high-speed quadruped trot. The forces in the trot are redistributed among the legs to stabilize the pitch...
132
click to vote
IJCNN
2007
IEEE
15 years 11 months ago
2007
IEEE
be regarded as an abstraction of the underlying effective network connectivity, i.e. its functional connectivity. Although similar functional connectivity models have been describe...