2757 search results - page 249 / 552 » On separating systems |
176
click to vote
CAV
2010
Springer
15 years 6 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...
184
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper camera pose control for optimizing multiview distributed video coding is considered. The scenario considered is that multiple agents with monocular cameras observe a ...
187
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper considers minimum sum mean-squared error (sum-MSE) linear transceiver designs in multiuser downlink systems with imperfect channel state information. Specifically, we de...
182
click to vote
ENTCS
2007
15 years 6 months ago
2007
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
156
click to vote
IJNS
2007
15 years 6 months ago
2007
We present a biologically motivated architecture for object recognition that is capable of online learning of several objects based on interaction with a human teacher. The system...