3179 search results - page 44 / 636 » Applications of PCF Theory |
107
Voted
BSL
2004
15 years 10 days ago
2004
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
112
Voted
TCS
2002
15 years 3 days ago
2002
DNA computing, or, more generally, molecular computing, is an exciting fast developing interdisciplinary area. Research in this area concerns theory, experiments, and applications...
81
Voted
ISMVL
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper, the theory of information relationships and relationship measures is considered and its application to logic design is discussed. This theory makes operational the ...
126
Voted
MICCAI
2005
Springer
16 years 1 months ago
2005
Springer
This paper introduces a novel solver, namely cross entropy (CE), into the MRF theory for medical image segmentation. The solver, which is based on the theory of rare event simulati...
96
Voted
ECCV
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A novel method is proposed for performing multi-label, semi-automated image segmentation. Given a small number of pixels with user-defined labels, one can analytically (...