Sciweavers

1143 search results - page 17 / 229
» Language Models Based on Semantic Composition
Sort
View
97
Voted
TACAS
2009
Springer
134views Algorithms» more  TACAS 2009»
15 years 10 months ago
Compositional Predicate Abstraction from Game Semantics
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...
Adam Bakewell, Dan R. Ghica
119
Voted
AI
2000
Springer
15 years 7 months ago
On the Integration of Recursive ALN-Theories
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...
Aida Vitória, Margarida Mamede
ESOP
2008
Springer
15 years 5 months ago
Verification of Higher-Order Computation: A Game-Semantic Approach
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
C.-H. Luke Ong
AOSD
2010
ACM
15 years 8 months ago
Composing aspects with aspects
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...
Antoine Marot, Roel Wuyts
EMNLP
2011
14 years 3 months ago
Compositional Matrix-Space Models for Sentiment Analysis
We present a general learning-based approach for phrase-level sentiment analysis that adopts an ordinal sentiment scale and is explicitly compositional in nature. Thus, we can mod...
Ainur Yessenalina, Claire Cardie