159 search results - page 13 / 32 » Weak Equivalences in Psi-Calculi |
SEFM
2006
IEEE
15 years 6 months 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...
ECML
2007
Springer
15 years 4 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...
101
Voted
FMOODS
2008
15 years 2 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...
101
click to vote
EMNLP
2009
14 years 10 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...
105
Voted
FSTTCS
2007
Springer
15 years 6 months 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...