3136 search results - page 269 / 628 » Genetic programming theory |
143
click to vote
ECCC
2007
15 years 5 months ago
2007
We recover the first linear programming bound of McEliece, Rodemich, Rumsey, and Welch for binary error-correcting codes and designs via a covering argument. It is possible to sh...
152
click to vote
FOSSACS
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
158
click to vote
DIMVA
2006
15 years 7 months ago
2006
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
175
click to vote
ENTCS
2007
15 years 5 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
204
click to vote
TPLP
2010
15 years 4 months ago
2010
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...