332 search results - page 1 / 67 » An Aristotelian notion of size |
APAL
2006
13 years 4 months ago
2006
The na
STACS
2009
Springer
13 years 11 months ago
2009
Springer
We introduce a new technique proving formula size lower bounds based on the linear programming bound originally introduced by Karchmer, Kushilevitz and Nisan [11] and the theory of...
HAID
2010
Springer
13 years 3 months ago
2010
Springer
One factor which can be expected to influence performance in applications where the user points a device in some direction to obtain information is the angle interval in which the ...
GECCO
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Bloat is a common and well studied problem in genetic programming. Size and depth limits are often used to combat bloat, but to date there has been little detailed explor...
CSL
2005
Springer
13 years 10 months ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...