1746 search results - page 177 / 350 » A Constructive Semantics for ALC |
214
Voted
ICFP
1997
ACM
15 years 10 months ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...
181
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
145
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...
166
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we demonstrate an automatic approach for emergent semantics modeling of ontologies. We follow the collaborative ontology construction method without the direct intera...
145
click to vote
LREC
2008
15 years 7 months ago
2008
This paper discusses findings of a frame-based contrastive text analysis, using the large-scale and precise descriptions of semantic frames provided by the FrameNet project (Baker...