5499 search results - page 831 / 1100 » Generalized Rewrite Theories |
208
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
With the growing number of acquired physiological and behavioral biometric samples, biometric data sets are experiencing tremendous growth. As database sizes increase, exhaustive ...
227
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
We are interested in engineering smart machines that enable backtracking of emergent behaviors. Our SSNNS simulator consists of hand-picked tools to explore spiking neural network...
216
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
We introduce quotient graphs for modeling neutrality in evolutionary search. We demonstrate that for a variety of evolutionary computing problems, search can be characterized by g...
183
click to vote
GIS
2008
ACM
15 years 8 months ago
2008
ACM
One of the formalisms to qualitatively describe polylines in the plane are double-cross matrices. In a double-cross matrix the relative position of any two line segments in a poly...
174
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...