2233 search results - page 79 / 447 » Modular type classes |
DAGM
2006
Springer
15 years 3 months 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
15 years 3 months 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...
CORR
2004
Springer
14 years 11 months ago
2004
Springer
A class of one-dimensional convolutional codes will be presented. They are all MDS codes, i. e., have the largest distance among all one-dimensional codes of the same length n and...
AML
2000
14 years 11 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 ...
115
click to vote
IADIS
2009
14 years 9 months ago
2009
The paper describes a novel rule-based approach to classification of opinion statements on the level of individual sentences. In contrast to existing approaches, the proposed meth...