1188 search results - page 45 / 238 » Testing Semantics: Connecting Processes and Process Logics |
131
Voted
DLOG
2007
15 years 6 months ago
2007
Enabling the Semantic Web requires solving the semantic heterogeneity problem, for which ontology matching methods have been proposed. These methods rely on similarity measures tha...
115
click to vote
ATS
2005
IEEE
15 years 9 months ago
2005
IEEE
— Structural transformation of a design to enhance its testability while satisfying design constraints on power and performance, can result in improved test cost and test confid...
114
click to vote
DS
2001
15 years 5 months ago
2001
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
133
click to vote
ACL
1997
15 years 5 months ago
1997
In data-oriented language processing, an annotated language corpus is used as a stochastic grammar. The most probable analysis of a new sentence is constructed by combining fragme...
128
click to vote
ECSQARU
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...