Sciweavers

1024 search results - page 50 / 205
» Compositional Methods for Probabilistic Systems
Sort
View
IPPS
2007
IEEE
15 years 7 months ago
A Markov Reward Model for Software Reliability
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
YoungMin Kwon, Gul Agha
ICASSP
2011
IEEE
14 years 5 months ago
Robust parametrization for non-destructive evaluation of composites using ultrasonic signals
Anticipating and characterizing damages in layered carbon fiberreinforced polymers is a challenging problem. Non-destructive evaluation using ultrasonic signals is a well-establi...
Nicolas Bochud, Angel M. Gomez, Guillermo Rus, Jos...
SIGGRAPH
1989
ACM
15 years 5 months ago
A general two-pass method integrating specular and diffuse reflection
We analyse some recent approaches to the global illumination problem by introducing the corresponding reflection operators, and we demonstrate the advantages of a two-pass method....
François X. Sillion, Claude Puech
ICC
2007
IEEE
127views Communications» more  ICC 2007»
15 years 5 months ago
Spectral Efficiency of Channel-Aware Schedulers in Non-Identical Composite Links with Interference
Accurate system planning and performance evaluation requires knowledge of the joint impact of scheduling, interference, and fading. However, current analyses either require costly...
Jingxian Wu, Neelesh B. Mehta, Andreas F. Molisch,...
CORR
2008
Springer
127views Education» more  CORR 2008»
15 years 1 months ago
Comparing and Combining Methods for Automatic Query Expansion
Abstract. Query expansion is a well known method to improve the performance of information retrieval systems. In this work we have tested different approaches to extract the candid...
José R. Pérez-Agüera, Lourdes A...