290 search results - page 2 / 58 » Congruence for Structural Congruences |
QEST
2010
IEEE
13 years 3 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...
RTA
2005
Springer
13 years 11 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 ...
LICS
2000
IEEE
13 years 10 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...
IFIPTCS
2000
13 years 9 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...
MICCAI
2003
Springer
14 years 6 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 ...