Keiichiro Takada

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 3

Top Topics

Transition Systems

Alternating Time Temporal Logic

Ant Colony Optimization

Top Venues

IEICE Trans. Inf. Syst.

Swarm Evol. Comput.

Publications

Keiichiro Takada, Yasuaki Tokumo, Tomohiro Ikai, Takeshi Chujoh
Neural Network-Based Post-Processing Filter on V-PCC Attribute Frames. IEICE Trans. Inf. Syst. 106 (10) (2023)
Tsutomu Kumazawa, Keiichiro Takada, Munehiro Takimoto, Yasushi Kambayashi
Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts. Swarm Evol. Comput. 44 (2019)
Keiichiro Takada, Munehiro Takimoto, Tsutomu Kumazawa, Yasushi Kambayashi
ACO Based Model Checking Extended by Smell-Like Pheromone with Hop Counts. ICHSA (2017)