7289 search results - page 125 / 1458 » A Dependent Set Theory |
FOIKS
2010
Springer
13 years 11 months ago
2010
Springer
Armstrong databases are a popular tool in example-based database design. An Armstrong database for a given constraint set from a fixed constraint class Z satisfies precisely those ...
JGS
2010
13 years 2 months ago
2010
The purpose of this paper is to suggest estimators for the parameters of spatial models containing a spatially lagged dependent variable, as well as spatially lagged independent va...
CADE
2004
Springer
14 years 8 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
FOSSACS
2006
Springer
13 years 11 months ago
2006
Springer
The indistinguishability of two pieces of data (or two lists of pieces of data) can be represented formally in terms of a relation called static equivalence. Static equivalence dep...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...