1453 search results - page 132 / 291 » Partial Constraint Satisfaction |
133
click to vote
PEPM
2010
ACM
16 years 1 months ago
2010
ACM
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...
178
click to vote
MM
2009
ACM
15 years 9 months ago
2009
ACM
Following the exponential growth of social media, there now exist huge repositories of videos online. Among the huge volumes of videos, there exist large numbers of near-duplicate...
148
click to vote
EPIA
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. This work presents a constraint solver for the domain of rational trees. Since the problem is NP-hard the strategy used by the solver is to reduce as much as possible, in...
120
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Space-time codes from complex orthogonal designs (CODs) with no zero entries offer low Peak to Average power ratio (PAPR) and avoid the problem of turning off antennas. But COD...
220
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
In state-of-the-art image retrieval systems, an image is
represented by a bag of visual words obtained by quantizing
high-dimensional local image descriptors, and scalable
schem...