2286 search results - page 54 / 458 » Algorithms for Categorical Equivalence |
CAV
2009
Springer
14 years 9 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
ICPR
2002
IEEE
14 years 10 months ago
2002
IEEE
Content-based image retrieval can be dramatically improved by providing a good initial database overview to the user. To address this issue, we present in this paper the Adaptive ...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
The World Wide Web provides an increasingly powerful and popular publication mechanism. Web documents often contain a large number of images serving various different purposes. Id...
CBMS
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, we propose a new classification method that addresses classification in multiple categories of textual documents. We call it Matrix Regression (MR) due to its resem...
SIGIR
2010
ACM
14 years 5 days ago
2010
ACM
In this paper, a language model adapted to graph-based representation of image content is proposed and assessed. The full indexing and retrieval processes are evaluated on two di�...