601 search results - page 47 / 121 » Quantified Equality Constraints |
AIEDAM
2006
13 years 9 months ago
2006
In the push for new vehicle designs, the distinctions between vehicle classes are quickly becoming blurred. We use shape grammars to quantify the differences between vehicle class...
IJCV
2006
13 years 9 months ago
2006
We present a new approach to the algorithmic study of planar curves, with applications to estimations of contours in images. We construct spaces of curves satisfying constraints su...
CSL
2010
Springer
13 years 10 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
IWDW
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, we propose a blind watermarking algorithm for 3D meshes. The proposed algorithm embeds spectral domain constraints in segmented patches. After aligning the 3D object...
PLILP
1998
Springer
14 years 1 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...