4962 search results - page 949 / 993 » Stochastic Model Checking |
116
click to vote
ICA
2004
Springer
15 years 7 months ago
2004
Springer
SOBI is a blind source separation algorithm based on time decorrelation. It uses multiple time autocovariance matrices, and performs joint diagonalization thus being more robust th...
135
Voted
IPSN
2004
Springer
15 years 7 months ago
2004
Springer
We consider the rate-distortion problem for sensing the continuous space-time physical temperature in a circular ring on which a heat source is applied over space and time, and wh...
119
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Decentralized control of a cooperative multi-agent system is the problem faced by multiple decision-makers that share a common set of objectives. The decision-makers may be robots...
110
click to vote
FPGA
2003
ACM
15 years 7 months ago
2003
ACM
FPGAs are one of the essential components in platform-based embedded systems. Such systems are customized and applied only to a limited set of applications. Also some applications...
HICSS
1999
IEEE
15 years 6 months ago
1999
IEEE
Assessing the reliability of a software system has always been an elusive target. A program may work very well for a number of years and this same program may suddenly become quit...