3179 search results - page 138 / 636 » Applications of PCF Theory |
JASIS
2000
13 years 10 months ago
2000
In the logical approach to information retrieval (IR), retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Dat...
SLOGICA
2002
13 years 9 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Resource management and scheduling plays a crucial role in achieving high utilization of resources in grid computing environments. Due to heterogeneity of resources, scheduling an...
CVPR
2006
IEEE
15 years 2 days ago
2006
IEEE
We develop theory and algorithms to incorporate image manifold constraints in a level set segmentation algorithm. This provides a framework to simultaneously segment every image o...
ICIP
2001
IEEE
14 years 11 months ago
2001
IEEE
In this paper we use concepts from the lattice-based theory of morphological operators and fuzzy sets to develop generalized lattice image operators that can be expressed as nonli...