45 search results - page 2 / 9 » Congruence of (2 |
ENTCS
2002
13 years 5 months ago
2002
We introduce G-relative-pushouts (GRPO) which are a 2-categorical generalisation of relative-pushouts (RPO). They are suitable for deriving labelled transition systems (LTS) for p...
ACL2
2006
ACM
13 years 11 months ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
FOSSACS
2003
Springer
13 years 10 months ago
2003
Springer
IJAC
2007
13 years 5 months ago
2007
In this paper we consider Property (FA) for lattices in SU(2, 1). First, we prove that SU(2, 1; O3) has Property (FA). We then prove that the arithmetic lattices in SU(2, 1) of se...
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 ...