5671 search results - page 123 / 1135 » A Semantic Approach to Interpolation |
MKM
2005
Springer
14 years 3 months ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
In this paper, we describe the notion of a semantic information portal. This is a community information portal that exploits the semantic web standards to improve structure, exten...
PADL
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
ATAL
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. We address the issue of semantics for an agent communication language. In particular, the semantics of Knowledge Query Manipulation Language (KQML) is investigated. KQML ...
ECAI
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. This paper presents a new semantic relatedness measure on semantic networks (SN) that uses both hierarchical and non-hierarchical relations. Our approach relies on two as...