2705 search results - page 129 / 541 » Privacy in Data Mining Using Formal Methods |
SDM
2007
SIAM
13 years 10 months ago
2007
SIAM
Many clustering algorithms have been proposed to partition a set of static data points into groups. In this paper, we consider an evolutionary clustering problem where the input d...
IFIP13
2004
13 years 10 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
KDD
2002
ACM
14 years 9 months ago
2002
ACM
Security of computer systems is essential to their acceptance and utility. Computer security analysts use intrusion detection systems to assist them in maintaining computer system...
INCDM
2010
Springer
14 years 18 days ago
2010
Springer
Hospitals increasingly use process models for structuring their care processes. Activities performed to patients are logged to a database but these data are rarely used for managin...
DATAMINE
1999
13 years 8 months ago
1999
Abstract. We describe a scalable parallel implementation of the self organizing map (SOM) suitable for datamining applications involving clustering or segmentation against large da...