- This paper compares two types of class E power amplifier and studies their applicability in EER (Envelope Elimination and Restoration) transmitter. In EER applications one of the...
Image classification is often used to extract information from multi-spectral satellite images. Unsupervised methods can produce results well adjusted to the data, but that are us...
Abstract. Patch based approaches have recently shown promising results for the recognition of visual object classes. This paper investigates the role of different properties of pat...
Alexandra Teynor, Esa Rahtu, Lokesh Setia, Hans Bu...
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
We study a local version of the order property in several frameworks, with an emphasis on frameworks where the compactness theorem fails: (1) Inside a fixed model, (2) for classes ...