159 search results - page 13 / 32 » Weak Equivalences in Psi-Calculi |
139
click to vote
SEFM
2006
IEEE
16 years 2 days ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
149
click to vote
ECML
2007
Springer
15 years 10 months ago
2007
Springer
Class binarizations are effective methods for improving weak learners by decomposing multi-class problems into several two-class problems. This paper analyzes how these methods can...
156
click to vote
FMOODS
2008
15 years 7 months ago
2008
We analyse the relationship between object-oriented modelling and session-based, service-oriented modelling, starting from a typical UML Sequence Diagram and providing a program tr...
161
click to vote
EMNLP
2009
15 years 3 months ago
2009
Tree Adjoining Grammars have well-known advantages, but are typically considered too difficult for practical systems. We demonstrate that, when done right, adjoining improves tran...
156
click to vote
FSTTCS
2007
Springer
16 years 7 days ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...