2062 search results - page 246 / 413 » Derivatives of Logical Formulas |
220
click to vote
DEON
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We show that a recently developed theory of positive permission based on the notion of derogation is hampered by a triviality result that indicates a problem with the und...
134
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Using mathematical morphology on formulas introduced recently by Bloch and Lang (Proceedings of IPMU’2000) we define two new explanatory relations. Their logical behav...
164
click to vote
ISSAC
1997
Springer
15 years 10 months ago
1997
Springer
Computer algebra systems typically drop some degenerate cases when evaluating expressions, e.g., x=x becomes 1 dropping the case x = 0. We claim that it is feasible in practice to...
166
click to vote
FTRTFT
1994
Springer
15 years 10 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
173
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
A probabilistic learning model for vague queries and missing or imprecise information in databases is described. Instead of retrieving only a set of answers, our approach yields a...