Sciweavers

686 search results - page 104 / 138
» Tradeoff analysis between knowledge assessment approaches
Sort
View
POPL
2012
ACM
13 years 7 months ago
The marriage of bisimulations and Kripke logical relations
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Va...
CBMS
2009
IEEE
15 years 6 months ago
Scenario-oriented information extraction from electronic health records
Providing a comprehensive set of relevant information at the point of care is crucial for making correct clinical decisions in a timely manner. Retrieval of scenario specific inf...
Anis Yousefi, Negin Mastouri, Kamran Sartipi
ICIAR
2009
Springer
15 years 6 months ago
The Use of Residuals in Image Denoising
Abstract. State-of-the-art image denoising algorithms attempt to recover natural image signals from their noisy observations, such that the statistics of the denoised image follow ...
Dominique Brunet, Edward R. Vrscay, Zhou Wang
ICASSP
2007
IEEE
15 years 6 months ago
Spatial Mixture Modelling for the Joint Detection-Estimation of Brain Activity in fMRI
— Within-subject analysis in event-related functional Magnetic Resonance Imaging (fMRI) first relies on (i) a detection step to localize which parts of the brain are activated b...
Thomas Vincent, Philippe Ciuciu, Jérô...
GLOBECOM
2006
IEEE
15 years 5 months ago
Blind Multiuser Detection in Multirate CDMA Transmissions Using Fluctuations of Correlation Estimators
Abstract— This paper deals with the problem of blind multiuser detection in multirate direct-sequence code division multiple access (DS-CDMA). Direct-Sequence Spread Spectrum (DS...
C. Nsiala Nzeza, R. Gautier, G. Burel