7326 search results - page 240 / 1466 » Methods for modalities 3 |
141
click to vote
LMCS
2007
15 years 5 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...
172
click to vote
ENTCS
2002
15 years 5 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
130
click to vote
ICCS
2003
Springer
15 years 10 months ago
2003
Springer
Object oriented languages, in particular Java, use a frequent dynamic dispatch mechanism to search for the definition of an invoked method. A method could be defined in more than...
157
click to vote
CVPR
2007
IEEE
16 years 7 months ago
2007
IEEE
In this paper, we propose a novel region-based active contour model for image segmentation with a variational level set formulation. By introducing a local binary fitting energy, ...
198
click to vote
TMI
2010
15 years 3 months ago
2010
—Medical image registration is an important task in medical image processing. It refers to the process of aligning data sets, possibly from different modalities (e.g., magnetic r...