3552 search results - page 511 / 711 » Proof theory in the abstract |
180
click to vote
GECCO
2007
Springer
16 years 22 days ago
2007
Springer
The application of resource-defined fitness sharing (RFS) to shape nesting problems reveals a remarkable ability to discover tilings [7, 8]. These tilings represent exact covers...
171
click to vote
FOCS
2006
IEEE
16 years 19 days ago
2006
IEEE
The “analyst’s traveling salesman theorem” of geometric measure theory characterizes those subsets of Euclidean space that are contained in curves of finite length. This re...
175
click to vote
FOCS
2006
IEEE
16 years 19 days ago
2006
IEEE
The quantum query complexity of searching for local optima has been a subject of much interest in the recent literature. For the d-dimensional grid graphs, the complexity has been...
217
click to vote
ACISP
2006
Springer
16 years 17 days ago
2006
Springer
In this paper we are interested in algebraic immunity of several well known highly-nonlinear vectorial Boolean functions (or Sboxes), designed for block and stream ciphers. Unfortu...
193
click to vote
SPAA
2005
ACM
16 years 4 days ago
2005
ACM
Switching cells in parallel is a common approach to build switches with very high external line rate and a large number of ports. A prime example is the parallel packet switch (in...