Sciweavers

601 search results - page 37 / 121
» Quantified Equality Constraints
Sort
View
74
Voted
ICPR
2008
IEEE
16 years 1 months ago
Action recognition based on homography constraints
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...
Hassan Foroosh, Nazim Ashraf, Yuping Shen
212
Voted
PLDI
2009
ACM
16 years 1 months ago
A decision procedure for subset constraints over regular languages
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...
Pieter Hooimeijer, Westley Weimer
INFOCOM
2007
IEEE
15 years 7 months ago
Connectivity and Capacity of Multi-Channel Wireless Networks with Channel Switching Constraints
— 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...
Vartika Bhandari, Nitin H. Vaidya
WCFLP
2005
ACM
15 years 6 months ago
A declarative debugger of incorrect answers for constraint functional-logic programs
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 ...
Rafael Caballero
HEURISTICS
1998
252views more  HEURISTICS 1998»
15 years 11 days ago
Constraint Handling in Genetic Algorithms: The Set Partitioning Problem
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...
P. C. Chu, J. E. Beasley