2555 search results - page 47 / 511 » Quantifiers and Working Memory |
CEC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— The usage of memory in coevolutionary systems offers a wide range of research possibilities, especially when evolving computationally intelligent computer players for g...
91
Voted
ICS
1992
Tsinghua U.
15 years 2 months ago
1992
Tsinghua U.
Previous research has used program transformation to introduce parallelism and to exploit data locality. Unfortunately,these twoobjectives have usuallybeen considered independentl...
FPL
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents a revised model for the yield analysis of FPGA interconnect layers. Based on proven yield models, this work improves the predictions and assumptions of previous...
ACL
2008
14 years 11 months ago
2008
Earlier work in parsing Arabic has speculated that attachment to construct state constructions decreases parsing performance. We make this speculation precise and define the probl...
AML
2006
14 years 10 months ago
2006
Abstract. The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable;...