89222 search results - page 17586 / 17845 » Which |
141
click to vote
ICPADS
2010
IEEE
14 years 11 months ago
2010
IEEE
To fully tap into the potential of heterogeneous machines composed of multicore processors and multiple accelerators, simple offloading approaches in which the main trunk of the ap...
100
click to vote
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
Robotic manipulators on non-inertial platforms, such as ships, have to endure large inertial forces due to the non-inertial motion of the platform. When the non-inertial platform&#...
126
click to vote
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
A robot's head is important both for directional sensors and, in human-directed robotics, as the single most visible interaction interface. However, designing a robot's h...
119
Voted
ICTAC
2010
Springer
14 years 11 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
157
click to vote
ICTAI
2010
IEEE
14 years 11 months ago
2010
IEEE
In recent years, with the rapid proliferation of digital images, the need to search and retrieve the images accurately, efficiently, and conveniently is becoming more acute. Automa...