335 search results - page 43 / 67 » Compact Proofs of Retrievability |
ENTCS
2007
13 years 7 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
ICGI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Grammatical inference is typically defined as the task of finding a compact representation of a language given a subset of sample sequences from that language. Many di...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
In this paper we study statistical properties of the error covariance matrix of a Kalman filter, when it is subject to random measurement losses. We introduce a sequence of tighter...
MOC
2011
13 years 2 months ago
2011
We propose and analyze a finite element method for a semi– stationary Stokes system modeling compressible fluid flow subject to a Navier– slip boundary condition. The veloci...
KDD
2010
ACM
13 years 6 months ago
2010
ACM
Scalable similarity search is the core of many large scale learning or data mining applications. Recently, many research results demonstrate that one promising approach is creatin...