Sciweavers

922 search results - page 7 / 185
» On a Generalization of the Stone-Weierstrass Theorem
Sort
View
SAC
2010
ACM
13 years 2 months ago
Similar triangles and orientation in plane elementary geometry for Coq-based proofs
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
Tuan Minh Pham
ICIP
1995
IEEE
14 years 8 months ago
3D super-resolution using generalized sampling expansion
A 3D super-resolution algorithm is proposed below, based on a probabilistic interpretation of the ndimensional version of Papoulis' generalized sampling theorem. The algorith...
Hassan Shekarforoush, Marc Berthod, Josiane Zerubi...
CSL
2002
Springer
13 years 7 months ago
On Generalizations of Semi-terms of Particularly Simple Form
Abstract. We show that Gentzen's sequent calculus admits generalization of semi-terms of particularly simple form. This theorem extends one of the main results in [BS95] to la...
Matthias Baaz, Georg Moser
JCT
2010
62views more  JCT 2010»
13 years 5 months ago
A Ramsey theorem for structures with both relations and functions
We prove a generalization of Pr¨omel’s theorem to finite structures with both relations and functions.
Slawomir Solecki
CDC
2010
IEEE
119views Control Systems» more  CDC 2010»
13 years 2 months ago
Multichannel small-gain theorems for large scale networked systems
We consider large scale interconnected systems where some of the interconnections are characterized by uncertain bounded delays. The delays may for instance be due to a communicati...
Rudolf Sailer, Fabian Wirth