2286 search results - page 156 / 458 » Algorithms for Categorical Equivalence |
144
click to vote
ICPR
2000
IEEE
16 years 7 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 ...
176
click to vote
VMCAI
2009
Springer
16 years 1 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...
171
click to vote
ICMCS
2006
IEEE
16 years 16 days 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...
147
click to vote
SPAA
2006
ACM
16 years 14 days 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...
156
click to vote
NIPS
2007
15 years 8 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...