Sciweavers

4397 search results - page 220 / 880
» Relational Algebra Operations
Sort
View
128
Voted
FTRTFT
1994
Springer
15 years 7 months ago
Specification and Refinement of Finite Dataflow Networks - a Relational Approach
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...
Manfred Broy, Ketil Stølen
130
Voted
HIS
2003
15 years 5 months ago
On a Set Theory With Uncertain Membership Relations
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...
Shunsuke Yatabe, Yuzuru Kakuda, Makoto Kikuchi
122
Voted
AAAI
2010
15 years 3 months ago
Inducing Probability Distributions from Knowledge Bases with (In)dependence Relations
When merging belief sets from different agents, the result is normally a consistent belief set in which the inconsistency between the original sources is not represented. As proba...
Jianbing Ma, Weiru Liu, Anthony Hunter
109
Voted
ITA
2008
123views Communications» more  ITA 2008»
15 years 3 months ago
On some problems related to palindrome closure
In this paper we solve some open problems related to (pseudo)palindrome closure operators and to the infinite words generated by their iteration, that is, standard episturmian and...
Michelangelo Bucci, Aldo de Luca, Alessandro De Lu...
95
Voted
JAT
2007
92views more  JAT 2007»
15 years 3 months ago
On real-analytic recurrence relations for cardinal exponential B-splines
Let LN+1 be a linear differential operator of order N + 1 with constant coefficients and real eigenvalues 1, . . . , N+1, let E( N+1) be the space of all C∞-solutions of LN+1 o...
J. M. Aldaz, Ognyan Kounchev, Hermann Render