2286 search results - page 49 / 458 » Algorithms for Categorical Equivalence |
ICCV
2009
IEEE
13 years 6 months ago
2009
IEEE
In this paper we present a new method for categorizing video sequences capturing different scene classes. This can be seen as a generalization of previous work on scene classifica...
CISS
2008
IEEE
14 years 3 months ago
2008
IEEE
— Consider the two-terminal partial side information problem, where one source is decoded under a distortion measure, while the other acts as a helper. There are two well known i...
ICDIM
2007
IEEE
14 years 3 months ago
2007
IEEE
In recent years, efforts have begun to put math contents on the Web. As for other types of Web information, search capabilities should be provided to enable users to find what the...
ICCD
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
ACL
1997
13 years 10 months ago
1997
Many multilingual NLP applications need to translate words between different languages, but cannot afford the computational expense of inducing or applying a full translation mode...