2335 search results - page 119 / 467 » Type Checking Type Classes |
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
- 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...
ICIAR
2005
Springer
14 years 2 months ago
2005
Springer
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...
DAGM
2006
Springer
14 years 21 days ago
2006
Springer
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...
FASE
2000
Springer
14 years 19 days ago
2000
Springer
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...
AML
2000
13 years 8 months ago
2000
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 ...