10899 search results - page 633 / 2180 » The GP Programming System |
172
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we provide an algorithm that systematically considers all small trees in the search space of genetic programming. These small trees are used to generate useful subr...
221
click to vote
ICMCS
2005
IEEE
16 years 25 days ago
2005
IEEE
A method is proposed for viewing broadcast content that converts TV programs into Web content and integrates the results with complementary information retrieved using the Interne...
160
click to vote
SIGCSE
2005
ACM
16 years 24 days ago
2005
ACM
Last year we described the PL-Detective, a system for building exercises and demonstrations in a programming languages course. One of the main goals of the PL-Detective was to pro...
200
click to vote
TLDI
2005
ACM
16 years 24 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
221
click to vote
ASP
2005
Springer
16 years 23 days ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...