290 search results - page 32 / 58 » Congruence for Structural Congruences |
TCS
2008
14 years 9 months ago
2008
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Fir...
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
Here we show that a notion of congruence in statistical structureacross2 0frequency bandsproduces a useful definition of visualpatterns for perceiving target distinctness. In orde...
86
Voted
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by ...
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract—In this paper, a family of linear congruence sequences with interesting cross-correlation properties is investigated for potential applications in defining new multiple...
FSEN
2007
Springer
15 years 3 months ago
2007
Springer
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be the proof of congruence and, related to this, enhancements of the bisimul...