1237 search results - page 148 / 248 » Strictness and Totality Analysis |
158
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
We present sufficient conditions for stabilizability of an unstable linear time invariant scalar system across an additive white Gaussian noise channel, with a relay assisting the ...
177
click to vote
CORR
2010
Springer
15 years 29 days ago
2010
Springer
An important task in the analysis of multiagent systems is to understand how groups of selfish players can form coalitions, i.e., work together in teams. In this paper, we study t...
145
click to vote
JSS
2010
15 years 23 days ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
153
click to vote
TITB
2010
15 years 21 days ago
2010
We describe a system for the evaluation of the sleep macrostructure on the basis of Emfit sensor foils placed into bed mattress and of advanced signal processing. The signals on wh...
124
click to vote
TSP
2010
15 years 21 days ago
2010
Using the subband technique, an LTI system can be implemented by the composition of an analysis filterbank, followed by a transfer matrix (subband model) and a synthesis filterbank...