6800 search results - page 733 / 1360 » Testing with Functions as Specifications |
204
click to vote
MICCAI
2004
Springer
16 years 8 months ago
2004
Springer
We tackle the problem of real-time statistical analysis of functional magnetic resonance imaging (fMRI) data. In a recent paper, we proposed an incremental algorithm based on the e...
203
click to vote
ISBI
2006
IEEE
2006
IEEE
Mixture principal component analysis for distribution volume parametric imaging in brain PET studies
16 years 7 months ago
In this paper, we present a mixture Principal Component Analysis (mPCA)-based approach for voxel level quantification of dynamic positron emission tomography (PET) data in brain s...
193
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Hypermedia systems and more specifically open hypermedia systems (OHS) provide a rich set of implementations of different hypertext flavors such as navigational hypertext, spatial...
171
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
Current Network User Interfaces (NUIs) provide entrances to an enormous amount of Web-based services, bringing about new use problems such as laborious and unsuccessful navigation...
304
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Purely functional programs should run well on parallel hardware because of the absence of side effects, but it has proved hard to realise this potential in practice. Plenty of pap...