4403 search results - page 385 / 881 » Galois Theory of Algorithms |
188
click to vote
ICML
1994
IEEE
15 years 10 months ago
1994
IEEE
We explore algorithms for learning classification procedures that attempt to minimize the cost of misclassifying examples. First, we consider inductive learning of classification ...
180
click to vote
CCS
2008
ACM
15 years 8 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...
172
click to vote
COCOON
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we study the spectrum assignment problem for wireless access networks. Opportunistic spectrum usage is a promising technology. However, it could suffer from the self...
168
click to vote
COMPGEOM
2008
ACM
15 years 8 months ago
2008
ACM
This video presents the working of a new algorithm/software called DelPSC that meshes piecewise smooth complexes in three dimensions with Delaunay simplices. Piecewise smooth comp...
195
click to vote
EVOW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This work merges ideas from two very different areas: Particle Swarm Optimisation and Evolutionary Game Theory. In particular, we are looking to integrate strategies from...