3328 search results - page 169 / 666 » On Plateaued Functions and Their Constructions |
297
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
A method is presented for computing all higher-order partial derivatives of a multivariate function Rn R. This method works by evaluating the function under a nonstandard interpre...
203
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
160
click to vote
ICTAI
2005
IEEE
16 years 3 days ago
2005
IEEE
One of the major drawbacks in block-based discrete cosine transform (BDCT) is the blocking artifacts at low bit rates. In this paper, an adaptive deblocking algorithm based on Mar...
169
click to vote
JGO
2008
15 years 6 months ago
2008
This article complements the paper [7], where we showed that a compact feasible set of a standard semi-infinite optimization problem can be approximated arbitrarily well by a leve...
171
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...