Sciweavers

290 search results - page 9 / 58
» Congruence for Structural Congruences
Sort
View
DM
2008
101views more  DM 2008»
13 years 7 months ago
Congruences involving Bernoulli polynomials
Let {Bn(x)} be the Bernoulli polynomials. In the paper we establish some congruences for Bj(x) (mod pn), where p is an odd prime and x is a rational p-integer. Such congruences are...
Zhi-Hong Sun
FSTTCS
2004
Springer
14 years 23 days ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula
ICIP
2004
IEEE
14 years 9 months ago
Estimating the phase congruency of localised frequencies
Phase congruency is a new method for detecting features in images. One of its significant strengths is its invariance to lighting variation within an image, as well as being able ...
Peter Myerscough, Mark S. Nixon
ACTAC
2008
97views more  ACTAC 2008»
13 years 7 months ago
$M$-Solid Varieties of Languages
In this paper, a characterization of the language varieties and congruence varieties corresponding to M-solid pseudovarieties is presented. Taking into account the isomorphisms of...
Pedro Baltazar
ICSE
2008
IEEE-ACM
14 years 7 months ago
Socio-technical congruence (STC 2008)
James D. Herbsleb, Marcelo Cataldo, Daniela Damian...