4767 search results - page 673 / 954 » Structures for Abstract Rewriting |
100
click to vote
IEEEPACT
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...
77
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Although direct reciprocity (Tit-for-Tat) contribution systems have been successful in reducing freeloading in peerto-peer overlays, it has been shown that, unless the ...
118
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Because the global positioning system (GPS) consumes a large amount of power and does not work indoors, many virtual-coordinate-based routing protocols are proposed for ...
102
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Salamanders propel themselves by proper coordination of limb movements and body undulations. This type of locomotion is interesting for robotics to design robots capabl...
102
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...