5090 search results - page 60 / 1018 » Constructing Strategies for Programming |
CLEF
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents a system for bilingual information retrieval using commercial off-the-shelf search engines (COTS). Several custom query construction, expansion and translation ...
FSTTCS
2009
Springer
14 years 26 days ago
2009
Springer
ABSTRACT. Church's Problem asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence I an output sequen...
JETAI
2008
13 years 9 months ago
2008
Abstract. This paper describes a proof search procedure for propositional nonclausal resolution based on a new weighting strategy that utilizes search methods for propositional sat...
ICALP
1998
Springer
14 years 1 months ago
1998
Springer
It is well known that the performance of quicksort can be improved by selecting the median of a sample of elements as the pivot of each partitioning stage. For large samples the pa...
ICES
2010
Springer
13 years 7 months ago
2010
Springer
In this paper, we propose a new modification of Cartesian Genetic Programming (CGP) that enables to optimize digital circuits more significantly than standard CGP. We argue that co...