3394 search results - page 27 / 679 » A Modal Model of Memory |
LICS
2012
IEEE
12 years 8 days ago
2012
IEEE
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
POPL
2010
ACM
14 years 7 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
MICCAI
2004
Springer
14 years 10 months ago
2004
Springer
Two of the major imaging modalities used to detect and monitor breast cancer are (contrast enhanced) magnetic resonance (MR) imaging and mammography. Image fusion, including accura...
ICIP
2007
IEEE
14 years 11 months ago
2007
IEEE
We propose a multi-modal object tracking algorithm that combines appearance, motion and audio information in a particle filter. The proposed tracker fuses at the likelihood level ...
ISBI
2004
IEEE
14 years 10 months ago
2004
IEEE
We present a new fast implementation of a non-rigid registration algorithm, based on a finite element elastic deformation model using the mutual information metric with a linear e...