18 search results - page 1 / 4 » ismvl 2007 |
ISMVL
2007
IEEE
13 years 11 months ago
2007
IEEE
ISMVL
2007
IEEE
13 years 11 months ago
2007
IEEE
Starting from an axiomatization of a generalization of Shannon entropy we introduce a set of axioms for a parametric family of distances over sets of partitions of finite sets. T...
ISMVL
2007
IEEE
13 years 11 months ago
2007
IEEE
We give a uniform method for automated reasoning in several types of extensions of ordered algebraic structures (definitional extensions, extensions with boundedness axioms or wit...
ISMVL
2007
IEEE
13 years 11 months ago
2007
IEEE
We generalize the binary Deutsch-Jozsa algorithm to nvalued logic using the quantum Fourier transform. Our algorithm is not only able to distinguish between constant and balanced ...
ISMVL
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper considers variable reordering for quantum multiple-valued decision diagrams (QMDD) used to represent the matrices describing reversible and quantum gates and circuits. ...