28 search results - page 3 / 6 » Making Explicit the Hidden Semantics of Hierarchical Classif... |
MICS
2010
13 years 5 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
KRMED
2008
13 years 9 months ago
2008
By constructing local extensions to SNOMED we aim to enrich existing medical and related data stores, simplify the expression of complex queries, and establish a foundation for se...
SAC
1998
ACM
13 years 11 months ago
1998
ACM
Coordination languages have recently been attracting signi cant attention as a means of programming parallel and distributed systems. The approach of separating coordination from ...
ISPA
2005
Springer
14 years 28 days ago
2005
Springer
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency ...
MEMOCODE
2003
IEEE
14 years 21 days ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...