Sciweavers

1299 search results - page 196 / 260
» Quantitative Simulation Games
Sort
View
109
Voted
QEST
2009
IEEE
15 years 7 months ago
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
Pedro R. D'Argenio, Nicolás Wolovick, Pedro...
122
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
Minimizing End-to-End Delay: A Novel Routing Metric for Multi-Radio Wireless Mesh Networks
—This paper studies how to select a path with the minimum cost in terms of expected end-to-end delay (EED) in a multi-radio wireless mesh network. Different from the previous eff...
Hongkun Li, Yu Cheng, Chi Zhou, Weihua Zhuang
112
Voted
GLOBECOM
2008
IEEE
15 years 7 months ago
Performance Metric Sensitivity Computation for Optimization and Trade-Off Analysis in Wireless Networks
Abstract—We develop and evaluate a new method for estimating and optimizing various performance metrics for multihop wireless networks, including MANETs. We introduce an approxim...
John S. Baras, Vahid Tabatabaee, George Papageorgi...
77
Voted
ICRA
2008
IEEE
104views Robotics» more  ICRA 2008»
15 years 7 months ago
High performance control for graceful motion of an intelligent wheelchair
— To be acceptable to human drivers, the motion of an intelligent robotic wheelchair must be more than just collision-free: it must be graceful. We define graceful motion as bei...
Shilpa Gulati, Benjamin Kuipers
100
Voted
ICRA
2008
IEEE
129views Robotics» more  ICRA 2008»
15 years 7 months ago
Slope traversal experiments with slip compensation control for lunar/planetary exploration rover
— This paper presents slope traversal experiments with slip compensation control for lunar/planetary exploration rovers. On loose soil, wheels of the rover easily slip even when ...
Genya Ishigami, Keiji Nagatani, Kazuya Yoshida