2905 search results - page 442 / 581 » Formal Memetic Algorithms |
112
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We propose a framework for quantitative security analysis of machine learning methods. Key issus of this framework are a formal specification of the deployed learning model and a...
118
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
100
Voted
PAKDD
2009
ACM
15 years 10 months ago
2009
ACM
Atypical behaviours are the basis of a valuable knowledge in domains related to security (e.g. fraud detection for credit card [1], cyber security [4] or safety of critical systems...
118
click to vote
ICDM
2009
IEEE
15 years 10 months ago
2009
IEEE
Recent advances in data clustering concern clustering ensembles and projective clustering methods, each addressing different issues in clustering problems. In this paper, we consi...
158
Voted
AI
2009
Springer
15 years 10 months ago
2009
Springer
Spatial clustering, which groups similar spatial objects into classes, is an important research topic in spatial data mining. Many spatial clustering methods have been developed re...