7988 search results - page 1242 / 1598 » A Useful Undecidable Theory |
180
click to vote
ICAIL
2003
ACM
16 years 2 days ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
160
click to vote
JCDL
2003
ACM
16 years 2 days ago
2003
ACM
The National Science Digital Library (NSDL), launched in December 2002, is emerging as a center of innovation in digital libraries as applied to education. As a part of this exten...
194
click to vote
MIR
2003
ACM
16 years 2 days ago
2003
ACM
In visual information retrieval the careful choice of suitable proximity measures is a crucial success factor. The evaluation presented in this paper aims at showing that the dist...
165
click to vote
MM
2003
ACM
16 years 2 days ago
2003
ACM
Image auto-annotation, i.e., the association of words to whole images, has attracted considerable attention. In particular, unsupervised, probabilistic latent variable models of t...
190
click to vote
MOBIHOC
2003
ACM
16 years 2 days ago
2003
ACM
This paper provides mobility estimation and prediction for a variant of GSM network which resembles an adhoc wireless mobile network where base stations and users are both mobile....