1037 search results - page 85 / 208 » Compositional Variability - Concepts and Patterns |
100
click to vote
TPHOL
2003
IEEE
15 years 8 months ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
160
click to vote
KDD
2009
ACM
16 years 3 months ago
2009
ACM
Mining discrete patterns in binary data is important for subsampling, compression, and clustering. We consider rankone binary matrix approximations that identify the dominant patt...
116
click to vote
KDD
2002
ACM
16 years 3 months ago
2002
ACM
Many techniques for association rule mining and feature selection require a suitable metric to capture the dependencies among variables in a data set. For example, metrics such as...
121
click to vote
RECOMB
2004
Springer
16 years 3 months ago
2004
Springer
Finding recurring residue packing patterns, or spatial motifs, that characterize protein structural families is an important problem in bioinformatics. To this end, we apply a nov...
153
click to vote
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose and evaluate a model for controlling infection patterns defined over rounds or real time in a gossipbased protocol using adaptive fanout. We model three versions of go...