619 search results - page 39 / 124 » Generic Extensions and Generic Polynomials |
124
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our res...
198
Voted
VLDB
2006
ACM
16 years 2 months ago
2006
ACM
The objective of extensible DBMSs is to ease the construction of specialized DBMSs for nontraditional applications. Although much work has been done in providing various levels of ...
104
Voted
ASIACRYPT
2007
Springer
15 years 8 months ago
2007
Springer
The black-box field (BBF) extraction problem is, for a given field F, to determine a secret field element hidden in a black-box which allows to add and multiply values in F in ...
119
Voted
VRML
2004
ACM
15 years 8 months ago
2004
ACM
In this paper we present a VRML97-X3D extension to describe precomputed visibility relationships in the context of progressive transmission as well as real time visualization of m...
99
Voted
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In this paper we present Jam, an extension of the Java language supporting mixins, that is, parametric heir classes. A mixin declaration in Jam is similar to a Java heir ...