7921 search results - page 121 / 1585 » LSH-preserving functions and their applications |
GPCE
2008
Springer
14 years 11 months ago
2008
Springer
A functional aspect is an aspect that has the semantics of a transformation; it is a function that maps a program to an advised program. Functional aspects are composed by functio...
TIP
1998
14 years 9 months ago
1998
Abstract—A general variational framework for image approximation and segmentation is introduced. By using a continuous “line-process” to represent edge boundaries, it is poss...
TPHOL
2002
IEEE
15 years 2 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
SIAMSC
2008
14 years 10 months ago
2008
Abstract. We present a new derivative-free algorithm, ORBIT, for unconstrained local optimization of computationally expensive functions. A trust-region framework using interpolati...
IUCS
2009
ACM
15 years 4 months ago
2009
ACM
This paper applied “Sandglass” machine translation architecture to the task of translating Japanese functional expressions into English. We employ the semantic equivalence cla...