Sciweavers

1359 search results - page 8 / 272
» Probabilistic Points-to Analysis
Sort
View
LICS
1998
IEEE
13 years 12 months ago
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
Eugene W. Stark, Scott A. Smolka
IJNSEC
2008
190views more  IJNSEC 2008»
13 years 8 months ago
Probabilistic Analysis and Verification of the ASW Protocol using PRISM
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
Salekul Islam, Mohammad Abu Zaid
ICASSP
2011
IEEE
13 years 3 days ago
Discriminatively trained Probabilistic Linear Discriminant Analysis for speaker verification
Recently, i-vector extraction and Probabilistic Linear Discriminant Analysis (PLDA) have proven to provide state-of-the-art speaker verification performance. In this paper, the s...
Lukas Burget, Oldrich Plchot, Sandro Cumani, Ondre...
ICASSP
2011
IEEE
13 years 3 days ago
Improving melody extraction using Probabilistic Latent Component Analysis
We propose a new approach for automatic melody extraction from polyphonic audio, based on Probabilistic Latent Component Analysis (PLCA). An audio signal is first divided into vo...
Jinyu Han, Ching-Wei Chen
ML
2008
ACM
248views Machine Learning» more  ML 2008»
13 years 8 months ago
Feature selection via sensitivity analysis of SVM probabilistic outputs
Feature selection is an important aspect of solving data-mining and machine-learning problems. This paper proposes a feature-selection method for the Support Vector Machine (SVM) l...
Kai Quan Shen, Chong Jin Ong, Xiao Ping Li, Einar ...