2362 search results - page 101 / 473 » Programming in Standard ML |
124
Voted
EUROGP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper we continue our study on adaptive genetic programming. We use Stepwise Adaptation of Weights (saw) to boost performance of a genetic programming algorithm o...
142
Voted
ARTS
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
136
Voted
CP
2007
Springer
15 years 7 months ago
2007
Springer
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
134
Voted
AAAI
1994
15 years 5 months ago
1994
We present a method of representing some classes of default theories as normal logic programs. The main point is that the standard semantics (i.e. SLDNF-resolution) computes answe...
131
Voted
ENTCS
2007
15 years 3 months ago
2007
d abstract) Paolo Zuliani 1 Department of Computer Science Princeton University Princeton, NJ 08544, USA In this paper we offer a programming approach to quantum computation usin...