2286 search results - page 44 / 458 » Algorithms for Categorical Equivalence |
VCIP
2003
13 years 10 months ago
2003
In this paper, we propose a content based video categorizing method focusing broadcasted sports videos using camera motion parameters. We define two new features in the proposed m...
JAPLL
2010
13 years 7 months ago
2010
The previously introduced algorithm SQEMA computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend SQEMA with an additional rule...
BVAI
2007
Springer
14 years 2 months ago
2007
Springer
We tested the efficiency of category learning when participants are provided only with pairs of objects, known to belong either to the same class (Positive Equivalence Constraints ...
GLVLSI
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we develop a theory of equivalence checking (EC) and logic synthesis of circuits with a common specification (CS). We show that two combinational circuits N1, N2 have...
TMM
2011
13 years 3 months ago
2011
—Visual categorization is important to manage large collections of digital images and video, where textual metadata is often incomplete or simply unavailable. The bag-of-words mo...