550 search results - page 75 / 110 » pairing 2009 |
IROS
2009
IEEE
14 years 4 months ago
2009
IEEE
— This paper introduces an approach that reduces the size of the state and maximizes the sparsity of the information matrix in exactly sparse delayed-state SLAM. We propose const...
IROS
2009
IEEE
14 years 4 months ago
2009
IEEE
— This paper discusses the mechanical kinematics solutions and design aspects of the biped robot SHERPA, a bipedal platform able to walk and carry load. Starting from the analysi...
IWPC
2009
IEEE
14 years 4 months ago
2009
IEEE
We present a tool called BugFix that can assist developers in fixing program bugs. Our tool automatically analyzes the debugging situation at a statement and reports a prioritize...
LICS
2009
IEEE
14 years 4 months ago
2009
IEEE
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...
TPHOL
2009
IEEE
14 years 4 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...