287 search results - page 13 / 58 » Mixed Strand Spaces |
MSCS
2007
13 years 8 months ago
2007
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...
MC
2007
2007
Embodied Media and Mixed Reality for Social and Physical Interactive Communication and Entertainment
13 years 10 months ago
This talk outlines new facilities within human media spaces supporting embodied interaction between humans, animals, and computation both socially and physically, with the aim of ...
DCC
2007
IEEE
14 years 8 months ago
2007
IEEE
We define a mixed partition of = PG(d, qr) to be a partition of the points of into subspaces of two distinct types, for instance, a partition of PG(2n - 1, q2) into (n - 1)-spac...
JMLR
2011
13 years 3 months ago
2011
We propose a fully Bayesian methodology for generalized kernel mixed models (GKMMs), which are extensions of generalized linear mixed models in the feature space induced by a repr...
GRAPHICSINTERFACE
2009
13 years 6 months ago
2009
This paper describes how mixed reality (MR) technology is applied in the urban renewal process to help mixed groups of stakeholders collaboratively construct, explore and discuss ...