3136 search results - page 174 / 628 » Genetic programming theory |
153
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
119
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
123
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
We introduce high-level theories in analogy with high-level programming languages. The basic point is that even though one can define many theories via simple, low-level axiomatiza...
148
Voted
BIOCOMP
2007
15 years 6 months ago
2007
Background: Genetic regulatory networks (GRN) can be described by differential equations with SUM logic which has been found in many natural systems. Identification of the network...
119
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall s...