Výsledky vyhledávání - "Munehiro Takimoto"

Akademický článek

Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization

Autor: Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi

Publikováno v: Journal of Information and Telecommunication, Pp 1-19 (2022)

Model checking is a formal and automated verification technique to show that a software system behaves in accordance with the given specification. Traditional model checking uses exhaustive search techniques for finding violative behaviours of the sp

Externí odkaz: https://doaj.org/article/b2821519d0514485b8045b5623148126

Zobrazit plný text záznamu

Akademický článek

Formation Control of Swarm Robots Using Mobile Agents

Autor: Yasushi Kambayashi, Hideaki Yajima, Tadashi Shyoji, Ryotaro Oikawa, Munehiro Takimoto

Publikováno v: Vietnam Journal of Computer Science, Vol 6, Iss 2, Pp 193-222 (2019)

In this paper, we propose an algorithm for controlling a fleet of swarm robots that construct three-dimensional forms. The swarm robots coordinate with each other through network communication, and compose formations such as polyhedrons presented as

Externí odkaz: https://doaj.org/article/58aaa887efdf480c967ed243e7e4d7f1

Zobrazit plný text záznamu

Akademický článek

Multi-Agent Base Evacuation Support System Using MANET

Autor: Shohei Taga, Tomofumi Matsuzawa, Munehiro Takimoto, Yasushi Kambayashi

Publikováno v: Vietnam Journal of Computer Science, Vol 6, Iss 2, Pp 177-191 (2019)

In this paper, we propose an evacuation support system that provides evacuation routes in case of disasters, and verify the usefulness of the system. Current popular wireless communication infrastructure is supported by a series of base stations and

Externí odkaz: https://doaj.org/article/7a1883085e7c4cc0b75e32ef3b075fb3

Zobrazit plný text záznamu

Akademický článek

Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone

Autor: Tsutomu Kumazawa, Chihiro Yokoyama, Munehiro Takimoto, Yasushi Kambayashi

Publikováno v: EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, Vol 3, Iss 7 (2016)

Model Checking is a technique for automatically checking the model representing software or hardware about whether they satisfy the corresponding specifications. Traditionally, the model checking uses deterministic algorithms, but the deterministic a

Externí odkaz: https://doaj.org/article/2fe127d584074398bb2826767755b020

Zobrazit plný text záznamu

An Improved Body Operations Mitigating VR Sickness through Stepping Gaming Mat

Autor: Kazuki Komoriya, Munehiro Takimoto, Yasushi Kambayashi

Publikováno v: Proceedings of the 6th International Conference on Intelligent Human Systems Integration (IHSI 2023) Integrating People and Intelligent Systems, February 22–24, 2023, Venice, Italy.

Devices related to VR technology and applications using them are quite popular recently. The VR technology allows the users to perform various moving operations in the virtual space. Usually, the users use some controller devices to move in the virtu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::caeb51c8aad3be7003f2e12745daaa05
https://doi.org/10.54941/ahfe1002825

Zobrazit plný text záznamu

Efficient Inductive Logic Programming Based on Particle Swarm Optimization

Autor: Kyosuke Obara, Munehiro Takimoto, Tsutomu Kumazawa, Yasushi Kambayashi

Publikováno v: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ISBN: 9783031291258

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::a96e394d23a5ecbadd7e1eeabd036391
https://doi.org/10.1007/978-3-031-29126-5_13

Zobrazit plný text záznamu

Efficient Inductive Logic Programming based on Predictive A*-like Algorithm

Autor: Moeko Okawara, Junji Fukuhara, MUNEHIRO TAKIMOTO, Tsutomu Kumazawa, Yasushi Kambayashi

Publikováno v: Human Interaction and Emerging Technologies (IHIET-AI 2023): Artificial Intelligence and Future Applications.

Various machine learning (ML) techniques have been developed widely over the last decade. Especially, deep learning (DL) contributes to ML for creating a lot of structured data such as tables from unstructured data such as images and sounds. The resu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::75784f87cabc100e4df5d16f7cd7d41a
https://doi.org/10.54941/ahfe1002934

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání