1737 search results - page 13 / 348 » On Interpolation in Existence Logics |
JELIA
2004
Springer
14 years 23 days ago
2004
Springer
We describe ongoing research to support the construction of terminologies with Description Logics. For the explanation of subsumption we search for particular concepts because of t...
TFS
2008
13 years 7 months ago
2008
Fuzzy interpolation does not only help to reduce the complexity of fuzzy models, but also makes inference in sparse rule-based systems possible. It has been successfully applied to...
ICIP
2007
IEEE
14 years 9 months ago
2007
IEEE
This paper discusses the disadvantages of several existing objective quality evaluation methods for frame interpolation techniques. Samples show that these disadvantages lead the ...
ISBI
2007
IEEE
14 years 1 months ago
2007
IEEE
Interpolation is a vital tool in biomedical signal processing. Although there exists a substantial literature dedicated to noise-free conditions, much less is known in the presenc...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...