304 search results - page 25 / 61 » Generalized interpolation in CASL |
ASIACRYPT
2004
Springer
15 years 3 months ago
2004
Springer
We introduce a new computational problem related to the interpolation of group homomorphisms which generalizes many famous cryptographic problems including discrete logarithm, Diļ¬...
IVC
2000
14 years 9 months ago
2000
This paper presents a novel automatic method for view synthesis (or image transfer) from a triplet of uncalibrated images based on trinocular edge matching followed by transfer by...
FSTTCS
2010
Springer
14 years 7 months ago
2010
Springer
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
181
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
SIAMJO
2011
14 years 4 months ago
2011
Abstract. The condition number of a Gram matrix deļ¬ned by a polynomial basis and a set of points is often used to measure the sensitivity of the least squares polynomial approxim...