5550 search results - page 939 / 1110 » Different Approaches to Proof Systems |
141
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Evolutionary optimization of a gait for a bipedal robot has been studied, combining structural and parametric modifications of the system responsible for generating the gait. ...
161
click to vote
HPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we address the problem of managing heterogeneous workloads in a virtualized data center. We consider two different workloads: transactional applications and long-ru...
164
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Joint eigenvalue distribution of the noncentral complex Wishart matrix, i.e. HH∗ where H is the nonzero-mean complex Gaussian random channel matrix of a multiple-inpu...
147
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Every-day, the postal sorting systems diffuse several tons of mails. It is noted that the principal origin of mail rejection is related to the failure of address-block localizatio...
168
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— We describe a method for an autonomous robot to efficiently locate one or more distinct objects in a realistic environment using monocular vision. We demonstrate how to effic...