7121 search results - page 429 / 1425 » Functions as Session-Typed Processes |
177
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
195
Voted
JMIV
1998
15 years 6 months ago
1998
In the past decades linear scale-space theory was derived on the basis of various axiomatics. In this paper we revisit these axioms and show that they merely coincide with the foll...
193
click to vote
JMLR
2010
15 years 1 months ago
2010
Appropriate selection of the kernel function, which implicitly defines the feature space of an algorithm, has a crucial role in the success of kernel methods. In this paper, we co...
188
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
The appearance of dynamic scenes is often largely governed by a latent low-dimensional dynamic process. We show how to learn a mapping from video frames to this lowdimensional rep...
201
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper introduces a variational formulation for image denoising based on a quadratic function over kernels of variable bandwidth. These kernels are scale adaptive and reflect ...