Communication-Communication Systems(Date:2008/05/27)

Presentation
表紙

,  

[Date]2008/5/27
[Paper #]
目次

,  

[Date]2008/5/27
[Paper #]
正誤表

,  

[Date]2008/5/27
[Paper #]
Reachability analysis of probabilistic timed automaton based on predicate abstraction and its refinement

Ryota KOMAGATA,  Atsushi MORIMOTO,  Satoshi YAMANE,  

[Date]2008/5/27
[Paper #]CST2008-5
CST Solution Competition 2007 : Detailed Results of Computational Evaluation

Toshiyuki MIYAMOTO,  Shingo YAMAGUCHI,  Naoshi UCHIHIRA,  Qi-Wei GE,  Shinichi HONIDEN,  

[Date]2008/5/27
[Paper #]CST2008-6
A Proposal of Soundization Problem of WF-Nets and a Consideration on Its Sub-problem under Protocol Inheritance

Ryo IKEDA,  Shingo YAMAGUCHI,  Minoru TANAKA,  

[Date]2008/5/27
[Paper #]CST2008-7
Modeling of Quantum Computer by using Quantum Petri Net

Shinsuke ITO,  Atsushi OHTA,  Kohkichi TSUJI,  

[Date]2008/5/27
[Paper #]CST2008-8
A Matching Algorithm of Feature Graphs for Handwritten Character Recognition

Shuichi NISHIDA,  Masaki HAYASHI,  Mitsuru NAKATA,  Qi-wei GE,  Makoto YOSHIMURA,  

[Date]2008/5/27
[Paper #]CST2008-9
Supervisory control of timed discrete event systems based on reinforcement learning

Tatsushi YAMASAKI,  Toshimitsu USHIO,  

[Date]2008/5/27
[Paper #]CST2008-10
Mathematical Model for Artificial Character and Democracy : Mathematical Proof of Good and Evil

Tadayuki HATTORI,  

[Date]2008/5/27
[Paper #]CST2008-11
複写される方へ

,  

[Date]2008/5/27
[Paper #]
Notice for Photocopying

,  

[Date]2008/5/27
[Paper #]
奥付

,  

[Date]2008/5/27
[Paper #]