]> 2002-02-18 Fundamental Properties of Extended Kleene-Stone Logic Functions. 243-249 1992 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1992.html#TakagiNM92 2002-01-03 Message from the Co-Chairs. 2000 ISMVL http://computer.org/proceedings/ismvl/0692/0692xiii.pdf http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2000.html#X00a 2003-05-28 Complementary Self-Biased Scheme for the Robust Design of CMOS/SET Hybrid Multi-Valued Logic. 267-272 2003 ISMVL http://computer.org/proceedings/ismvl/1918/19180267abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2003.html#SongLKKKBLLP03 2004-06-21 Constructing an MVL Patterned after Boolean Logic using a Practical Approach. 192- 1998 ISMVL http://csdl.computer.org/dl/proceedings/ismvl/1998/8371/00/83710192.pdf http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1998.html#Thaden98 2002-02-14 EXORCISM-MV-2: Minimization of Exclusive Sum of Products Expressions for Multiple-Valued Input Incompletely Specified Functions. 132-137 1993 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1993.html#SongP93 2002-01-03 On Algebraic Foundations of Information Granulation III Investigating the HATA-MUKAIDONO Approach. 133- 2000 ISMVL http://computer.org/proceedings/ismvl/0692/06920133abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2000.html#Thiele00 2004-06-21 Minimization of Exclusive Sums of Multi-Valued Complex Terms for Logic Cell Arrays. 32-37 1998 ISMVL http://csdl.computer.org/dl/proceedings/ismvl/1998/8371/00/83710032.pdf http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1998.html#SongP98 2002-01-31 On axiomatic characterisations of fuzzy approximation operators II. The rough fuzzy set based case. 330- 2001 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2001.html#Thiele01 2002-01-31 Exploiting Polarity in Multiple-Valued Inference Systems. 149- 2001 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2001.html#Stachniak01 2002-02-14 On the Definition of Modal Operators in Fuzzy Logic. 62-67 1993 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1993.html#Thiele93 2002-10-08 Note on Resolution Approximation of Many-Valued Logics. 204-209 1990 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1990.html#Stachniak90 2002-02-14 On T-Quantifiers and S-Quantifiers. 264-269 1994 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1994.html#Thiele94 2002-02-14 Lattices of Resolution Logics. 108-114 1994 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1994.html#Stachniak94 2002-01-30 On the Mutual Definability of Fuzzy Tolerance Relations and Fuzzy Tolerance Coverings. 140-145 1995 ISMVL http://computer.org/proceedings/ismvl/7118/71180140abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1995.html#Thiele95 2006-09-21 Assumption based multi-valued semantics for extended logic programs. 10 2006 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2006.13 http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2006.html#Stamate06 2002-01-28 On Isomorphisms between the Lattice of Tolerance Relations and Lattices of Clusterings. 198-202 1996 ISMVL http://computer.org/proceedings/ismvl/7392/73920198abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1996.html#Thiele96 2002-02-18 Some Remarks on Fourier Transform and Differential Operators for Digital Functions. 365-370 1992 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1992.html#Stankovic92 2002-01-28 On the Mutual Definability of Classes of Generalized Fuzzy Implications and of Classes of Generalized NegationsandS-Norms. 183-188 1997 ISMVL http://computer.org/proceedings/ismvl/7910/79100183abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1997.html#Thiele97 2002-01-30 Functional Decision Diagrams for Multiple-Valued Functions. 284-189 1995 ISMVL http://computer.org/proceedings/ismvl/7118/71180284abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1995.html#Stankovic95 2004-06-21 On Closure Operators in Fuzzy Deductive Systems and Fuzzy Algebras. 304-309 1998 ISMVL http://csdl.computer.org/dl/proceedings/ismvl/1998/8371/00/83710304.pdf http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1998.html#Thiele98 2002-01-28 Fourier Decision Diagrams on Finite Non-Abelian Groups with Preprocessing. 281-286 1997 ISMVL http://computer.org/proceedings/ismvl/7910/79100281abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1997.html#Stankovic97 2002-01-03 On the Concept of Qualitative Fuzzy Set. 282-287 1999 ISMVL http://computer.org/proceedings/ismvl/0161/01610282abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1999.html#Thiele99 2002-01-03 Matrix-Valued EXOR-TDDs in Decompositon of Switching Functions. 154-159 1999 ISMVL http://computer.org/proceedings/ismvl/0161/01610154abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1999.html#Stankovic99 2003-05-28 Spectral Transforms of Mixed-radix MVL Functions. 329-333 2003 ISMVL http://computer.org/proceedings/ismvl/1918/19180329abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2003.html#Thornton03 2004-06-21 Some Remarks on Linear Transform of Variables in Representation of Adders by Word-Level Expressions and Spectral Transform Decision Diagrams. 116-122 2002 ISMVL http://computer.org/proceedings/ismvl/1462/14620116abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2002.html#StankovicA02 2005-07-27 The Karhunen-Loève Transform of Discrete MVL Functions. 194-199 2005 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.48 http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2005.html#Thornton05 2004-06-21 Edge-Valued Decision Diagrams for Multiple-Valued Functions. 229-234 2004 ISMVL http://csdl.computer.org/comp/proceedings/ismvl/2004/2130/00/21300229abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2004.html#StankovicA04 2002-06-07 A Method for Approximate Equivalence Checking. 447-452 2000 ISMVL http://computer.org/proceedings/ismvl/0692/06920447abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2000.html#ThorntonDG00 2002-01-28 Circuit Design from Kronecker Galois Field Decision Diagrams for Multiple-Valued Functions. 275-280 1997 ISMVL http://computer.org/proceedings/ismvl/7910/79100275abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1997.html#StankovicD97 2004-06-21 Chrestenson Spectrum Computation Using Cayley Color Graphs. 123-129 2002 ISMVL http://computer.org/proceedings/ismvl/1462/14620123abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2002.html#ThorntonMT02 2004-06-21 Reed-Muller-Fourier versus Galois Field Representations of Four-Valued Logic Functions. 186-191 1998 ISMVL http://csdl.computer.org/dl/proceedings/ismvl/1998/8371/00/83710186.pdf http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1998.html#StankovicJM98 2002-10-11 Parallel Algorithms for Minimizing Multiple-Valued Programmable Logic Arrays. 287-295 1991 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1991.html#TirumalaiV91 2004-06-21 Derivatives for Multiple-Valued Functions Induced by Galois Field and Reed-Muller-Fourier Expressions. 184-189 2004 ISMVL http://csdl.computer.org/comp/proceedings/ismvl/2004/2130/00/21300184abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2004.html#StankovicMA04 2004-06-21 Membership Functions in Automatic Harmonization System. 350-355 1998 ISMVL http://csdl.computer.org/dl/proceedings/ismvl/1998/8371/00/83710350.pdf http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1998.html#TokumaruYMI98 2005-07-27 Remarks on the Structure of Matrix-Valued Spectral Transforms on Finite Non-Abelian Groups. 188-193 2005 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.42 http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2005.html#StankovicMA05 2002-09-03 Two-Stage Exact Detection of Symmetrics. 213- 2001 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2001.html#TomaszewskaDYS01 2002-01-03 Quaternion Groups versus Dyadic Groups in Representations and Processing of Switching Functions. 18-23 1999 ISMVL http://computer.org/proceedings/ismvl/0161/01610018abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1999.html#StankovicMJ99 2002-02-14 A Canonical Disjunctive Form of Extended Kleene-Stone Logic Functions. 36-41 1993 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1993.html#TakagiNM93 2002-01-03 Reviewers. 2000 ISMVL http://computer.org/proceedings/ismvl/0692/0692xiv.pdf http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2000.html#X00b 2002-01-03 Fibonacci Decision Diagrams and Spectral Fibonacci Decision Diagrams. 206- 2000 ISMVL http://computer.org/proceedings/ismvl/0692/06920206abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2000.html#StankovicSAE00 2002-02-14 Minimization for Kleene-Stone Logic Functions. 124-113 1994 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1994.html#TakagiNM94 2005-07-27 Message from the Symposium Chairs. 2005 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.25 http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2005.html#X05 2002-01-31 Bit-Level and Word-Level Polynomial Expressions for Functions in Fibonacci Interconnection Topologies. 305-310 2001 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2001.html#StankovicSAE01 2004-06-21 The Word-Level Models for Efficient Computation of Multiple-Valued Functions. PART 2: LWL Based Model. 209-215 2002 ISMVL http://computer.org/proceedings/ismvl/1462/14620209abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2002.html#TomaszewskaYS02 2002-01-31 Design of Haar Wavelet Transforms and Haar Spectral Transform Decision Diagrams for Multiple-Valued Functions. 311- 2001 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2001.html#StankovicSM01 2002-01-28 A Necessary and Sufficient Condition for Lukasiewicz Logic Functions. 37-42 1996 ISMVL http://computer.org/proceedings/ismvl/7392/73920037abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1996.html#TakagiNM96 2005-07-27 Message from the Program Chair. 2005 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.24 http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2005.html#X05a 2002-02-14 Calculation of Reed-Muller-Fourier Coefficients of Multiple-Valued Functions through Multiple-Place Decision Diagrams. 82-88 1994 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1994.html#StankovicSMS94 2002-02-18 Autocorrelation Techniques for Multi-Bit Decoder PLAs. 355-364 1992 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1992.html#TomczukM92 2005-07-27 Complete Bi-Decomposition of Multiple-Valued Functions Using MIN and MAX Gates. 69-74 2005 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.14 http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2005.html#SteinbachL05 2002-10-11 On the Maximum Size of the Terms in the Realization of Symmetric Functions. 110-117 1991 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1991.html#TosicSM91 2002-01-03 Bi-Decompositions of Multi-Valued Functions for Circuit Design and Data Mining Applications. 50-58 1999 ISMVL http://computer.org/proceedings/ismvl/0161/01610050abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1999.html#SteinbachPL99 2002-02-18 On Set-Valued Functions and Boolean Collections. 250-254 1992 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1992.html#TosicSSR92 2002-01-03 Evolvable Hardware: From On-Chip Circuit Synthesis to Evolvable Space Systems. 161- 2000 ISMVL http://computer.org/proceedings/ismvl/0692/06920161abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2000.html#Stoica00 2002-10-08 Many-Valued Tense Logic and the Problem of Determinism. 228-236 1990 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1990.html#Trzesicki90 2002-02-14 Completeness Criteria in Many-Valued Set Logic under Compositions with Boolean Functions. 177-183 1994 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1994.html#Stojmenovic94 2002-10-11 An Algorithm for the Solution of Multi-Valued Logic Programming. 322-327 1991 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1991.html#Tsuchiya91 2003-09-05 Fuzzy Decision Diagrams for the Representation, Analysis and Optimization of Rule Bases. 127-132 2000 ISMVL http://computer.org/proceedings/ismvl/0692/06920127abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2000.html#StrehlMTS00 2002-01-28 Set-Valued Functions and Regularity. 89- 1997 ISMVL http://computer.org/proceedings/ismvl/7910/79100089abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1997.html#TakagiNN97 2005-07-27 Organizing Committee. 2005 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.35 http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2005.html#X05b 2002-10-08 Paraconsistent Disjunctive Deductive Databases. 339-346 1990 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1990.html#Subrahmanian90 2004-06-21 Multiple-Input Resonant-Tunneling Logic Gates for Flash A/D Converter Applications. 8-13 2004 ISMVL http://csdl.computer.org/comp/proceedings/ismvl/2004/2130/00/21300008abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2004.html#TsujiW04 2002-01-03 Multi-Input Variable-Threshold Circuits for Multi-Valued Logic Functions. 27-32 2000 ISMVL http://computer.org/proceedings/ismvl/0692/06920027abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2000.html#SyutoSTI00 2002-01-03 Demonstration of a Novel Multiple-Valued T-Gate Using Multiple-Junction Surface Tunnel Transistors and Its Application to Three-Valued Data Flip-Flop. 305-310 2000 ISMVL http://computer.org/proceedings/ismvl/0692/06920305abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2000.html#UemuraB00 2002-02-18 A Completeness Criterion for Semi-Affine Algebras. 314-319 1992 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1992.html#Szendrei92 2002-01-31 A Three-Valued D-Flip-Flop and Shift Register Using Multiple-Junction Surface Tunnel Transistors. 89-93 2001 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2001.html#UemuraB01 2002-10-11 Proposed CMOS VLSI Implementation of an Electronic Neuron Using Multivalued Signal Processing. 203-209 1991 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1991.html#Taheri91 2003-05-28 Proposal of Four-Valued MRAM based on MTJ/RTD Structure. 273- 2003 ISMVL http://computer.org/proceedings/ismvl/1918/19180273abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2003.html#UemuraY03 2002-02-14 CMOS Implementation and Fabrication of the Pseudo Analog Neuron. 266-270 1993 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1993.html#Taheri93 2002-02-18 An Automatic Adjustment Method of Backpropagation Learning Parameters, Using Fuzzy Inference. 410-414 1992 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1992.html#UenoIBY92 2004-06-21 Multiple-Valued-Digit Number Representations in Arithmetic Circuit Algorithms. 224- 2002 ISMVL http://computer.org/proceedings/ismvl/1462/14620224abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2002.html#Takagi02 2002-02-14 Multiple-Valued Programmable Logic Arrays with Universal Literals. 163-168 1997 ISMVL http://computer.org/proceedings/ismvl/7910/79100163abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1997.html#UtsumiKHY97 2004-06-21 A Characterization of r-Valued Functions Monotonic in an Order Based on Regularity. 71-76 1998 ISMVL http://csdl.computer.org/dl/proceedings/ismvl/1998/8371/00/83710071.pdf http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1998.html#TakagiHN98 2004-06-21 The FPGA Challenge. 121- 1998 ISMVL http://csdl.computer.org/dl/proceedings/ismvl/1998/8371/00/83710121.pdf http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1998.html#Vranesic98 2002-01-03 Logical Model for Representing Uncertain Statuses of Multiple-Valued Logic Systems Realized by Min, Max and Literals. 110-115 1999 ISMVL http://computer.org/proceedings/ismvl/0161/01610110abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1999.html#TakagiHN99 2002-01-30 Resonant Tunneling Transistor and Its Application to Multiple-Valued Logic Circuits. 130- 1995 ISMVL http://computer.org/proceedings/ismvl/7118/71180130abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1995.html#Waho95 2004-12-16 A Characterization of Kleenean Functions. 236-241 1995 ISMVL http://computer.org/proceedings/ismvl/7118/71180236abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1995.html#TakagiKNM95 2006-10-23 A Literal Gate Using Resonant-Tunneling Devices. 68-73 1996 ISMVL http://computer.org/proceedings/ismvl/7392/73920068abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1996.html#WahoCY96 2004-06-21 An Impact of Introducing Multi-Level Signals to a Bandpass Cascaded Delta-Sigma Modulator. 61-66 2002 ISMVL http://computer.org/proceedings/ismvl/1462/14620061abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2002.html#WahoKM02 2002-01-28 Application of Resonant-Tunneling Quaternary Quantizer to Ultrahigh-Speed A/D Converter. 35-40 1997 ISMVL http://computer.org/proceedings/ismvl/7910/79100035abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1997.html#WahoY97 2004-06-21 A Proposal and an Application of a Career-Mode Membership Function. 344-349 1998 ISMVL http://csdl.computer.org/dl/proceedings/ismvl/1998/8371/00/83710344.pdf http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1998.html#WakuiH98 2002-02-14 Single-Chip Realization of a Fuzzy Logic Controller with Neural Network Structure (NNFLC). 68-73 1993 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1993.html#WangJL93 2002-02-18 Fault Analysis on Two-Level (K+1)-Valued Logic Circuits. 181-188 1992 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1992.html#WangLC92 2002-02-14 Algebraic Division for Multilevel Logic Synthesis of Multi-Valued Logic Circuits. 44-51 1994 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1994.html#WangLC94 2002-02-18 Complete Test Set for Multiple-Valued Logic Networks. 289-296 1994 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1994.html#WangLC94a 2002-01-30 Factorization of Multi-Valued Logic Functions. 164-169 1995 ISMVL http://computer.org/proceedings/ismvl/7118/71180164abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1995.html#WangLC95 2002-01-28 Design of Multivalued Circuits using Genetic Algorithms. 216- 1996 ISMVL http://computer.org/proceedings/ismvl/7392/73920216abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1996.html#WangM96 2002-01-30 The High-Speed Ternary Logic Gates Based on the Multiple beta Transistors. 178-181 1995 ISMVL http://computer.org/proceedings/ismvl/7118/71180178abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1995.html#WangWF95 2002-10-11 Recognition of Circle Form Using Fuzzy Sequential System. 85-92 1991 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1991.html#WatanabeM91 2002-02-18 Layered MVL Neural Networks Capable of Recognizing Translated Characters. 88-95 1992 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1992.html#WatanabeM92 2002-10-08 A Design of Multiple-Valued Logic Neuron. 418-425 1990 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1990.html#WatanabeMEH90 2002-10-11 VLSI Fuzzy Chip and Inference Accelerator Board Systems. 120-127 1991 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1991.html#WatanabeSDY91 2002-10-11 Multiple Peak Resonant Tunneling Diode for Multi-Valued Memory. 190-195 1991 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1991.html#WeiL91 2002-02-18 Unique Folding and Hysteresis Characteristics of RTD for Multi-Valued Logic and Counting Applications. 27-33 1992 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1992.html#WeiL92 2004-06-21 Residue Arithmetic Circuits Based on the Signed-Digit Multiple-Valued Arithmetic Circuits. 276-281 1998 ISMVL http://csdl.computer.org/dl/proceedings/ismvl/1998/8371/00/83710276.pdf http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1998.html#WeiS98 2002-01-30 Some New Results for Multiple-Valued Genetic Algorithms. 264- 1995 ISMVL http://computer.org/proceedings/ismvl/7118/71180264abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1995.html#WesselkamperD95 2002-02-18 Concurrent Checking and Unidirectional Errors in Multiple-Valued Circuits. 166-173 1992 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1992.html#WesselsM92 2005-07-27 Analog Soft Decoding for Multi-Level Memories. 132-137 2005 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.8 http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2005.html#Winstead05 2002-10-11 Reasoning About Digital Systems. 2-6 1991 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1991.html#Wojcik91 2002-10-11 Undecidability in the Completion of Truth-Function Logic. 225-229 1991 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1991.html#Wroblewski91 2002-01-30 Race-Hazard and Skip-Hazard in Multivalued Combinational Circuits. 222-227 1995 ISMVL http://computer.org/proceedings/ismvl/7118/71180222abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1995.html#WuCS95 2005-07-27 List of Reviewers. 2005 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.21 http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2005.html#X05c 2005-07-27 Two New Awards. 2005 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.51 http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2005.html#X05d 2006-09-21 Message from the Symposium Chairs. 2006 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2006.28 http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2006.html#X06 2006-09-21 Message from the Program Chair. 2006 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2006.27 http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2006.html#X06a 2006-09-21 Organizing Committee. 2006 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2006.33 http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2006.html#X06b 2006-09-21 List of Reviewers. 2006 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2006.26 http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2006.html#X06c 2004-06-21 Design of Ternary Schmitt Triggers Based on Its Sequential Characteristics. 156-160 2002 ISMVL http://computer.org/proceedings/ismvl/1462/14620156abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2002.html#XiaWW02 2003-05-28 Relationship between UCHT and FFT. 154- 2003 ISMVL http://computer.org/proceedings/ismvl/1918/19180154abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2003.html#XieRG03 2003-10-06 An extension of ternary majority function and its application to evolvable system. 17-23 2003 ISMVL http://computer.org/proceedings/ismvl/1918/19180017abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2003.html#YAMAMOTO03 2004-06-21 A Novel Nonlinear Synapse Neuron Model Guaranteeing a Global Minimum - Wavelet Neuron. 335- 1998 ISMVL http://csdl.computer.org/dl/proceedings/ismvl/1998/8371/00/83710335.pdf http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1998.html#Yamakawa98 2002-02-18 A Meaningful Infinite-Valued Switching Function - Fuzzy Threshold Function and Its Application to Process Control. 415-422 1992 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1992.html#Yamamoto92 2004-06-21 A Synthesis Method of the Approximate Reasoning Engine by means of Genetic Algorithm. 201-208 1998 ISMVL http://csdl.computer.org/dl/proceedings/ismvl/1998/8371/00/83710201.pdf http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1998.html#Yamamoto98 2004-06-21 A Study on Operations in Interval and Paired Probabilities. 310- 1998 ISMVL http://csdl.computer.org/dl/proceedings/ismvl/1998/8371/00/83710310.pdf http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1998.html#YamauchiM98 2002-10-11 An Investigation into the Implementation Costs of Residue and High Radix Arithmetic. 364-371 1991 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1991.html#YangLG91 2002-02-18 Experiences of Parallel Processing with Direct Cover Algorithms for Multiple-Valued Logic Minimization. 75-82 1992 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1992.html#YangO92 2002-10-08 A Neighborhood Decoupling Algorithm for Truncated Sum Minimization. 153-160 1990 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1990.html#YangW90 2002-09-03 Experiments on FPRM Expressions for Partially Symmetric Logic Functions. 141-146 2000 ISMVL http://computer.org/proceedings/ismvl/0692/06920141abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2000.html#YanushkevichBDS00 2004-06-21 The Word-Level Models for Efficient Computation of Multiple-Valued Functions. PART 1: LAR Based Model. 202-208 2002 ISMVL http://computer.org/proceedings/ismvl/1462/14620202abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2002.html#YanushkevichDS02 2002-09-03 Information Theoretic Approach to Minimization of Polynomial Expressions over GF(4). 265- 2000 ISMVL http://computer.org/proceedings/ismvl/0692/06920265abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2000.html#YanushkevichPSCS00 2006-09-21 Embedding and Assembling Techniques for Spatial Computing Structure Design using Decision Trees and Diagrams. 29 2006 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2006.20 http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2006.html#YanushkevichSB06 2004-06-21 Three Dimensional Multiple Valued Circuits Design Based on Single-Electron Logic. 275-280 2004 ISMVL http://csdl.computer.org/comp/proceedings/ismvl/2004/2130/00/21300275abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2004.html#YanushkevichSGL04 2006-09-21 The new architecture of radix-4 Chinese abacus adder. 12 2006 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2006.41 http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2006.html#YiLCLWHL06 2002-02-14 Multiple-Valued PLA Minimization by Concurrent Multiple and Mixed Simulated Annealing. 17-23 1993 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1993.html#YildirimBY93 2002-10-11 Design of a Set Logic Network Based on Frequency Multiplexing and Its Applications to Image Processing. 8-15 1991 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1991.html#YuminakaAH91 2002-02-14 Design of Set-Valued Logic Networks for Wave-Parallel Computing. 277-282 1993 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1993.html#YuminakaAH93 2002-02-14 Design of Wave-Parallel Computing Circuits for Densely Connected Architectures. 207-214 1994 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1994.html#YuminakaAH94 2002-01-03 An Efficient Data Transmission Technique for VLSI Systems Based on Multiple-Valued Code-Division Multiple Access. 430-437 2000 ISMVL http://computer.org/proceedings/ismvl/0692/06920430abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2000.html#YuminakaKSAH00 2004-06-21 Multiple-Valued Data Recovery Techniques for Band-Limited Channels in VLSI. 54-60 2002 ISMVL http://computer.org/proceedings/ismvl/1462/14620054abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2002.html#YuminakaMAH02 2002-01-28 Wave-Parallel Computing Technique for Neural Networks Based on Amplitude-Modulated Waves. 210-215 1996 ISMVL http://computer.org/proceedings/ismvl/7392/73920210abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1996.html#YuminakaSAH96 2004-06-21 Wave-Parallel Computing Systems using Multiple-Valued Pseudo-Orthogonal Sequences. 148- 1998 ISMVL http://csdl.computer.org/dl/proceedings/ismvl/1998/8371/00/83710148.pdf http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1998.html#YuminakaSAH98 2002-10-08 HAMLET - An Expression Compiler/Optimizer for the Implementation of Heuristics to Minimize Multiple-Valued Programmable Logic Arrays. 144-152 1990 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1990.html#YurchakB90 2003-05-28 Fuzzy Logic as a Basis for a Theory of Hierarchical Definability (THD). 3- 2003 ISMVL http://computer.org/proceedings/ismvl/1918/19180003.pdf http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2003.html#Zadeh03 2002-02-18 Fuzzy Logic and the Calculus of Fuzzy If-Then Rules. 480 1992 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1992.html#Zadeh92 2002-01-28 Inference in Fuzzy Logic via Generalized Constraint Propagation. 192- 1996 ISMVL http://computer.org/proceedings/ismvl/7392/73920192abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1996.html#Zadeh96 2003-05-28 Dynamic Reliability Indices for Multi-State System. 287-292 2003 ISMVL http://computer.org/proceedings/ismvl/1918/19180287abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2003.html#Zaitseva03 2002-01-28 Logical Not Polynomial Forms to Represent Multiple-Valued Functions. 302-307 1996 ISMVL http://computer.org/proceedings/ismvl/7392/73920302abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1996.html#ZaitsevaKK96 2004-06-21 Design of Dynamic Reliability Indices. 144-148 2002 ISMVL http://computer.org/proceedings/ismvl/1462/14620144abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2002.html#ZaitsevaL02 2005-07-27 Dynamic Reliability Indices for k-out-of-n Multi-State System. 264-269 2005 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.16 http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2005.html#ZaitsevaLMP05 2004-03-25 Fast Algorithm for Minimizing Reed-Muller Expansions of Systems of Incompletely Specified MVL Functions. 61-65 1997 ISMVL http://computer.org/proceedings/ismvl/7910/79100061abs.htm http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1997.html#ZakrevskijZ97 2002-10-08 Step-Wise Synthesis of CCD MVL Functions. 300-307 1990 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1990.html#ZakyVA90 2002-10-08 Approximate Reasoning in Strength Logic. 262-269 1990 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1990.html#Zhang90 2002-10-11 NPN Calculi: A Family of Three Strict Q-Algebras. 255-261 1991 ISMVL http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl1991.html#Zhang91 2004-06-21 The Role of Super-Fast Transforms in Speeding Up Quantum Computations. 129-135 2002 ISMVL http://computer.org/proceedings/ismvl/1462/14620129abs.htm htt