1836 search results - page 11 / 368 » Hierarchies for semantic classes |
IWPC
2008
IEEE
15 years 4 months ago
2008
IEEE
Inheritance is an important mechanism when developing object-oriented programs with class-based programming languages: it enables subtyping, polymorphism, and code reuse. Inherita...
92
Voted
ITP
2010
14 years 11 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
117
click to vote
APSEC
1998
IEEE
15 years 1 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
85
Voted
ACMSE
2004
ACM
15 years 3 months ago
2004
ACM
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...
MCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Obtaining ground truth for hyperspectral data is an expensive task. In addition, a number of factors cause the spectral signatures of the same class to vary with location...