5255 search results - page 811 / 1051 » Formal Methods for Privacy |
135
click to vote
AIL
2008
15 years 6 months ago
2008
In this paper, we present an ontology in OWL for Legal Case-based Reasoning. We outline some of the main motivations for providing an ontology in OWL, then discuss Legal Case-base...
162
click to vote
AMAI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...
171
click to vote
CN
2010
15 years 6 months ago
2010
This poster discusses methods to characterize the resilience of networks to a number of challenges and attacks, with the goal of developing quantifiable metrics to determine the de...
146
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we propose a unified algorithmic framework for solving many known variants of MDS. Our algorithm is a simple iterative scheme with guaranteed convergence, and is mo...
103
click to vote
CSDA
2010
15 years 6 months ago
2010
This paper considers tests for cointegration with allowance for structural breaks, using the extrema of residual-based tests over subsamples of the data. One motivation for the ap...