11397 search results - page 249 / 2280 » A Relational Abstraction for Functions |
229
click to vote
ECSQARU
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Given several Dempster-Shafer belief functions, the framework of valuation networks describes an efficient method for computing the marginal of the combined belief functi...
205
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We introduce a semantics for classical logic with partial functions. We believe that the semantics is natural. When a formula contains a subterm in which a function is ap...
137
click to vote
FS
2006
15 years 7 months ago
2006
Abstract The problem of finding the best-possible lower bound on the distribution of a non-decreasing function of n dependent risks is solved when n = 2 and a lower bound on the co...
161
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract— The “water-filling” solution for the quadratic ratedistortion function of a stationary Gaussian source is given in terms of its power spectrum. This formula natura...
196
click to vote
JSCIC
2010
15 years 2 months ago
2010
Abstract In this paper, Radial Basis Function (RBF) method for interpolating two dimensional functions with localized features defined on irregular domain is presented. RBF points ...