1980 search results - page 228 / 396 » On the Associative Nijenhuis Relation |
137
click to vote
POPL
1991
ACM
15 years 4 months ago
1991
ACM
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
106
click to vote
NIPS
2008
15 years 2 months ago
2008
In multi-task learning several related tasks are considered simultaneously, with the hope that by an appropriate sharing of information across tasks, each task may benefit from th...
ECIS
2004
15 years 2 months ago
2004
The methods and technologies providing advantages in controlling and managing intellectual property rights are currently associated under the term Digital Rights Management (DRM)....
CAGD
2010
15 years 1 months ago
2010
This paper derives strong relations that boundary curves of a smooth complex of patches have to obey when the patches are computed by local averaging. These relations restrict the...
106
click to vote
LMCS
2006
15 years 1 months ago
2006
tract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same...