Sciweavers

1021 search results - page 86 / 205
» Pure Subtype Systems
Sort
View
LICS
2007
IEEE
14 years 2 months ago
Limits of Multi-Discounted Markov Decision Processes
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. The payoff received by the controller can be evaluated in different ways, dep...
Hugo Gimbert, Wieslaw Zielonka
LCPC
2007
Springer
14 years 2 months ago
Communicating Multiprocessor-Tasks
The use of multiprocessor tasks (M-tasks) has been shown to be successful for mixed task and data parallel implementations of algorithms from scientific computing. The approach o...
Jörg Dümmler, Thomas Rauber, Gudula R&uu...
ICRA
2006
IEEE
159views Robotics» more  ICRA 2006»
14 years 1 months ago
A Visual Compass based on SLAM
— Accurate full 3 axis orientation is computed using a low cost calibrated camera. We present a simultaneous sensor location and mapping method that uses a purely rotating camera...
J. M. M. Montiel, Andrew J. Davison
TRIDENTCOM
2005
IEEE
14 years 1 months ago
A Geography-Aware Scalable Community Wireless Network Test Bed
Wireless mesh networks have increasingly become an object of interest in recent years as a strong alternative to purely wired infrastructure networks and purely mobile wireless ne...
Bow-Nan Cheng, Shivkumar Kalyanaraman, Max Klein
INFOCOM
2003
IEEE
14 years 1 months ago
On the Capacity of Hybrid Wireless Networks
— We study the throughput capacity of hybrid wireless networks. A hybrid network is formed by placing a sparse network of base stations in an ad hoc network. These base stations ...
Benyuan Liu, Zhen Liu, Donald F. Towsley