Sciweavers

1179 search results - page 62 / 236
» Should Superclasses be Abstract
Sort
View
GLOBECOM
2008
IEEE
14 years 2 months ago
MIMO Multiple Access Channels with Noisy Channel Estimation and Partial CSI Feedback
Abstract—We consider correlated MIMO multiple access channels with block fading, where each block is divided into training and data transmission phases. We find the channel esti...
Alkan Soysal, Sennur Ulukus
ICRA
2008
IEEE
197views Robotics» more  ICRA 2008»
14 years 2 months ago
Approximate optimal control of the compass gait on rough terrain
Abstract— In this paper, we explore the capabilities of actuated models of the compass gait walker on rough terrain. We solve for the optimal high-level feedback policy to negoti...
Katie Byl, Russ Tedrake
IROS
2008
IEEE
139views Robotics» more  IROS 2008»
14 years 2 months ago
Estimating landmark locations from geo-referenced photographs
Abstract— The problem of estimating the positions of landmarks using a mobile robot equipped with a camera has intensively been studied in the past. In this paper, we consider a ...
Henrik Kretzschmar, Cyrill Stachniss, Christian Pl...
SASO
2008
IEEE
14 years 2 months ago
WSN and P2P: A Self-Managing Marriage
Wireless sensor networks are designed for a very wide, yet specific, purpose. Their components have processing and power limitations. Due to these limitations, decisions by runni...
Gustavo Gutierrez, Boris Mejías, Peter Van ...
TPHOL
2008
IEEE
14 years 2 months ago
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
Daniel Wasserrab, Andreas Lochbihler