1520 search results - page 35 / 304 » Class Hierarchy Specialization |
JC
2008
13 years 7 months ago
2008
Valiant introduced 20 years ago an algebraic complexity theory to study the complexity of polynomial families. The basic computation model used is the arithmetic circuit, which ma...
FASE
2000
Springer
13 years 11 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...
ASWC
2008
Springer
13 years 9 months ago
2008
Springer
More and more RDF data have been published online to be consumed. Ordinary Web users also expect to experience more intelligent services promised by the Semantic Web, such as objec...
ECLIPSE
2004
ACM
14 years 1 months ago
2004
ACM
Traits are a language technology that complements inheritance as a means for code reuse and class structuring. Traits encapsulate collections of methods so that they can be used a...
SCIA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Recently, an energy-based unified framework for image denoising was proposed by Mr´azek et al. [10], from which existing nonlinear filters such as M-smoothers, bilater...