290 search results - page 2 / 58 » Congruence for Structural Congruences |
141
click to vote
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
127
click to vote
RTA
2005
Springer
15 years 10 months ago
2005
Springer
Many applications of congruence closure nowadays require the ability of recovering, among the thousands of input equations, the small subset that caused the equivalence of a given ...
180
click to vote
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
We prove that several problems concerning congruences on algebras are complete for nondeterministic log-space. These problems are: determining the congruence on a given algebra gen...
118
click to vote
IFIPTCS
2000
15 years 8 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...
139
click to vote
MICCAI
2003
Springer
16 years 5 months ago
2003
Springer
Feature detection on MR images has largely relied on intensity classification and gradient-based magnitudes. In this paper, we propose the use of phase congruency as a more robust ...