155 search results - page 19 / 31 » Compositional Predicate Abstraction from Game Semantics |
COLING
1992
13 years 8 months ago
1992
he more abstract term "relational morphology" in place of tile usual "two-level morphology" in order to emphasize an aspect of Koskenniemi's work which ha...
IJCNLP
2004
Springer
2004
Springer
Bilingual Chunk Alignment Based on Interactional Matching and Probabilistic Latent Semantic Indexing
14 years 2 days ago
Abstract. An integrated method for bilingual chunk partition and alignment, called “Interactional Matching”, is proposed in this paper. Different from former works, our method...
ICDT
2007
ACM
14 years 26 days ago
2007
ACM
Abstract. We study containment of conjunctive queries that are evaluated over databases that may contain tuples with null values. We assume the semantics of SQL for single block qu...
LMO
1996
13 years 8 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
ESOP
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...