15754 search results - page 811 / 3151 » Programs are Knowledge Bases |
110
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We propose some slight additions to O-O languages to implement the necessary features for using Deductive Object Programming (DOP). This way of programming based upon the manipula...
194
click to vote
EC
2006
15 years 7 months ago
2006
Genetic programming has highlighted the problem of bloat, the uncontrolled growth of the average size of an individual in the population. The most common approach to dealing with ...
217
click to vote
IIE
2008
15 years 7 months ago
2008
Because of the potential for methodological reviews to improve practice, this article presents the results of a methodological review, and meta-analysis, of kindergarten through 12...
195
click to vote
COMGEO
2007
ACM
15 years 7 months ago
2007
ACM
Arrangements of planar curves are fundamental structures in computational geometry. Recently, the arrangement package of Cgal, the Computational Geometry Algorithms Library, has b...
179
click to vote
CONCURRENCY
2007
15 years 7 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...