1264 search results - page 115 / 253 » Designing Safe, Reliable Systems using Scade |
140
click to vote
RAS
2008
15 years 4 months ago
2008
In this paper, a nonlinear controller design for an omni-directional mobile robot is presented. The robot controller consists of an outer-loop (kinematics) controller and an inner...
137
click to vote
ICCV
2009
IEEE
16 years 9 months ago
2009
IEEE
We present a fast and robust system for estimating structure
and motion using a stereo pair, with straight lines as
features. Our first set of contributions are efficient algorit...
120
click to vote
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
—It is well known that max-weight policies based on a queue backlog index can be used to stabilize stochastic networks, and that similar stability results hold if a delay index i...
133
click to vote
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...
195
click to vote
SIGCOMM
1996
ACM
15 years 8 months ago
1996
ACM
Reliable transport protocols such as TCP are tuned to perform well in traditional networks where packet losses occur mostly because of congestion. However, networks with wireless ...