736 search results - page 21 / 148 » High-order functions and their ordering relations |
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
One of the important aspects in digital video applications is spatial and temporal characteristic. A very little progress has been achieved on spatiotemporal modeling of video dat...
EUSFLAT
2009
14 years 7 months ago
2009
In this paper, line search based on Sequential Quadratic Programming is implemented in order to find a solution to Fuzzy Relation Equations. Sequential Quadratic Programming is a g...
SEFM
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
LOPSTR
2009
Springer
15 years 4 months ago
2009
Springer
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...
JAT
2007
14 years 9 months ago
2007
Let LN+1 be a linear differential operator of order N + 1 with constant coefficients and real eigenvalues 1, . . . , N+1, let E( N+1) be the space of all C∞-solutions of LN+1 o...