5470 search results - page 850 / 1094 » Distributed Control Lab |
175
Voted
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
The analysis of brain activations using functional magnetic resonance imaging (fMRI) is an active area of neuropsychological research. Standard techniques for analysis have traditi...
149
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
181
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
We present a novel method of statistical surface-based morphometry based on the use of non-parametric permutation tests. In order to evaluate morphologicaldifferences of brain str...
285
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
162
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we re-visit the problem of unconditionally secure message transmission (USMT) from a sender S to a receiver R, who are part of a distributed synchronous network, mo...