15372 search results - page 313 / 3075 » The Semantics of Semantic Annotation |
187
click to vote
TPHOL
2000
IEEE
15 years 11 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 ...
223
click to vote
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
Ontologies are becoming increasingly common in the World Wide Web as the building block for a future Semantic Web. In this Web, ontologies will be responsible for making the semant...
186
click to vote
ACL
2008
15 years 8 months ago
2008
In this paper we propose a domainindependent text segmentation method, which consists of three components. Latent Dirichlet allocation (LDA) is employed to compute words semantic ...
121
click to vote
COLING
2008
15 years 8 months ago
2008
The paper offers a new type of approach to the semantic phenomenon of adverbial aspect shift within the framework of finitestate temporal semantics. The heart of the proposal is a...
141
click to vote
FMOODS
2007
15 years 8 months ago
2007
Dynamic Meta Modeling (DMM) is a universal approach to defining semantics for languages syntactically grounded on meta models. DMM has been designed with the aim of getting highly...