7326 search results - page 83 / 1466 » Methods for modalities 3 |
113
click to vote
ICIP
2009
IEEE
16 years 4 months ago
2009
IEEE
Functional properties of living tissues appear in PET, whereas structural information at significantly higher resolution and better image quality is provided by other modalities, ...
115
Voted
CAV
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a symbolic model checking algorithm for Fixpoint Logic with Chop, an extension of the modal µ-calculus capable of defining non-regular properties. Some empiri...
131
Voted
COLING
1994
15 years 4 months ago
1994
A multimodal user interface allows users to communicate with computers using multiple modalities, such as a mouse, a keyboard or voice, in various combined ways. This paper discus...
131
Voted
APAL
2008
15 years 3 months ago
2008
Bisimulations, behavioral equivalence and logical equivalence are investigated for stochastic T-coalgebras that interpret coalgebraic logic which is defined in terms of predicate ...
145
Voted
FPL
2011
Springer
14 years 3 months ago
2011
Springer
Abstract—In the clinical applications, medical image registrations on the images taken from different times and/or through different modalities are needed in order to have an obj...