357 search results - page 38 / 72 » Isomorphism via translation |
104
click to vote
IUI
2006
ACM
15 years 5 months ago
2006
ACM
Multilingual communities using machine translation to overcome language barriers are showing up with increasing frequency. However, when a large number of translation errors get m...
124
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
CADE
2006
Springer
16 years 4 days ago
2006
Springer
We define an interpretation of the Isabelle/HOL logic in HOL Light and its metalanguage, OCaml. Some aspects of the Isabelle logic are not representable directly in the HOL Light o...
103
click to vote
ESOP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
EKAW
2004
Springer
15 years 3 months ago
2004
Springer
In the context of a care network, we describe our method for reconstitution of a medical ontology via the translation of a medical database (DB) towards RDF(S) language. Then we sh...