2203 search results - page 366 / 441 » Temporal Abstract Interpretation |
102
click to vote
IPMI
2003
Springer
16 years 22 days ago
2003
Springer
Abstract. We describe the use of non-parametric permutation tests to detect activation in cortically-constrained maps of current density computed from MEG data. The methods are app...
204
click to vote
POPL
2009
ACM
16 years 16 days ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
119
click to vote
EWSN
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. In their EWSN'07 paper [1], Giusti et al. proposed a decentralized wake-up scattering algorithm for temporally spreading the intervals in which the nodes of a wirele...
MICCAI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Thickness measurements of the cerebral cortex can aid diagnosis and provide valuable information about the temporal evolution of several diseases such as Alzheimer’s, H...
HRI
2010
ACM
15 years 6 months ago
2010
ACM
Abstract—Joint attention – the idea that humans make inferences from observable behaviors of other humans by attending to the objects and events that these others humans attend...