7988 search results - page 1242 / 1598 » A Useful Undecidable Theory |
198
click to vote
ICAIL
2003
ACM
16 years 27 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...
184
click to vote
JCDL
2003
ACM
16 years 27 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...
210
click to vote
MIR
2003
ACM
16 years 27 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...
186
click to vote
MM
2003
ACM
16 years 27 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...
217
click to vote
MOBIHOC
2003
ACM
16 years 27 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....