1737 search results - page 25 / 348 » On Interpolation in Existence Logics |
141
click to vote
AMC
2006
15 years 6 months ago
2006
A numerical method based on an integro-differential formulation and approximation by local interpolating functions is proposed for solving a one-dimensional parabolic partial diff...
158
click to vote
APAL
1999
15 years 5 months ago
1999
We give a sound and complete propositional S5 tableau system of a particularly simple sort, having an easy completeness proof. It sheds light on why the satisfiability problem for...
152
click to vote
TIP
2008
15 years 6 months ago
2008
In this paper, a new weighted adaptive lifting (WAL)-based wavelet transform is presented. The proposed WAL approach is designed to solve the problems existing in the previous adap...
156
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Defeasible logic is an efficient non-monotonic logic that is defined only proof-theoretically. It has potential application in some legal domains. We present here an argumentatio...
169
click to vote
TMI
1998
15 years 5 months ago
1998
—Spatially varying focal length fan-beam collimators can be used in single photon emission computed tomography to improve detection efficiency and to reduce reconstruction artif...