2286 search results - page 156 / 458 » Algorithms for Categorical Equivalence |
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
We present an exact algorithm for the computation of the moments of a region bounded by a curve represented in a scaling function or wavelet basis. Using Green's theorem, we ...
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
101
click to vote
ICMCS
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, a new watermarking scheme in the joint timefrequency domain is introduced. Wigner distribution is used to transform an image into the spatial-spectral domain. The p...
SPAA
2006
ACM
15 years 4 months ago
2006
ACM
We introduce a simple new model of distributed computation — finite-state symmetric graph automata (FSSGA) — which captures the qualitative properties common to fault-toleran...
NIPS
2007
14 years 11 months ago
2007
We study a pattern classification algorithm which has recently been proposed by Vapnik and coworkers. It builds on a new inductive principle which assumes that in addition to pos...