805 search results - page 120 / 161 » Enumerating All Solutions for Constraint Satisfaction Proble... |
102
click to vote
FDL
2008
IEEE
15 years 6 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
103
click to vote
JUCS
2010
14 years 10 months ago
2010
Abstract: This paper addresses the problem of expressing preferences among nonfunctional properties of services in a Web service architecture. In such a context, semantic and non-f...
158
click to vote
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
This paper addresses the problem of establishing correspondences
between two sets of visual features using
higher-order constraints instead of the unary or pairwise
ones used in...
AAAI
2004
15 years 1 months ago
2004
This paper addresses the question of allocating computational resources among a set of algorithms in order to achieve the best performance on a scheduling problem instance. Our pr...
107
click to vote
CSI
2006
14 years 12 months ago
2006
In a distributed system, a number of application tasks may need to be assigned to different processors such that the system cost is minimized and the constraints with limited reso...