8828 search results - page 1569 / 1766 » Formal methods in practice |
147
click to vote
INFSOF
2010
15 years 1 months ago
2010
Successful software development and management depends not only on the technologies, methods and processes employed but also on the judgments and decisions of the humans involved....
211
click to vote
CVPR
2011
IEEE
15 years 18 days ago
2011
IEEE
We present a method for estimating the relative pose of two calibrated or uncalibrated non-overlapping surveillance cameras from observing a moving object. We show how to tackle t...
139
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Event-triggered control systems are systems in which the control signal is recomputed when the plant's output signal leaves a triggering-set. There has been recent interest in...
164
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Over the past few years, a number of distributed algorithms have been developed for integrating the measurements acquired by a wireless sensor network. Among them, average consensu...
143
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
—The problem of stabilizing an unstable plant over a noisy communication link is an increasingly important one that arises in problems of distributed control and networked contro...