4117 search results - page 139 / 824 » On the Satisfiability of Complex Constraints |
181
click to vote
ORL
2008
15 years 6 months ago
2008
We define a generalized variant of the satisfiability problem (SAT) where each "clause" is an or-list of inequalities in n variables. The inequality satisfiability probl...
173
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
In this paper, a novel multi-cue collaborative kernel tracking algorithm is proposed. A new constraint based on the property of cross ratio invariant enables tracking of objects i...
161
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
— The design and analysis of capacity-approaching input signalling for optical intensity channels are presented. Both peak and average optical power constraints are considered in...
151
click to vote
CPAIOR
2007
Springer
16 years 18 days ago
2007
Springer
Many optimisation problems contain substructures involving constraints on sequences of decision variables. Such constraints can be very complex to express with mixed integer progra...
132
click to vote
SAC
2006
ACM
16 years 12 days ago
2006
ACM
The heterogeneity of architectural constraint languages makes difficult the transformation of architectural constraints throughout the development process. Indeed they have signiï...