5809 search results - page 903 / 1162 » On Quantifying Semantic Information |
185
click to vote
MKM
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS3 and CD...
205
click to vote
PVM
2005
Springer
16 years 23 days ago
2005
Springer
MPI defines one-sided communication operations—put, get, and accumulate—together with three different synchronization mechanisms that define the semantics associated with th...
216
click to vote
TABLEAUX
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
233
click to vote
MM
2004
ACM
16 years 22 days ago
2004
ACM
The recent popularity of mobile camera phones allows for new opportunities to gather important metadata at the point of capture. This paper describes a method for generating metad...
235
click to vote
AMEC
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...