1399 search results - page 100 / 280 » Multi-party Finite Computations |
ICIP
2005
IEEE
14 years 11 months ago
2005
IEEE
We derive a new, two-dimensional nonseparable signal transform for computing the spectrum of spatial signals residing on a finite quincunx lattice. The derivation uses the connect...
DCC
2008
IEEE
14 years 9 months ago
2008
IEEE
For a graph , subgroups M < G Aut(), and an edge partition E of , the pair (, E) is a (G, M)-homogeneous factorisation if M is vertex-transitive on and fixes setwise each part...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we develop an efficient characteristic finite element method (FEM) for solving the magnetic induction equation in magnetohydrodynamics (MHD). We carry out numerical ...
CASC
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we deal with the problem of the computation of the homology of a finite simplicial complex after an "elementary simplicial perturbation" process such as th...
CSR
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...