156 search results - page 12 / 32 » The Expressivity of Quantifying over Regions |
CDB
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have received ample research attention. In particular, the ex...
BIBE
2008
IEEE
15 years 4 months ago
2008
IEEE
— Recent studies in the field of molecular imaging have demonstrated the need for PET probes capable of imaging very weak activity distributions. Over this range of applications ...
89
Voted
JSYML
2002
14 years 9 months ago
2002
A propositional system of modal logic is second-order if it contains quantifiers p and p, which, in the standard interpretation, are construed as ranging over sets of possible worl...
87
Voted
ICIP
2008
IEEE
15 years 12 months ago
2008
IEEE
Computational representation of perceived image quality is a fundamental problem in computer vision and image processing, which has assumed increased importance with the growing r...
IJCV
2010
14 years 8 months ago
2010
We develop a computational model of shape that extends existing Riemannian models of shape of curves to multidimensional objects of general topological type. We construct shape sp...