Sciweavers

3370 search results - page 72 / 674
» Correlation Embedding Analysis
Sort
View
SFM
2004
Springer
14 years 3 months ago
Embedded Software Analysis with MOTOR
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Kla...
PVLDB
2010
151views more  PVLDB 2010»
13 years 8 months ago
A Generic Framework for Handling Uncertain Data with Local Correlations
Data uncertainty is ubiquitous in many real-world applications such as sensor/RFID data analysis. In this paper, we investigate uncertain data that exhibit local correlations, tha...
Xiang Lian, Lei Chen 0002
FMOODS
2007
13 years 11 months ago
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
CVPR
2004
IEEE
15 years 4 days ago
A Correlation-Based Model Prior for Stereo
All non-trivial stereo problems need model priors to deal with ambiguities and noise perturbations. To meet requirements of increasingly demanding tasks such as modeling for rende...
Yanghai Tsin, Takeo Kanade
ICC
2007
IEEE
135views Communications» more  ICC 2007»
14 years 4 months ago
Characterization of Mutual Information of Spatially Correlated MIMO Channels with Keyhole
— We characterize the statistical properties of the mutual information between the transmitter and the receiver of a multiple-input multiple-output (MIMO) communication system in...
Andreas Müller, Joachim Speidel