15754 search results - page 706 / 3151 » Programs are Knowledge Bases |
159
click to vote
ELPUB
2007
ACM
15 years 11 months ago
2007
ACM
This paper reports on the results of a feasibility study on open access publishing for humanities and social sciences journals supported by the Social Sciences and Humanities Rese...
188
click to vote
DIMVA
2009
15 years 8 months ago
2009
Abstract. This paper introduces a new software polymorphism technique that randomizes program data structure layout. This technique will generate different data structure layouts f...
194
click to vote
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis...
158
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
192
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Several different controller representations are compared on a non-trivial problem in simulated car racing, with respect to learning speed and final fitness. The controller rep...