3804 search results - page 748 / 761 » From Here to There |
125
Voted
ICRA
2010
IEEE
14 years 10 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...
113
click to vote
ICTAC
2010
Springer
14 years 10 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 ...
133
click to vote
ALGOSENSORS
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. We describe a novel approach for constructing a single spanning tree for data aggregation towards a sink node. The tree is universal in the sense that it is static and in...
119
Voted
FLAIRS
2009
14 years 10 months ago
2009
For certain disable persons unable to communicate, we present a palliative aid which consist of a virtual pictographic keyboard associated to a text processing from a pictographic...
ICNP
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract--To ensure state synchronization of signalling operations, many signaling protocol designs choose to establish "soft" state that expires if it is not refreshed. ...