5451 search results - page 214 / 1091 » Typed Operational Semantics |
130
click to vote
ESWS
2005
Springer
15 years 9 months ago
2005
Springer
Online community sites have replaced the traditional means of keeping a community informed via libraries and publishing. At present, online communities are islands that are not int...
125
Voted
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
122
Voted
ICDCSW
2006
IEEE
15 years 10 months ago
2006
IEEE
Business-to-business (B2B) data exchange and integration is a common daily operation in today’s organizations. These operations are crucial since they affect organizations’ ca...
113
click to vote
EACL
2009
ACL Anthology
16 years 4 months ago
2009
ACL Anthology
Lexical-semantic resources are used extensively for applied semantic inference, yet a clear quantitative picture of their current utility and limitations is largely missing. We pr...
109
click to vote
ILP
2005
Springer
15 years 9 months ago
2005
Springer
The Cyc KB has a rich pre-existing ontology for representing common sense knowledge. To clarify and enforce its terms’ semantics and to improve inferential efficiency, the Cyc on...