15754 search results - page 306 / 3151 » Programs are Knowledge Bases |
181
click to vote
BCS
2008
15 years 8 months ago
2008
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete...
154
click to vote
CSCW
2000
ACM
15 years 11 months ago
2000
ACM
In general, collaboration infrastructures have supported sharing of an object based on its logical structure. However, current implementations assume an implicit binding between t...
241
click to vote
CPE
1994
Springer
15 years 10 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
178
click to vote
EUROGP
2010
Springer
2010
Springer
Improving the Generalisation Ability of Genetic Programming with Semantic Similarity based Crossover
15 years 7 months ago
This paper examines the impact of semantic control on the ability of Genetic Programming (GP) to generalise via a semantic based crossover operator (Semantic Similarity based Cross...
174
click to vote
EURODAC
1994
IEEE
1994
IEEE
OSCAR: optimum simultaneous scheduling, allocation and resource binding based on integer programming
15 years 10 months ago
: This paper presents an approach to high-level synthesis which is based upon a 0/1 integer programming model. In contrast to other approaches, this model allows solving all three ...