1193 search results - page 175 / 239 » A primer of simple theories |
105
click to vote
GECCO
2008
Springer
15 years 29 days ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
103
click to vote
ICFP
2010
ACM
15 years 29 days ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
ICASSP
2010
IEEE
15 years 2 days ago
2010
IEEE
: © Performance Analysis for Blind Identification of Acoustic Channels Majid Fozunbal HP Laboratories HPL-2009-333 Audio, acoustic systems, blind identification, dereverberation, ...
CCE
2008
14 years 12 months ago
2008
Administration of certain drugs at a steady rate results in deterioration of drug effect, also known as drug tolerance. Periodic delivery is an attractive option for minimizing to...
COGSCI
2010
14 years 12 months ago
2010
People are remarkably smart: They use language, possess complex motor skills, make nontrivial inferences, develop and use scientific theories, make laws, and adapt to complex dyna...