7452 search results - page 249 / 1491 » A Semantics for Multiprocessor Systems |
117
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
As of today, the amount of data on the Semantic Web has grown considerably. The services for searching and browsing entities on the Semantic Web are in demand. To provide such ser...
150
click to vote
ALPIT
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we systematically explore the use of semantic roles in coreference resolution. Here, the semantic roles are automatically determined using a state-of-the-art SRL sy...
162
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper, some fundamental aspects of the semantics of rule-based systems are sketched and related to the semantics of visual models. A rule-based system comprises a set of r...
146
click to vote
TPHOL
2000
IEEE
15 years 9 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 ...
170
click to vote
CAISE
2005
Springer
15 years 6 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...