11231 search results - page 1878 / 2247 » Digging for Data Structures |
119
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Collision detection and estimation from a monocular visual sensor is an important enabling technology for safe navigation of small or micro air vehicles in near earth ...
139
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
127
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—MAC layer random network coding (MRNC) was proposed in [1] as an alternative to HARQ for reliable data transmission in WiMAX unicast. It has been shown that MRNC achieves a high...
117
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— EMG-to-force estimation for voluntary muscle contraction has many applications in human-machine interaction, motion analysis, and rehabilitation robotics for prosthetic limbs o...
120
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
—We introduce extensions of first-order logic (FO) and fixed-point logic (FP) with operators that compute the rank of a definable matrix. These operators are generalizations o...