471 search results - page 65 / 95 » Modals As A Problem For MT |
MICCAI
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we present a novel method for performing image registration of different modalities. Mutual Information (MI) is an established method for performing such registration...
LMCS
2007
14 years 9 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
192
click to vote
IPMI
2011
Springer
14 years 1 months ago
2011
Springer
Tumor segmentation in PET and CT images is notoriously challenging due to the low spatial resolution in PET and low contrast in CT images. In this paper, we proposed a general fram...
ICIP
2001
IEEE
15 years 11 months ago
2001
IEEE
Spectral data estimation from image data is an ill-posed problem since (i) due to the integral nature of solid-state light sensors the same output can be obtained from an infinity...
167
click to vote
ICDE
1999
IEEE
15 years 11 months ago
1999
IEEE
Temporal reasoning and temporal query languages present di cult research problems of theoretical interest and practical importance. One problem is the chasm between point-based te...