7167 search results - page 405 / 1434 » Answer Set Programming |
132
Voted
LFP
1992
15 years 4 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
116
Voted
CCS
2010
ACM
15 years 3 months ago
2010
ACM
We show that on both the x86 and ARM architectures it is possible to mount return-oriented programming attacks without using return instructions. Our attacks instead make use of c...
118
Voted
EC
2006
15 years 3 months ago
2006
Genetic programming has highlighted the problem of bloat, the uncontrolled growth of the average size of an individual in the population. The most common approach to dealing with ...
119
Voted
COMGEO
2007
ACM
15 years 3 months ago
2007
ACM
Arrangements of planar curves are fundamental structures in computational geometry. Recently, the arrangement package of Cgal, the Computational Geometry Algorithms Library, has b...
124
click to vote
JAIR
2008
15 years 3 months ago
2008
We represent planning as a set of loosely coupled network flow problems, where each network corresponds to one of the state variables in the planning domain. The network nodes cor...