8874 search results - page 1621 / 1775 » A New Implementation of Automath |
111
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— As robots become more commonplace within society, the need for tools to enable non-robotics-experts to develop control algorithms, or policies, will increase. Learning ...
128
Voted
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
—We present a novel particle filter implementation for estimating the pose of tags in the environment with respect to an RFID-equipped robot. This particle filter combines sign...
169
click to vote
LCN
2008
IEEE
15 years 11 months ago
2008
IEEE
—Bandwidth estimation techniques seek to provide an accurate estimation of available bandwidth such that network applications can adjust their behavior accordingly. However, most...
120
click to vote
MICRO
2008
IEEE
15 years 11 months ago
2008
IEEE
Higher level of resource integration and the addition of new features in modern multi-processors put a significant pressure on their verification. Although a large amount of res...
136
click to vote
MICRO
2008
IEEE
15 years 11 months ago
2008
IEEE
— Processor architectures with large instruction windows have been proposed to expose more instruction-level parallelism (ILP) and increase performance. Some of the proposed arch...