Sciweavers

2425 search results - page 297 / 485
» An abstraction of the Lidar measurements
Sort
View
QEST
2009
IEEE
16 years 1 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...
ICRA
2009
IEEE
156views Robotics» more  ICRA 2009»
16 years 1 months ago
Deformation modeling of belt object with angles
Abstract— A differential geometry based modeling to represent belt object deformation is proposed. Deformation of a belt object such as film circuit boards or flexible circuit ...
Hidefumi Wakamatsu, Eiji Morinaga, Eiji Arai, Shin...
ICRA
2009
IEEE
125views Robotics» more  ICRA 2009»
16 years 1 months ago
Modeling and motion stability analysis of skid-steered mobile robots
Abstract— Skid-steered mobile robots are widely used because of the simplicity of mechanism and high reliability. However, understanding of the kinematics and dynamics of such a ...
Hongpeng Wang, Junjie Zhang, Jingang Yi, Dezhen So...
INFOCOM
2009
IEEE
16 years 1 months ago
MobTorrent: A Framework for Mobile Internet Access from Vehicles
Abstract—In this paper, we present MobTorrent, an ondemand, user-driven framework designed for vehicles which have intermittent high speed access to roadside WiFi access points (...
Bin Bin Chen, Mun Choon Chan
IPPS
2009
IEEE
16 years 1 months ago
A cross-input adaptive framework for GPU program optimizations
Abstract—Recent years have seen a trend in using graphic processing units (GPU) as accelerators for general-purpose computing. The inexpensive, single-chip, massively parallel ar...
Yixun Liu, Eddy Z. Zhang, Xipeng Shen