Sciweavers

3790 search results - page 171 / 758
» Advances in Mixture Models
Sort
View
ENTCS
2006
96views more  ENTCS 2006»
15 years 4 months ago
Verification of AMBA Using a Combination of Model Checking and Theorem Proving
The Advanced Microcontroller Bus Architecture (AMBA) is an open System-onChip bus protocol for high-performance buses on low-power devices. We demonstrate the combined use of mode...
Hasan Amjad
ICDE
1997
IEEE
136views Database» more  ICDE 1997»
16 years 5 months ago
Delegation: Efficiently Rewriting History
Transaction delegation, as introduced in ACTA, allows a transaction to transfer responsibility for the operations that it has performed on an object to another transaction. Delega...
Cris Pedregal Martin, Krithi Ramamritham
ISBI
2004
IEEE
16 years 5 months ago
A Probabilistic Framework for the Detection and Tracking in Time of Multiple Sclerosis Lesions
A novel statistical scheme for the automatic detection and tracking in time of relapsing-remitting multiple sclerosis (MS) lesions in image sequences is described. Coherent space-...
Allon Shahar, Hayit Greenspan
ICASSP
2009
IEEE
15 years 11 months ago
Support vector machines and Joint Factor Analysis for speaker verification
This article presents several techniques to combine between Support vector machines (SVM) and Joint Factor Analysis (JFA) model for speaker verification. In this combination, the...
Najim Dehak, Patrick Kenny, Réda Dehak, Ond...
GLOBECOM
2008
IEEE
15 years 11 months ago
Robustness Analysis of Source Localization Using Gaussianity Measure
Nowadays, the source localization has been widely applied for wireless sensor networks. The Gaussian mixture model has been adopted for maximum-likelihood (ML) source localization ...
Kun Yan, Hsiao-Chun Wu, S. S. Iyengar