290 search results - page 32 / 58 » Congruence for Structural Congruences |
159
click to vote
TCS
2008
15 years 5 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...
130
click to vote
ICPR
2000
IEEE
16 years 7 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...
147
click to vote
TACAS
2009
Springer
16 years 19 days 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 ...
114
click to vote
GLOBECOM
2007
IEEE
16 years 5 days 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...
133
click to vote
FSEN
2007
Springer
16 years 17 hour 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...