123 search results - page 8 / 25 » Semantic Generalisation and the Inference of Meaning |
QSIC
2005
IEEE
15 years 3 months ago
2005
IEEE
We propose a software requirements analysis method based on domain ontology technique, where we can establish a mapping between a software requirements specification and the doma...
ER
2006
Springer
15 years 1 months ago
2006
Springer
Emergent Semantics is a new paradigm for inferring semantic meaning from implicit feedback by a sufficiently large number of users of an object retrieval system. In this paper, we ...
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
COLING
1996
14 years 10 months ago
1996
NKRL is a conceptual language which intends to provide a normalised, pragmatic description of the semantic contents (in short, the "meaning") of NL narrative documents. ...
DLOG
2003
14 years 10 months ago
2003
The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been pro...