Sciweavers

979 search results - page 101 / 196
» Footprints in Local Reasoning
Sort
View
ICASSP
2009
IEEE
15 years 10 months ago
Exploiting T-junctions for depth segregation in single images
Occlusion is one of the major consequences of the physical image generation process: it occurs when an opaque object partly obscures the view of another object further away from t...
Mariella Dimiccoli, Philippe Salembier
96
Voted
IROS
2009
IEEE
144views Robotics» more  IROS 2009»
15 years 10 months ago
Improving particle filter performance using SSE instructions
Abstract— Robotics researchers are often faced with realtime constraints, and for that reason algorithmic and implementation-level optimization can dramatically increase the over...
Peter Djeu, Michael Quinlan, Peter Stone
117
Voted
IROS
2009
IEEE
143views Robotics» more  IROS 2009»
15 years 10 months ago
Standing balance control using a trajectory library
— This paper presents a standing balance controller. We employ a library of optimal trajectories and the neighboring optimal control method to generate local approximations to th...
Chenggang Liu, Christopher G. Atkeson
118
Voted
LICS
2009
IEEE
15 years 10 months ago
An Algebra for Kripke Polynomial Coalgebras
Several dynamical systems, such as deterministic automata and labelled transition systems, can be described as coalgebras of so-called Kripke polynomial functors, built up from co...
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexan...
107
Voted
PIMRC
2008
IEEE
15 years 9 months ago
A coherent amplify-and-forward relaying demonstrator without global phase reference
ACT In this work we present a demonstrator for coherent linear amplify-and-forward (AF) relaying. Two source/destination pairs communicate with the help of three half-duplex relays...
Stefan Berger, Armin Wittneben