2075 search results - page 10 / 415 » aims 2007 |
AIME
2007
Springer
14 years 4 months ago
2007
Springer
Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...
AIMS
2007
Springer
14 years 4 months ago
2007
Springer
Using conditional promises, the reliability of promises can be measured without considering the reliability of the whole agent, by defining notions of when conditions operate and ...
APN
2007
Springer
14 years 4 months ago
2007
Springer
In this paper we complete the semantical framework proposed in [12] for process and causality semantics of Petri nets by an additional aim and develop process and causality semanti...
FSTTCS
2007
Springer
14 years 4 months ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
AIED
2007
Springer
14 years 4 months ago
2007
Springer
This work surveys the opinions of teachers and other education professionals regarding the potential for Open Learner Models (OLM) in UK schools. We describe the aims of OLM, and o...