1477 search results - page 169 / 296 » Random Convex Programs |
114
Voted
ACSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Detection of malicious software (malware) by the use of static signatures is often criticized for being overly simplistic. Available methods of obfuscating code (so-called metamor...
151
Voted
GECCO
2011
Springer
14 years 5 months ago
2011
Springer
In genetic programming, the reproductive operators of crossover and mutation both require the selection of nodes from the reproducing individuals. Both unbiased random selection a...
152
Voted
PADL
2012
Springer
13 years 9 months ago
2012
Springer
We begin with a functional reactive programming (FRP) model in which every program is viewed as a signal function that converts a stream of input values into a stream of output va...
124
Voted
ICALP
1992
Springer
15 years 6 months ago
1992
Springer
The "nearest neighbor" relation, or more generally the "k nearest neighbors" relation, defined for a set of points in a metric space, has found many uses in co...
92
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutines satisfiability modulo this theory and polyhedral pro...