Sciweavers

6650 search results - page 160 / 1330
» models 2009
Sort
View
ICASSP
2009
IEEE
16 years 1 months ago
Dynamic texture models of music
In this paper, we consider representing a musical signal as a dynamic texture, a model for both the timbral and rhythmical qualities of sound. We apply the new representation to t...
Luke Barrington, Antoni B. Chan, Gert R. G. Lanckr...
FMICS
2009
Springer
16 years 1 months ago
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-...
APVIS
2009
15 years 7 months ago
Extending the spring-electrical model to overcome warping effects
The spring-electrical model based force directed algorithm is widely used for drawing undirected graphs, and sophisticated implementations can be very efficient for visualizing la...
Yifan Hu, Yehuda Koren
DICTA
2009
15 years 7 months ago
Multivariate Skew t Mixture Models: Applications to Fluorescence-Activated Cell Sorting Data
In many applied problems in the context of pattern recognition, the data often involve highly asymmetric observations. Normal mixture models tend to overfit when additional compone...
Kui Wang, Shu-Kay Ng, Geoffrey J. McLachlan
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
16 years 7 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert