3221 search results - page 124 / 645 » Termination of Linear Programs |
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
Turing complete Genetic Programming (GP) models introduce the concept of internal state, and therefore have the capacity for identifying interesting temporal properties. Surprisin...
ICALP
2009
Springer
14 years 10 months ago
2009
Springer
STOC
2012
ACM
12 years 2 days ago
2012
ACM
This work deals with the power of linear algebra in the context of multilinear computation. By linear algebra we mean algebraic branching programs (ABPs) which are known to be com...
RTA
2010
Springer
14 years 1 months ago
2010
Springer
We show that, contrary to the situation in first-order term rewriting, almost none of the usual properties of rewriting are modular for higher-order rewriting, irrespective of the...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...