2171 search results - page 80 / 435 » Cooperative Validation in Distributed Control Systems Design |
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— We consider the problem of attitude stabilization using exclusively visual sensory input, and we look for a solution which can satisfy the constraints of a “bio-plausible” ...
114
Voted
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
104
click to vote
PERCOM
2007
ACM
16 years 1 months ago
2007
ACM
People wish to enjoy their everyday lives in various ways, among which entertainment plays a major role. In order to improve lifestyle with more ready access to entertainment cont...
100
click to vote
MM
2006
ACM
15 years 7 months ago
2006
ACM
In this demonstration, we are going to illustrate how to use a mobile camera to redirect documents to various devices connected to the same network. Categories and Subject Descrip...
120
click to vote
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
Air traffic management offers an intriguing real world challenge to designing large scale distributed systems using evolutionary computation. The ability to evolve effective air t...