Sciweavers

3677 search results - page 96 / 736
» Is a probabilistic modeling
Sort
View
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
15 years 3 months ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...
DAC
2007
ACM
15 years 1 months ago
A Probabilistic Approach to Model Resource Contention for Performance Estimation of Multi-featured Media Devices
The number of features that are supported in modern multimedia devices is increasing faster than ever. Estimating the performance of such applications when they are running on sha...
Akash Kumar, Bart Mesman, Henk Corporaal, Bart D. ...
ENTCS
2006
154views more  ENTCS 2006»
14 years 10 months ago
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
Gul A. Agha, José Meseguer, Koushik Sen
ICASSP
2008
IEEE
15 years 4 months ago
Rhetorical-State Hidden Markov Models for extractive speech summarization
We propose an extractive summarization system with a novel non-generative probabilistic framework for speech summarization. One of the most underutilized features in extractive su...
Pascale Fung, Ricky Ho Yin Chan, Justin Jian Zhang
ICPR
2006
IEEE
15 years 11 months ago
Segmentation and Probabilistic Registration of Articulated Body Models
There are different approaches to pose estimation and registration of different body parts using voxel data. We propose a general bottom-up approach in order to segment the voxels...
Aravind Sundaresan, Rama Chellappa