313 search results - page 11 / 63 » Lazy Abstraction with Interpolants |
EUROCRYPT
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. The noisy polynomial interpolation problem is a new intractability assumption introduced last year in oblivious polynomial evaluation. It also appeared independently in p...
XIMEP
2005
ACM
14 years 1 months ago
2005
ACM
Building an XML store means finding solutions to the problems of representing, accessing, querying and updating XML data. The irregularity of both the structure and usage of XML, ...
WEBDB
1999
Springer
13 years 11 months ago
1999
Springer
We propose a framework for navigation-driven evaluation of virtual mediated views. The approach is based on lazy mediators that translate incoming client navigations on a virtual ...
LISP
2008
13 years 7 months ago
2008
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...
AAECC
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. We prove lower bounds on the degree of polynomials interpolating the Diffie