1746 search results - page 10 / 350 » A Constructive Semantics for ALC |
IJMSO
2006
14 years 11 months ago
2006
: Using archetypes is a promising approach in providing semantic interoperability among healthcare systems. To realise archetype based interoperability, the healthcare systems need...
117
click to vote
CRYPTO
2012
Springer
13 years 2 months ago
2012
Springer
We construct a functional encryption scheme secure against an a-priori bounded polynomial number of collusions for the class of all polynomial-size circuits. Our constructions req...
111
click to vote
ICALT
2009
IEEE
15 years 2 months ago
2009
IEEE
Nowadays, the Semantic Web technologies are exploited also in the e-learning domain in order to provide personalized and adaptive learning experiences, semantic annotation of lear...
117
click to vote
LICS
2012
IEEE
13 years 2 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
113
click to vote
TPHOL
2009
IEEE
15 years 6 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...