2687 search results - page 402 / 538 » On the Conversion between Number Systems |
146
click to vote
IROS
2009
IEEE
16 years 29 days 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...
171
click to vote
LICS
2009
IEEE
16 years 29 days 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 ...
143
click to vote
MICRO
2009
IEEE
16 years 29 days ago
2009
IEEE
3D-integration is a promising technology to help combat the “Memory Wall” in future multi-core processors. Past work has considered using 3D-stacked DRAM as a large last-level...
154
click to vote
ATAL
2009
Springer
16 years 27 days ago
2009
Springer
In this demo, we present GENIUS, a tool that facilitates research in the area of bilateral multi-issue negotiation. It implements an open architecture allowing easy development an...
180
click to vote
SOUPS
2009
ACM
16 years 25 days ago
2009
ACM
Secure Device Pairing is the bootstrapping of secure communication between two previously unassociated devices over a wireless channel. The human-imperceptible nature of wireless ...