2516 search results - page 156 / 504 » Integrity Constraints for XML |
145
click to vote
FLAIRS
2008
15 years 8 months ago
2008
This paper discusses how numerically imprecise information can be modelled and how a risk evaluation process can be elaborated by integrating procedures for numerically imprecise ...
181
click to vote
ASIASIM
2004
Springer
15 years 12 months ago
2004
Springer
Geometric constraints are imperative components of many dynamic simulation systems to effectively control the behavior of simulated objects. In this paper we present an improved fi...
168
click to vote
DAISD
1994
15 years 7 months ago
1994
We are interested in the problem of validating the consistency of integrity constraints when data is modi ed. In particular, we consider how constraints can be checked with only p...
180
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Constrained random simulation is supported by constraint solvers integrated within simulators. These constraint solvers need to be fast and memory efficient to maintain s...
143
click to vote
SCL
2008
15 years 6 months ago
2008
: The paper considers a model validation problem for a class of uncertain systems in which the uncertainty is described by an integral quadratic constraint and the uncertain system...