45 search results - page 5 / 9 » Congruence of (2 |
CONCUR
2005
Springer
14 years 3 months ago
2005
Springer
d Abstract) MohammadReza Mousavi1 , Murdoch J. Gabbay2 , and Michel A. Reniers1 1 Department of Computer Science, 2 Department of Computer Science, Eindhoven University of Technolo...
ICPR
2000
IEEE
14 years 11 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...
ANTS
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, we study p-divisibility of discriminants of Hecke algebras associated to spaces of cusp forms of prime level. By considering cusp forms of weight bigger than 2, we a...
ACL2
2006
ACM
14 years 3 months ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
CACM
2007
13 years 9 months ago
2007
Pop-up, pop-under, and in-line ads have been said to be intrusive, and previous findings suggest that they could have important effects on user perception and cognition. Using a 2...