623 search results - page 32 / 125 » Relational Parametricity for Control Considered as a Computa... |
118
click to vote
CDC
2008
IEEE
16 years 20 days ago
2008
IEEE
— This paper introduces a hybrid control scheme for steering a non-holonomic agent with limited sensing capabilities and input constraints through a stationary but unknown worksp...
155
click to vote
NETWORKING
2004
15 years 7 months ago
2004
A common feature of congestion control protocols is the presence of information packets used to signal congestion. We address here the question of how frequently such protocols nee...
151
click to vote
RSS
2007
15 years 7 months ago
2007
— This paper presents BS-SLAM, a simultaneous localization and mapping algorithm for use in unstructured environments that is effective regardless of whether features correspond ...
151
click to vote
WADS
2007
Springer
16 years 8 days ago
2007
Springer
Distance oracles and graph spanners are excerpts of a graph that allow to compute approximate shortest paths. Here, we consider the situation where it is possible to access the ori...
172
click to vote
LICS
1997
IEEE
15 years 10 months ago
1997
IEEE
traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...