1548 search results - page 143 / 310 » Data sharing between ada and C C |
160
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
In this paper, we present a novel algorithm for non-rigidly registering two high angular resolution diffusion weighted MRIs (HARDI), each represented by a Gaussian mixture field (G...
293
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
202
click to vote
APN
2007
Springer
16 years 19 days ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
144
click to vote
ICALT
2006
IEEE
16 years 15 days ago
2006
IEEE
It is difficult to collect evidence of adequate performance if an assessor and the assessees have different linguistic and cultural backgrounds. This paper considers three entries...
160
click to vote
EH
2005
IEEE
16 years 1 days ago
2005
IEEE
Co-evolution of system models and system tests can be used for exploratory system identification of physical platforms. Here we demonstrate how the amount of physical testing can ...