3136 search results - page 264 / 628 » Genetic programming theory |
250
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...
149
click to vote
AINA
2009
IEEE
16 years 20 days ago
2009
IEEE
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
157
Voted
ICALP
2007
Springer
16 years 9 hour ago
2007
Springer
Valiant’s theory of holographic algorithms is a novel methodology to achieve exponential speedups in computation. A fundamental parameter in holographic algorithms is the dimens...
132
click to vote
AUSAI
2005
Springer
15 years 11 months ago
2005
Springer
We are interested in programming languages for cognitive agents with preferences. We define rule-based agent theories and inference procedures in defeasible logic, and in this set...
189
click to vote
DAGSTUHL
2001
15 years 7 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...