15754 search results - page 740 / 3151 » Programs are Knowledge Bases |
211
click to vote
COCOA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Multiple sequence alignment (MSA) is one of the most basic and central tasks for many studies in modern biology. In this paper, we present a new progressive alignment alg...
199
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
162
click to vote
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
230
click to vote
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
193
click to vote
CEC
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper reports an improvement to genetic programming (GP) search for the symbolic regression domain, based on an analysis of dissimilarity and mating. GP search is generally di...