1536 search results - page 18 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
SIGMOD
2007
ACM
14 years 7 months ago
2007
ACM
There is a growing need to associate a variety of metadata with the underlying data, but a simple, elegant approach to uniformly model and query both the data and the metadata has...
SIGSOFT
2004
ACM
14 years 28 days ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
MTA
2002
13 years 7 months ago
2002
Digital video databases have become more pervasive and finding video clips quickly in large databases becomes a major challenge. Due to the nature of video, accessing contents of v...
AIME
2003
Springer
14 years 22 days ago
2003
Springer
The theory of granular partitions (TGP) is a new approach to the understanding of ontologies and other classificatory systems. The paper explores the use of this new theory in the ...
AAAI
2006
13 years 9 months ago
2006
Relationships between concepts account for a large proportion of semantic knowledge. We present a nonparametric Bayesian model that discovers systems of related concepts. Given da...