1357 search results - page 103 / 272 » Compositional analysis for linear systems |
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
ISBI
2008
IEEE
14 years 11 months ago
2008
IEEE
Here we present a scalable method to compute the structure of causal links over large scale dynamical systems that achieves high efficiency in discovering actual functional connec...
DSN
2002
IEEE
14 years 3 months ago
2002
IEEE
When making an engineering design decision, it is often necessary to consider its implications on both system performance and dependability. In this paper, we present a performabi...
JSAC
2007
13 years 10 months ago
2007
— In this paper, the prediction of received power in the out-of-zone of a Dedicated Short Range Communications (DSRC) system operating inside a typical arched highway tunnel is d...
NIPS
2004
13 years 12 months ago
2004
We study gender discrimination of human faces using a combination of psychophysical classification and discrimination experiments together with methods from machine learning. We r...