Sciweavers

1156 search results - page 157 / 232
» The PENG System: Practice and Experience
Sort
View
IROS
2007
IEEE
157views Robotics» more  IROS 2007»
15 years 6 months ago
Autonomous blimp control using model-free reinforcement learning in a continuous state and action space
— In this paper, we present an approach that applies the reinforcement learning principle to the problem of learning height control policies for aerial blimps. In contrast to pre...
Axel Rottmann, Christian Plagemann, Peter Hilgers,...
COMPSAC
2006
IEEE
15 years 5 months ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
SKG
2006
IEEE
15 years 5 months ago
Abox Inference for Large Scale OWL-Lite Data
Abox inference is an important part in OWL data management. When involving large scale of instance data, it can not be supported by existing inference engines. In this paper, we p...
Xiaofeng Wang, Jianbo Ou, Xiaofeng Meng, Yan Chen
72
Voted
VTC
2006
IEEE
117views Communications» more  VTC 2006»
15 years 5 months ago
Design and Implementation of Robust Time/Frequency Offset Tracking Algorithm for MIMO-OFDM Receivers
— In this paper, the robust time and frequency offset tracking algorithms and architecture for high throughput wireless local area network (WLAN) systems are presented. The desig...
Il-Gu Lee, Heejung Yu, Eunyoung Choi, Jungbo Son, ...
NSPW
2006
ACM
15 years 5 months ago
PKI design for the real world
What would a PKI look like if it were designed for implementability and deployability rather than strict adherence to a particular theoretical or mathematical model? This paper pr...
Peter Gutmann