7924 search results - page 18 / 1585 » Non-Malleable Functions and Their Applications |
164
click to vote
RC
2002
15 years 5 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
175
click to vote
TROB
2002
15 years 5 months ago
2002
Abstract-- This paper presents a framework for visual servoing that guarantees convergence to a visible goal from almost every initially visible configuration while maintaining ful...
143
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
152
click to vote
EMNLP
2009
15 years 3 months ago
2009
Measuring the similarity between two texts is a fundamental problem in many NLP and IR applications. Among the existing approaches, the cosine measure of the term vectors represen...
151
click to vote
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
We describe an energy minimization algorithm for functions defined on 4-connected lattices, of the type usually encountered in problems involving images. Such functions are often ...