257 search results - page 22 / 52 » Programming with narrowing: A tutorial |
COLOGNETWENTE
2008
13 years 9 months ago
2008
Abstract. A reformulation of a mathematical program is a formulation which shares some properties with, but is in some sense better than, the original program. Reformulations are i...
WFLP
2000
Springer
13 years 11 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
MJ
2007
13 years 7 months ago
2007
This paper presents a staircase-down SET programming technique for phase-change memories (PCMs). The proposed programming approach allows compensating for spreads in cell physical...
ALP
1994
Springer
13 years 12 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
FLAIRS
2006
13 years 9 months ago
2006
In this paper we test whether a correlation exists between the optimal mutation rate and problem difficulty. We find that the range of optimal mutation rates is inversely proporti...