7121 search results - page 1033 / 1425 » Functions as Session-Typed Processes |
142
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
Recently various mathematical models have been proposed to model the signal attenuation obtained from Diffusion Weighted Magnetic Resonance Imaging (DW-MRI). Though effective to v...
141
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Especially in the past few years, there has been an increase in the rejection rate of interactive consumer electronics products in the field, not due to broken hardware or softwar...
185
click to vote
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
One of the main problems in probabilistic grammatical inference consists in inferring a stochastic language, i.e. a probability distribution, in some class of probabilistic models...
217
click to vote
PADS
2009
ACM
16 years 1 months ago
2009
ACM
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
191
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Parallel architectures are the way of the future, but are notoriously difficult to program. In addition to the low-level constructs they often present (e.g., locks, DMA, and non-...