Sciweavers

3047 search results - page 437 / 610
» A Temporal Consensus Model
Sort
View
IANDC
2010
83views more  IANDC 2010»
15 years 4 months ago
Static analysis of topology-dependent broadcast networks
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 4 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
ICANN
2010
Springer
15 years 4 months ago
Learning in a Unitary Coherent Hippocampus
Abstract. A previous paper [2] presented a model (UCPF-HC) of the hippocampus as a unitary coherent particle filter, which combines the classical hippocampal roles of associative m...
Charles W. Fox, Tony J. Prescott
ICASSP
2011
IEEE
14 years 10 months ago
Reconstructing completely overlapped notes from musical mixtures
In mixtures of musical sounds, the problem of overlapped harmonics poses a significant challenge to source separation. Common Amplitude Modulation (CAM) is one of the most effect...
Jinyu Han, Bryan Pardo
ICASSP
2011
IEEE
14 years 10 months ago
Glottal inverse filtering using stabilised weighted linear prediction
This paper presents and evaluates an inverse filtering technique of the speech signal which is based on the Stabilized Weighted Linear Prediction (SWLP) of speech [1]. SWLP empha...
George P. Kafentzis, Yannis Stylianou, Paavo Alku