Sciweavers

4485 search results - page 87 / 897
» Equivalences on Observable Processes
Sort
View
ICIP
2003
IEEE
14 years 11 months ago
Quaternion matrix singular value decomposition and its applications for color image processing
In this paper, we first discuss the singular value decomposition (SVD) of a quaternion matrix and propose an algorithm to calculate the SVD of a quaternion matrix using its equiva...
Soo-Chang Pei, Ja-Han Chang, Jian-Jiun Ding
QEST
2008
IEEE
14 years 4 months ago
Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
Josée Desharnais, François Laviolett...
JMIV
1998
124views more  JMIV 1998»
13 years 9 months ago
Preserving Topology by a Digitization Process
The main task of digital image processing is to recognize properties of real objects based on their digital images. These images are obtained by some sampling device, like a CCD c...
Longin Jan Latecki, Christopher Conrad, Ari D. Gro...
ICML
2001
IEEE
14 years 10 months ago
Learning to Generate Fast Signal Processing Implementations
A single signal processing algorithm can be represented by many mathematically equivalent formulas. However, when these formulas are implemented in code and run on real machines, ...
Bryan Singer, Manuela M. Veloso
JMLR
2002
117views more  JMLR 2002»
13 years 9 months ago
Learning to Construct Fast Signal Processing Implementations
A single signal processing algorithm can be represented by many mathematically equivalent formulas. However, when these formulas are implemented in code and run on real machines, ...
Bryan Singer, Manuela M. Veloso