The Community for Technology Leaders
RSS Icon
Subscribe
2013 IEEE 43rd International Symposium on Multiple-Valued Logic (2000)
Portland, Oregon
May 23, 2000 to May 25, 2000
ISBN: 0-7695-0692-5
TABLE OF CONTENTS
Reviewers (PDF)
pp. xiv
Session 1: Invited Address
Session 2a: Neural and Threshold Nets
Motoi Inaba , Miyazaki University
Koichi Tanno , Miyazaki University
Jing Shen , Miyazaki University
pp. 15
Makoto Syuto , Miyazaki University
Koichi Tanno , Miyazaki University
Okihiko Ishizuka , Miyazaki University
pp. 27
Alioune Ngom , Lakehead University
Ivan Stojmenovic , University of Ottawa
Ratko To?ic , University of Novi Sad
pp. 33
Session 2b: Spectral Methods
Rolf Drechsler , Albert-Ludwigs-University
Mitch Thornton , Mississippi State University
David Wessels , University of Arkansas
pp. 41
Bogdan J. Falkowski , Nanyang Technological University
pp. 47
Rolf Drechsler , Albert-Ludwigs-University
pp. 53
Jong O Kim , Dongyang Technical College
Parag Lala , University of Arkansas
Young Gun Kim , Ansan College
Heung Soo Kim , Inha University
pp. 59
Session 3: Invited Address
Jacek M. Zurada , University of Louisville
pp. 67
Session 4a: Decomposition and Data Mining
Szymon Jaroszewicz , University of Massachusetts at Boston
pp. 77
Artur Chojnacki , Eindhoven University of Technology
Lech Józwiack , Eindhoven University of Technology
pp. 83
Session 4b: Algebra I
Noboru Takagi , Toyama Prefectural University
pp. 101
Agata Ciabattoni , Universit? Milano
pp. 113
Session 5a: Fuzzy Logic
Martine de Cock , Ghent University
Etienne E. Kerre , Ghent University
pp. 121
Session 5b: Reed-Muller Logic and Its Extensions
S.N. Yanushkevich , Technical University
J.T. Butler , Naval Postgraduate School
G.W. Dueck , University of New Brunswick
pp. 141
Susanto Rahardja , Nanyang Technological University
Bogdan J. Falkowski , Nanyang Technological University
pp. 153
Session 6: Invited Address
Session 7a: Logic and Algebra
J.A. Brzozowski , University of Waterloo
pp. 173
Stefano Aguzzoli , ITC-IRST
Brunella Gerla , University of Milan
pp. 179
Nicolas Spyratos , Universite de Paris Sud
Yann Loyer , Universite de Paris Sud
pp. 185
Session 7b: Decision Diagrams
Wolfgang Günther , Albert-Ludwigs-University
Dragan Jankovic , University of Nis
pp. 193
Tsutomu Sasao , Kyushu Institute of Technology
Yukihiro Iguchi , Meiji University
pp. 199
Milena Stankovic , National Institute of Science
Jaakko Astola , Tampere University of Technology
Radomir S. Stankovic , National Institute of Science
pp. 206
Session 8a: Circuits I
Mostafa Abd-El-Barr , King Fahd University of Petroleum and Minerals
pp. 215
Jai Seok Choi , Institute of Induk Technology
Boo Sik Shin , Ansan College
Heung Soo Kim , Inha University
pp. 221
Session 8b: Decision Diagrams and Test
Christoph Meinel , Universit?t Trier
Elena Dubrova , Royal Institute of Technology
pp. 233
Wolfgang Günther , Albert-Ludwigs-University
Frank Schmiedle , Albert-Ludwigs-University
pp. 239
Yutaka Hata , Himeji Institute of Technology
Naotake Kamiura , Himeji Institute of Technology
pp. 245
Session 9a: Evolutionary and Information Theory Approaches
T. Luba , Warsaw University of Technology
C. Moraga , Dortmund University,
S. Yanushkevich , Technical University
M. Opoka , Technical University
V. Shmerko , Technical University
pp. 253
D. Popel , Technical University,
V. Shmerko , Technical University,
S. Yanushkevich , Technical University,
pp. 265
Session 9b: Image and Language Processing
Syoji Kobashi , Himeji Institute of Technology
Naotake Kamiura , Himeji Institute of Technology
Yutaka Hata , Himeji Institute of Technology
Toshio Yanagida , Osaka University Medical School
pp. 273
Bogdan J. Falkowski , Nanyang Technological University,
Lip-San Lim , Nanyang Technological University,
pp. 279
Raiek Alnakari , George Mason University
David Rine , George Mason University
pp. 285
Session 10: Invited Address
Ivo Düntsch , University of Ulster at Jordanstown
Wendy MacCaull , St. Francis Xavier University
Ewa Orlowska , Institute of Telecommunications
pp. 293
Session 11a: Circuits II
Session 11b: Theorem-Proving and Applications
Bernhard Beckert , University of Karlsruhe
Reiner Hähnle , Chalmers University of Technology
Felip Manyà , University of Lleida
pp. 331
Harald Ganzinger , Max-Planck-Institut f?r Informatik
Viorica Sofronie-Stokkermans , Max-Planck-Institut f?r Informatik
pp. 337
Takafumi Aoki , Tohoku University
Kimihiko Nakazawa , Tohoku University
Tatsuo Higuchi , Tohoku University
pp. 345
Session 12: Invited Address
Ki-Young Park , Korea Advanced Institute of Science and Technology
Soo-Young Lee , Korea Advanced Institute of Science and Technology
Marwan A. Jabri , Oregon Graduate Institute of Science and Technology and University of Sydney
pp. 355
Session 14: Invited Address
R. Alexis , Intel Corporation
G. Atwood , Intel Corporation
B. Baltar , Intel Corporation
A. Fazio , Intel Corporation
K. Frary , Intel Corporation
M. Hensel , Intel Corporation
M. Ishac , Intel Corporation
J. Javanifard , Intel Corporation
M. Landgraf , Intel Corporation
D. Leak , Intel Corporation
K. Loe , Intel Corporation
D. Mills , Intel Corporation
P. Ruby , Intel Corporation
R. Rozman , Intel Corporation
M. Bauer , Intel Corporation
S. Talreja , Intel Corporation
K. Wojciechowski , Intel Corporation
pp. 367
Session 15a: Circuits III
K.W. Current , University of California at Davis
pp. 377
Session 15b: Clones and Asynchronous Machines
Masahiro Miyakawa , Tsukuba College of Technology
pp. 391
Yasunori Nagata , University of the Ryukyus
Masao Mukaidono , Meiji University
pp. 402
Session 16: Invited Address
Akira Fujiwara , NTT Basic Research Laboratories
Yasuo Takahashi , NTT Basic Research Laboratories
Katsumi Murase , NTT Basic Research Laboratories
pp. 411
Session 17a: Arithmetics and Systems
Session 17b: Verification and Power Estimation
Mitch Thornton , Mississippi State University
Rolf Drechsler , Albert-Ludwigs University
Wolfgang Guenther , Albert-Ludwigs University
pp. 447
Elena Dubrova , Royal Institute of Technology
Harald Sack , Universit?t Trier
pp. 460
Author Index (PDF)
pp. 467
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool