1686 search results - page 234 / 338 » Higher Order Deforestation |
165
click to vote
ICRA
2009
IEEE
16 years 11 days ago
2009
IEEE
— Our goal in this work is to make high level decisions for mobile robots. In particular, given a queue of prioritized object delivery tasks, we wish to find a sequence of actio...
181
click to vote
INFOCOM
2009
IEEE
16 years 11 days ago
2009
IEEE
—We investigate an architecture for multi-Gigabit outdoor mesh networks operating in the unlicensed 60 GHz “millimeter (mm) wave” band. In this band, the use of narrow beams ...
161
click to vote
IPPS
2009
IEEE
16 years 11 days ago
2009
IEEE
We consider the following basic question: a source node wishes to stream an ordered sequence of packets to a collection of receivers, which are distributed among a number of clust...
140
click to vote
IROS
2009
IEEE
16 years 11 days ago
2009
IEEE
— We address the problem of foothold selection in robotic legged locomotion over very rough terrain. The difficulty of the problem we address here is comparable to that of human...
165
click to vote
TPHOL
2009
IEEE
16 years 11 days ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...