205 search results - page 20 / 41 » Fibred and Indexed Categories for Abstract Model Theory |
MM
2005
ACM
14 years 1 months ago
2005
ACM
Identifying short repeated video clips, such as news program logo, station logo, TV commercials, etc., from broadcasting video databases or streams is important for video content ...
KDD
2005
ACM
14 years 8 months ago
2005
ACM
We propose a new algorithm for dimensionality reduction and unsupervised text classification. We use mixture models as underlying process of generating corpus and utilize a novel,...
DAC
2009
ACM
14 years 2 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
TMI
2008
13 years 7 months ago
2008
Abstract-- This paper provides a comprehensive and quantitative review of spatial transformations models for nonrigid image registration. It explains the theoretical foundation of ...
ACS
2007
13 years 7 months ago
2007
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...