Sciweavers

3972 search results - page 25 / 795
» Cosparse analysis modeling - uniqueness and algorithms
Sort
View
ICCAD
2005
IEEE
121views Hardware» more  ICCAD 2005»
15 years 6 months ago
Transition-by-transition FSM traversal for reachability analysis in bounded model checking
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wo...
CEC
2005
IEEE
15 years 3 months ago
Modeling and analysis of indirect communication in particle swarm optimization
Abstract- Particle Swarm Optimization (PSO) has successfully been applied to many optimization problems. One particularly interesting aspect of these algorithms is to study the com...
S. Helwig, Christian Haubelt, Jürgen Teich
86
Voted
ICDM
2005
IEEE
189views Data Mining» more  ICDM 2005»
15 years 3 months ago
Integrating Hidden Markov Models and Spectral Analysis for Sensory Time Series Clustering
We present a novel approach for clustering sequences of multi-dimensional trajectory data obtained from a sensor network. The sensory time-series data present new challenges to da...
Jie Yin, Qiang Yang
CVPR
2010
IEEE
15 years 5 months ago
Clustering Dynamic Textures with the Hierarchical EM Algorithm
The dynamic texture (DT) is a probabilistic generative model, defined over space and time, that represents a video as the output of a linear dynamical system (LDS). The DT model ...
Antoni Chan, Emanuele Coviello, Gert Lanckriet
KDD
2007
ACM
124views Data Mining» more  KDD 2007»
15 years 3 months ago
Hierarchical mixture models: a probabilistic analysis
Mixture models form one of the most widely used classes of generative models for describing structured and clustered data. In this paper we develop a new approach for the analysis...
Mark Sandler