[IEEE Proceedings of 7th IEEE International Conference on Image Processing - Vancouver, BC, Canada (2000.09.10-2000.09.13)] Proceedings 2000 International Conference on Image Processing (Cat. No.00CH37101) - New edge directed interpolation
- 作者Xin Li, ; Orchard, M.T.
- 文件大小491.91KB
- 发表时间2000
- DOI10.1109/icip.2000.899369
Unraveling Π11 setsItay Neeman · 2000
UnravelingItay Neeman · 2006
The domestic levels ofKcare iterableAlessandro Andretta; Itay Neeman; John Steel · 2001
A criterion for coarse iterabilityGunter Fuchs; Itay Neeman; Ralf Schindler · 2010
Proper Forcing and L(R)Itay Neeman and Jindřich Zapletal · The Journal of Symbolic Logic · 2001
Hierarchies of Forcing Axioms IItay Neeman and Ernest Schimmerling · The Journal of Symbolic Logic · 2008
Hierarchies of Forcing Axioms IIItay Neeman · The Journal of Symbolic Logic · 2008
The Strength of Blackwell DeterminacyDonald A. Martin, Itay Neeman and Marco Vervoort · The Journal of Symbolic Logic · 2003
Hilbert's Programs: 1917-1922Wilfried Sieg · The Bulletin of Symbolic Logic · 1999
Explicit Provability and Constructive SemanticsSergei N. Artemov · The Bulletin of Symbolic Logic · 2001
Foundations and Applications: Axiomatization and EducationF. William Lawvere · The Bulletin of Symbolic Logic · 2003
Developments in Constructive Nonstandard AnalysisErik Palmgren · The Bulletin of Symbolic Logic · 1998
The Discovery of My Completeness ProofsLeon Henkin · The Bulletin of Symbolic Logic · 1996
THE HYPERUNIVERSE PROGRAMTATIANA ARRIGONI and SY-DAVID FRIEDMAN · The Bulletin of Symbolic Logic · 2013
Logical Consequence RevisitedJosé M. Sagüillo · The Bulletin of Symbolic Logic · 1997
Logicality and InvarianceDenis Bonnay · The Bulletin of Symbolic Logic · 2008