3145 search results - page 138 / 629 » Algebraic Linear Orderings |
151
click to vote
JACM
2007
15 years 4 months ago
2007
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...
152
click to vote
CADE
2003
Springer
16 years 4 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...
119
click to vote
CIRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— A heuristic search for stable high-order delta sigma modulators is presented. Searches guided by the Linear Model found stable modulators with higher SNR performance compared t...
124
click to vote
ICCSA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper, we consider a nonlinear optimization problem with inequality constraints. The paper addresses the degenerate case when the active constraint gradients are ...
131
click to vote
IMCSIT
2010
14 years 11 months ago
2010
Paper presents results obtained when porting FEM 2D linear elastostatic local stiffness matrix calculations to Tesla architecture with OpenCL framework. Comparison with native NVID...