8766 search results - page 590 / 1754 » Functional logic programming |
167
Voted
HYBRID
2010
Springer
15 years 6 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...
148
click to vote
VMV
2000
15 years 6 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...
146
click to vote
CORR
2008
Springer
15 years 5 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...
149
click to vote
SIAMJO
2008
15 years 4 months ago
2008
A new active set algorithm for minimizing quadratic functions with separable convex constraints is proposed by combining the conjugate gradient method with the projected gradient. ...
144
click to vote
INFORMATICALT
2002
15 years 4 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...