3305 search results - page 196 / 661 » Can we Rely on SQL |
IFIP
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. In Measurement Based Admission Control (MBAC), the decision of accepting or rejecting a new ow is based on measurements of the current trac situation. Since MBAC relies o...
ISW
2010
Springer
13 years 8 months ago
2010
Springer
The concept of grouping proofs has been introduced by Juels to permit RFID tags to generate a verifiable proof that they have been scanned simultaneously, even when readers or tags...
EMNLP
2009
13 years 8 months ago
2009
In previous research in automatic verb classification, syntactic features have proved the most useful features, although manual classifications rely heavily on semantic features. ...
ICDT
2009
ACM
13 years 8 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
TIT
2010
13 years 5 months ago
2010
Orthogonal matching pursuit (OMP) is the canonical greedy algorithm for sparse approximation. In this paper we demonstrate that the restricted isometry property (RIP) can be used f...