4117 search results - page 192 / 824 » On the Satisfiability of Complex Constraints |
146
click to vote
ACCV
2007
Springer
16 years 23 days ago
2007
Springer
In this paper, we present a novel foreground extraction method that automatically identifies image regions corresponding to a common space region seen from multiple cameras. We as...
175
click to vote
REFSQ
2007
Springer
16 years 21 days ago
2007
Springer
This paper investigates two integer linear programming models that integrate requirement scheduling into software release planning. The first model can schedule the development of ...
162
click to vote
DEXAW
2005
IEEE
16 years 6 days ago
2005
IEEE
For several reasons a database may not satisfy certain integrity constraints (ICs). However, most likely most of the information in it is still consistent with the ICs; and could ...
151
click to vote
CC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
186
click to vote
CSCLP
2005
Springer
16 years 3 days ago
2005
Springer
Problems that can be sampled randomly are a good source of test suites for comparing quality of constraint satisfaction techniques. Quasigroup problems are representatives of struc...