5275 search results - page 219 / 1055 » Computing by observing |
139
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that...
133
click to vote
FECS
2006
15 years 5 months ago
2006
This paper presents the results of a semester's experiments with producing instruction in "castable" format for iPODs and PDAs. The program involved is a non-tradit...
127
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
124
click to vote
HAPTICS
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper presents the MIMICS MMS rehabilitation system with a virtual rehabilitation task that includes several modes of haptic assistance. We observed the influence of these dif...
130
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper a novel approach for semi-supervised hyperspectral unmixing is presented. First, it is shown that this problem inherently accepts a sparse solution. Then, based on t...