682 search results - page 93 / 137 » One-Counter Markov Decision Processes |
QEST
2008
IEEE
15 years 7 months ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
86
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— In this paper we propose Cognitive Medium Access (CMA), a protocol aimed at improving coexistence with a set of independently evolving WLAN bands. A time-slotted physical layer...
100
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— The least squares approach works efficiently in value function approximation, given appropriate basis functions. Because of its smoothness, the Gaussian kernel is a popular an...
116
Voted
ICN
2007
Springer
15 years 7 months ago
2007
Springer
— In this paper, we use the Markov Decision Process (MDP) technique to find the optimal code allocation policy in High-Speed Downlink Packet Access (HSDPA) networks. A discrete ...
93
Voted
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
— Mobile robot localization and navigation requires a map - the robot’s internal representation of the environment. A common problem is that path planning becomes very ineffic...