Sciweavers

1041 search results - page 46 / 209
» Two Algorithms for Inducing Causal Models from Data
Sort
View
TASE
2007
IEEE
15 years 4 months ago
Symmetry Reduced Model Checking for B
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
Edd Turner, Michael Leuschel, Corinna Spermann, Mi...
GECCO
2007
Springer
192views Optimization» more  GECCO 2007»
14 years 11 months ago
Parsimonious regularization using genetic algorithms applied to the analysis of analytical ultracentrifugation experiments
Frequently in the physical sciences experimental data are analyzed to determine model parameters using techniques known as parameter estimation. Eliminating the effects of noise ...
Emre H. Brookes, Borries Demeler
ACL
2003
14 years 11 months ago
Unsupervised Segmentation of Words Using Prior Distributions of Morph Length and Frequency
We present a language-independent and unsupervised algorithm for the segmentation of words into morphs. The algorithm is based on a new generative probabilistic model, which makes...
Mathias Creutz
IJCV
2002
99views more  IJCV 2002»
14 years 9 months ago
Subjective Surfaces: A Geometric Model for Boundary Completion
We present a geometric model and a computational method for segmentation of images with missing boundaries. In many situations, the human visual system fills in missing gaps in ed...
Alessandro Sarti, Ravi Malladi, James A. Sethian
KDD
2006
ACM
156views Data Mining» more  KDD 2006»
15 years 10 months ago
Discovering significant OPSM subspace clusters in massive gene expression data
Order-preserving submatrixes (OPSMs) have been accepted as a biologically meaningful subspace cluster model, capturing the general tendency of gene expressions across a subset of ...
Byron J. Gao, Obi L. Griffith, Martin Ester, Steve...