Sciweavers

3384 search results - page 529 / 677
» More Testable Properties
Sort
View
SAC
2011
ACM
13 years 5 months ago
Slice sampling mixture models
We propose a more efficient version of the slice sampler for Dirichlet process mixture models described by Walker (2007). This sampler allows the fitting of infinite mixture mod...
Maria Kalli, Jim E. Griffin, Stephen G. Walker
DC
2010
13 years 5 months ago
Closing the complexity gap between FCFS mutual exclusion and mutual exclusion
First-Come-First-Served (FCFS) mutual exclusion (ME) is the problem of ensuring that processes attempting to concurrently access a shared resource do so one by one, in a fair order...
Robert Danek, Wojciech M. Golab
SIAMAM
2011
13 years 5 months ago
A General Phase Transition Model for Vehicular Traffic
An extension of the Colombo phase transition model is proposed. The congestion phase is described by a two-dimensional zone defined around an equilibrium flux known as the classi...
Sebastien Blandin, Daniel B. Work, Paola Goatin, B...
SIGSOFT
2011
ACM
13 years 5 months ago
Modeling a distributed intrusion detection system using collaborative building blocks
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
Linda Ariani Gunawan, Michael Vogel, Frank Alexand...
SPEECH
2011
13 years 5 months ago
Role of modulation magnitude and phase spectrum towards speech intelligibility
In this paper our aim is to investigate the properties of the modulation domain and more specifically, to evaluate the relative contributions of the modulation magnitude and phas...
Kuldip K. Paliwal, Belinda Schwerin, Kamil K. W&oa...