1641 search results - page 36 / 329 » Termination Analysis with Algorithmic Learning |
111
Voted
AIMS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We discuss an approach to reducing the number of events accepted by anomaly detection systems, based on alternative schemes for interest-ranking. The basic assumption is ...
131
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
122
click to vote
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
I consider the setting of transductive learning of vertex labels in graphs, in which a graph with n vertices is sampled according to some unknown distribution; there is a true lab...
134
Voted
CEC
2003
IEEE
15 years 7 months ago
2003
IEEE
- As an alternative to traditional Evolutionary Algorithms (EAs), Population-Based Incremental Learning (PBIL) maintains a probabilistic model of the best individual(s). Originally...
112
Voted
ICPR
2002
IEEE
16 years 4 months ago
2002
IEEE
This paper considers a recently proposed method for unsupervised learning and dimensionality reduction, locally linear embedding (LLE). LLE computes a compact representation of hi...