2539 search results - page 57 / 508 » Semantic frameworks for e-government |
TPHOL
2000
IEEE
15 years 4 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
ACL
2009
14 years 9 months ago
2009
This paper proposes a novel framework called bilingual co-training for a largescale, accurate acquisition method for monolingual semantic knowledge. In this framework, we combine ...
ICECCS
2007
IEEE
15 years 6 months ago
2007
IEEE
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...
COLING
2000
15 years 1 months ago
2000
Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between ...