601 search results - page 25 / 121 » Quantified Equality Constraints |
CP
2008
Springer
13 years 11 months ago
2008
Springer
This paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rul...
ICIP
2010
IEEE
13 years 8 months ago
2010
IEEE
We introduce two approaches to improve an existing color segmentation technique based on a Split and Merge quantization process for the study of stained histological images. We pr...
AISC
2008
Springer
13 years 12 months ago
2008
Springer
Craig's Interpolation Theorem is an important meta-theoretical result for several logics. Here we describe a formalisation of the result for first-order intuitionistic logic w...
CADE
2004
Springer
14 years 10 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
—The problems of energy efficient sensor network configuration and local fusion of sensed data have been addressed separately in the previous works. In this paper, we propose t...