54 search results - page 4 / 11 » Formalising bio-spatial knowledge |
JETAI
2000
14 years 9 months ago
2000
In this paper we provide a foundation of a theory of contextual reasoning from the perspective of a theory of knowledge representation. Starting from the so-called metaphor of the...
DIS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. To the best of our knowledge, this paper is the first attempt to formalise a pragmatic logic of scientific discovery in a manner such that it can be realised by scientist...
ASM
2008
ASM
14 years 11 months ago
2008
ASM
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...
EACL
1993
ACL Anthology
14 years 10 months ago
1993
ACL Anthology
It is traditionally assumed that various sources of linguistic knowledge and their interaction should be formalised in order to be able to convert words into their phonemic repres...
103
click to vote
CORR
2012
Springer
13 years 5 months ago
2012
Springer
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...