9595 search results - page 366 / 1919 » Functional programming in C |
176
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
183
click to vote
EUROGP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A new model for evolving crossover operators for evolutionary function optimization is proposed in this paper. The model is a hybrid technique that combines a Genetic Pro...
192
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
This paper considers off-line synthesis of stabilizing static feedback control laws for discrete-time piecewise affine (PWA) systems. Two of the problems of interest within this f...
187
click to vote
VMV
2000
15 years 8 months ago
2000
In most volume rendering scenarios implicit classification is performed manually by specification of a transfer function, that maps abstract data values to visual attributes. An a...
189
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Prolog's ability to return multiple answers on backtracking provides an elegant mechanism to derive reversible encodings of combinatorial objects as Natural Numbers i.e. ranki...