4205 search results - page 87 / 841 » Typed Mobile Objects |
107
Voted
JOT
2007
15 years 3 months ago
2007
ome this restriction, we develop so-called loose domains which abstract over several precise domains. Similar to the relation between supertypes and subtypes, we get a relation bet...
121
Voted
TIM
2010
14 years 10 months ago
2010
Electrical capacitance tomography (ECT) attempts to image the permittivity distribution of an object by measuring the electrical capacitance between sets of electrodes placed aroun...
129
Voted
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
110
Voted
ENTCS
2002
15 years 3 months ago
2002
We consider the dual of Theorem 1 from [33], relating closure conditions on subcategories with projectivity classes for collections of discrete cocones. We extend these results by...
134
Voted
NIME
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we describe a course of research investigating the potential for new types of music made possible by location tracking and wireless technologies. Listeners walk aro...