3166 search results - page 129 / 634 » Translation By Structural Correspondences |
163
click to vote
JUCS
2010
15 years 4 months ago
2010
: The classical (Bancilhon-Spyratos) correspondence between view update translations and views with a constant complement reappears more generally as the correspondence between upd...
125
click to vote
ACL
2010
15 years 4 months ago
2010
In this paper we propose a method for the automatic decipherment of lost languages. Given a non-parallel corpus in a known related language, our model produces both alphabetic map...
158
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...
127
click to vote
IGPL
1998
15 years 6 months ago
1998
Hypersequents are nite sets of ordinary sequents. We show that multiple-conclusion sequents and single-conclusion hypersequents represent two di erent natural methods of switching...
173
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...