1188 search results - page 63 / 238 » Testing Semantics: Connecting Processes and Process Logics |
138
Voted
RULEML
2005
Springer
15 years 9 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
119
Voted
COLING
2000
15 years 5 months ago
2000
Acquiring and updating terminological resources are di cult and tedious tasks, especially when semantic information should be provided. This paper deals with Term Semantic Categor...
137
click to vote
ICASSP
2009
IEEE
15 years 1 months ago
2009
IEEE
In the context of spoken language interpretation, this paper introduces a stochastic approach to infer and compose semantic structures. Semantic frame structures are directly deri...
129
click to vote
TLDI
2009
ACM
16 years 25 days ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
158
click to vote
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...