5066 search results - page 587 / 1014 » Spectra of structures and relations |
197
click to vote
TLCA
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
186
click to vote
UML
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
167
click to vote
SIGIR
2004
ACM
16 years 9 days ago
2004
ACM
Latent Semantic Indexing (LSI) is a well established and effective framework for conceptual information retrieval. In traditional implementations of LSI the semantic structure of...
169
click to vote
AIMSA
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. The problem of finding an agreement on the meaning of heterogeneous schemas is one of the key issues in the development of the Semantic Web. In this paper, we propose a ...
183
click to vote
ANTSW
2004
Springer
16 years 9 days ago
2004
Springer
To anticipate and prevent acts of terrorism, Indications and Warnings analysts try to connect clues gleaned from massive quantities of complex data. Multi-agent approaches to suppo...