619 search results - page 31 / 124 » Generic Extensions and Generic Polynomials |
ICCS
2007
Springer
13 years 11 months ago
2007
Springer
We propose in this paper an extension of Conceptual Graphs that allows to use datatypes (strings, numbers, ...) for typing concept nodes. Though the model-theoretic semantics of th...
MTA
2011
13 years 2 months ago
2011
Abstract This paper describes an interoperable Digital Rights Management architecture promoted by the MPEG standardization group in its new standard known as MPEG-M or MPEG Extensi...
ICFP
2003
ACM
14 years 7 months ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...
VR
2002
IEEE
14 years 17 days ago
2002
IEEE
We present DIVERSE, a highly modular collection of complimentary software packages designed to facilitate the creation of device independent virtual environments. DIVERSE is free/...
CSCW
1998
ACM
13 years 12 months ago
1998
ACM
The growth in interest in virtual environments in CSCW has focused on co-operation within these environments. Little consideration has been given to how users manage these environ...