250 search results - page 23 / 50 » A Framework for Access Methods for Versioned Data |
ICCAD
1999
IEEE
14 years 4 days ago
1999
IEEE
Available techniques for testing core-based systems-on-a-chip (SOCs) do not provide a systematic means for synthesising low-overhead test architectures and compact test solutions....
CAV
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
NIPS
2008
13 years 9 months ago
2008
Confidence-weighted (CW) learning [6], an online learning method for linear classifiers, maintains a Gaussian distributions over weight vectors, with a covariance matrix that repr...
SCIA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The availability of ground-truth flow field is crucial for quantitative evaluation of any optical flow computation method. The fidelity of test data is also important...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
We propose a new approach to accessing databases through the Web that is based on the WebDAV protocol (Web-based Distributed Authoring and Versioning). This paper introduces an ex...