5499 search results - page 928 / 1100 » Generalized Rewrite Theories |
188
click to vote
ACTAC
1998
15 years 6 months ago
1998
In a semi-structured database there is no clear separation between the data and the schema, and the degree to which it is structured depends on the application. Semi-structured da...
231
click to vote
JACM
2002
15 years 6 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
202
Voted
IJCV
1998
15 years 6 months ago
1998
The fact that objects in the world appear in different ways depending on the scale of observation has important implications if one aims at describing them. It shows that the not...
218
click to vote
OR
2002
Springer
15 years 6 months ago
2002
Springer
The paper presents an overview of financial applications of copulas. Copulas permit to represent joint distribution functions by splitting the marginal behavior, embedded in the ma...
185
click to vote
TIT
2002
15 years 6 months ago
2002
Abstract--Two-dimensional interleaving schemes with repetitions are considered. These schemes are required for the correction of two-dimensional bursts (or clusters) of errors in a...