Information and Systems-Theoretical Foundations of Computing(Date:1997/10/31)

Presentation
表紙

,  

[Date]1997/10/31
[Paper #]
目次

,  

[Date]1997/10/31
[Paper #]
Convex Grid Drawings of Four-Connected Plane Graphs

Kazuyuki Miura,  Shin-ichi Nakano,  Takao Nishizeki,  

[Date]1997/10/31
[Paper #]COMP97-45
Secure Message Distribution in Channel Networks

Feng Bao,  Yutaka Funyu,  Yukihiro Hamada,  Yoshihide Igarashi,  Takashi Shimaya,  

[Date]1997/10/31
[Paper #]COMP97-46
A decision algorithm for prenex normal form sentence in Tarski arithmetic

Naoki SHIBATA,  Kozo OKANO,  Teruo HIGASHINO,  Kenichi TANIGUCHI,  

[Date]1997/10/31
[Paper #]COMP97-47
Improvement of the MAX SAT Approximation Algorithm with Perturbation

Takao Ono,  Tomio Hirata,  Takao Asano,  

[Date]1997/10/31
[Paper #]COMP97-48
On Computing the Upper Envelope of Segments in Parallel

Wei Chen,  Koichi Wada,  

[Date]1997/10/31
[Paper #]COMP97-49
One Construction Method for the Bottom-up Pushdown Tree Automata

Katsunori Yamasaki,  Katsuyuki Azuma,  

[Date]1997/10/31
[Paper #]COMP97-50
Canonical Decomposition and Its Algorithms of Deterministic Finite Automata

Kazuhisa FURUSAWA,  Takeo IKAI,  Kunio FUKUNAGA,  

[Date]1997/10/31
[Paper #]COMP97-51
Minimal Realizations of Deterministic Finite Automata using Ho-Kalman's Algorithm

Koji WATANABE,  Takeo IKAI,  Kunio FUKUNAGA,  

[Date]1997/10/31
[Paper #]COMP97-52
Exponential Lower Bounds of the Sizes of Binary Moment Diagrams Representing Division

Masaki NAKANISHI,  Kiyoharu HAMAGUCHI,  Toshinobu KASHIWABARA,  

[Date]1997/10/31
[Paper #]COMP97-53
Tree-Shellability of Boolean Functions

Yasuhiko TAKENAGA,  Kouji NAKAJIMA,  Shuzo YAJIMA,  

[Date]1997/10/31
[Paper #]COMP97-54
The Negation Limited Circuit Complexity of Monotone Boolean Functions

Kazuyuki AMANO,  Akira MARUOKA,  

[Date]1997/10/31
[Paper #]COMP97-55
A Sampling Theorem for Functions over Boolean Domain

Eiji Takimoto,  Akira Maruoka,  

[Date]1997/10/31
[Paper #]COMP97-56
Maximum Agreement Problem for Word Association Patterns

Hiroki Arimura,  Atsushi Wataki,  Shinichi Shimozono,  

[Date]1997/10/31
[Paper #]COMP97-57
The Design of Learning Algorithms on Neuroidal Nets

Tetruro Nishino,  

[Date]1997/10/31
[Paper #]COMP97-58
Polynomial Time MAT Learning of Simple Deterministic Languages with Structural Counterexamples

Yasuhiro TAJIMA,  Etsuji TOMITA,  Mitsuo WAKATSUKI,  

[Date]1997/10/31
[Paper #]COMP97-59
[OTHERS]

,  

[Date]1997/10/31
[Paper #]