183 search results - page 3 / 37 » Exploiting Symmetries to Test Programs |
PRICAI
2010
Springer
13 years 4 months ago
2010
Springer
Relational search is a novel paradigm of search which focuses on the similarity between semantic relations. Given three words (A, B, C) as the query, a relational search engine ret...
IJCAI
2007
13 years 7 months ago
2007
Caching, symmetries, and search with decomposition are powerful techniques for pruning the search space of constraint problems. In this paper we present an innovative way of effi...
BMVC
1998
13 years 7 months ago
1998
This paper describes how corner detection can be realised using a new feature representation that has recently been successfully exploited for edge and symmetry detection. The fea...
AMW
2011
12 years 10 months ago
2011
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
CVPR
2010
IEEE
13 years 10 months ago
2010
IEEE
In this paper, we present an appearance-based method for person re-identification. It consists in the extraction of features that model three complementary aspects of the human ap...