1172 search results - page 131 / 235 » Using Small Screen Space More Efficiently |
131
Voted
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— In this paper, we present an incremental, multiresolution motion planning algorithm designed for systems with differential constraints. Planning for these sytems is mor...
102
Voted
VTC
2006
IEEE
15 years 9 months ago
2006
IEEE
Using an OFDM based uplink for the future cellular network has been a controversial issue due to difficulties in time and frequency synchronization and high Peak-to-Average Power...
101
Voted
WICON
2008
15 years 5 months ago
2008
The possibility for spontaneous ad hoc networks between mobile devices has been increasing as small devices become more capable of hosting useful networked applications. These app...
134
Voted
UAI
2001
15 years 5 months ago
2001
We propose a new approach to value-directed belief state approximationfor POMDPs. The valuedirected model allows one to choose approximation methods for belief state monitoringtha...
131
Voted
SAT
2005
Springer
15 years 9 months ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...