6943 search results - page 895 / 1389 » Representations for evolutionary algorithms |
184
click to vote
CCS
2008
ACM
15 years 9 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...
166
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
In order to handle device matching for analog circuits, some pairs of modules need to be placed symmetrically with respect to a common axis. In this paper, we deal with the module...
142
click to vote
CBMS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this study, a neural network based approach is used to predict the presence of Maturity Onset Diabetes type 3, referred as MODY3 Type II diabetes mellitus. The study has used b...
175
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...
224
click to vote
EUROGP
2008
Springer
15 years 8 months ago
2008
Springer
Two prominent genetic programming approaches are the graph-based Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP). Recently, a formal algorithm for construc...