2705 search results - page 211 / 541 » Privacy in Data Mining Using Formal Methods |
177
click to vote
ICDM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Time series motifs are sets of very similar subsequences of a long time series. They are of interest in their own right, and are also used as inputs in several higher-level data...
201
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
Multinomial distributions over words are frequently used to model topics in text collections. A common, major challenge in applying all such topic models to any text mining proble...
183
click to vote
CSFW
2006
IEEE
16 years 18 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
175
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
164
click to vote
IDA
2002
Springer
15 years 6 months ago
2002
Springer
Recently we presented a new approach [20] to the classification problem arising in data mining. It is based on the regularization network approach but in contrast to other methods...