9359 search results - page 99 / 1872 » Generalization Algorithms for Second-Order Terms |
117
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Evolutionary computation is used to construct undetectable computer attack scripts. Using a simulated operating system, we show that scripts can be evolved to cover their tracks a...
106
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Building upon the interactive inversion method introduced by Ashburn and Bonabeau (2004), we show how to dramatically improve the results by exploiting modularity and by letting t...
118
click to vote
COMPGEOM
2010
ACM
15 years 9 months ago
2010
ACM
We prove that the union complexity of a set of n constantcomplexity locally fat objects (which can be curved and/or non-convex) in the plane is O(λt+2(n) log n), where t is the m...
118
click to vote
C3S2E
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we define four operations on musical rhythms that preserve a property called maximal evenness. The operations we describe are shadow, complementation, concatenation,...
235
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...