6218 search results - page 314 / 1244 » Similarity of Semantic Relations |
184
click to vote
TLCA
2007
Springer
16 years 29 days ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
191
click to vote
COORDINATION
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
183
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
193
click to vote
ACL
2010
15 years 4 months ago
2010
Current Semantic Role Labeling technologies are based on inductive algorithms trained over large scale repositories of annotated examples. Frame-based systems currently make use o...
184
click to vote
ACL
2010
15 years 4 months ago
2010
Quantifying the semantic relevance between questions and their candidate answers is essential to answer detection in social media corpora. In this paper, a deep belief network is ...