601 search results - page 37 / 121 » Quantified Equality Constraints |
ICPR
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper, we present a new approach for viewinvariant action recognition using constraints derived from the eigenvalues of planar homographies associated with triplets of bod...
PLDI
2009
ACM
14 years 10 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
INFOCOM
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper argues for the need to address the issue of multi-channel network performance under constraints on channel switching. We present examples from emergent directions in...
WCFLP
2005
ACM
14 years 3 months ago
2005
ACM
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
HEURISTICS
1998
13 years 9 months ago
1998
In this paper we present a genetic algorithm-based heuristic for solving the set partitioning problem (SPP). The SPP is an important combinatorial optimisation problem used by man...