Sciweavers

15 search results - page 1 / 3
» Preservation of Interpolation Features by Fibring
Sort
View
LOGCOM
2008
94views more  LOGCOM 2008»
13 years 3 months ago
Preservation of Interpolation Features by Fibring
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
Walter Alexandre Carnielli, João Rasga, Cri...
BIRTHDAY
2005
Springer
13 years 9 months ago
Fibring Logics: Past, Present and Future
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
Carlos Caleiro, Amílcar Sernadas, Cristina ...
PCM
2009
Springer
188views Multimedia» more  PCM 2009»
13 years 8 months ago
Nonlocal Edge-Directed Interpolation
In this paper, we proposed a new edge-directed image interpolation algorithm which can preserve the edge features and natural appearance of images efficiently. In the proposed sche...
Xinfeng Zhang, Siwei Ma, Yongbing Zhang, Li Zhang,...
ICASSP
2008
IEEE
13 years 10 months ago
Image interpolation with directionlets
We present a novel directionally adaptive image interpolation based on a multiple-direction wavelet transform, called directionlets. The algorithm uses directionlets to efficient...
Vladan Velisavljevic, Raphael Coquoz
IGPL
2010
142views more  IGPL 2010»
13 years 28 days ago
Logics of Kripke meta-models
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
Sergey Babenyshev, Vladimir V. Rybakov