文献
J-GLOBAL ID:201902238159980401
整理番号:19A0240488
ホップ数を持つ匂い様フェロモンにより拡張されたアリコロニー最適化に基づくモデル検査【JST・京大機械翻訳】
Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts
著者 (4件):
Kumazawa Tsutomu
(Software Research Associates, Inc., 2-32-8 Minami-Ikebukuro, Toshima-ku, Tokyo 171-8513, Japan)
,
Takada Keiichiro
(Tokyo University of Science, 2641 Yamazaki, Noda-shi, Chiba 278-8510, Japan)
,
Takimoto Munehiro
(Tokyo University of Science, 2641 Yamazaki, Noda-shi, Chiba 278-8510, Japan)
,
Kambayashi Yasushi
(Nippon Institute of Technology, 4-1 Gakuendai, Miyashiro-machi, Minamisaitama-gun, Saitama 345-8501, Japan)
資料名:
Swarm and Evolutionary Computation
(Swarm and Evolutionary Computation)
巻:
44
ページ:
511-521
発行年:
2019年
JST資料番号:
W3213A
ISSN:
2210-6502
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)