Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Arimoto, Kazutami
33  Ergebnisse:
Personensuche X
?
1

Applying Symbolic Model Checking to Node-graph Style Game S..:

, In: 2023 IEEE 12th Global Conference on Consumer Electronics (GCCE),
Tanaka, Ryugo ; Yokogawa, Tomoyuki ; Amasaki, Sousuke.. - p. 881-884 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Enhancing the Generalization Performance of Drowsiness Esti..:

, In: 2023 15th International Congress on Advanced Applied Informatics Winter (IIAI-AAI-Winter),
Kubo, Tomoya ; Yokogawa, Tomoyuki ; Arimoto, Kazutami.. - p. 165-170 , 2023
Link: https://doi.org/10.1109/..
 
?
3

A Visual Modeling Environment for the nuXmv Model Checker I..:

, In: 2022 12th International Congress on Advanced Applied Informatics (IIAI-AAI),
Toyota, Kazuma ; Yokogawa, Tomoyuki ; Amasaki, Sousuke.. - p. 684-685 , 2022
Link: https://doi.org/10.1109/..
 
?
4

28-m W Fully Embedded AI Techniques with On-site Learning f..:

, In: 2022 International Symposium on VLSI Design, Automation and Test (VLSI-DAT),
Yano, Yuji ; Iwamoto, Hisashi ; Yoshimura, Takuma... - p. 1-4 , 2022
Link: https://doi.org/10.1109/..
 
?
5

Verifying Game Logic in Unreal Engine 5 Blueprint Visual Sc..:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,
Wayama, Kazuki ; Yokogawa, Tomoyuki ; Amasaki, Sousuke.. - p. 1-8 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

Symbolic Representation of Time Petri Nets for Efficient Bo..:

IGAWA, Nao ; YOKOGAWA, Tomoyuki ; AMASAKI, Sousuke...
IEICE Transactions on Information and Systems.  E103.D (2020)  3 - p. 702-705 , 2020
Link: https://doi.org/10.1587/..
 
?
7

Mems-Based "Touch Feeling Scanner" for Quantitative Evaluat..:

, In: 2020 IEEE 33rd International Conference on Micro Electro Mechanical Systems (MEMS),
Nishida, Yoshihiro ; Watatani, Kazuki ; Terao, Kyohei... - p. 984-987 , 2020
Link: https://doi.org/10.1109/..
 
?
8

A Node-Style Visual Programming Environment for the nuXmv M..:

, In: 2020 IEEE 9th Global Conference on Consumer Electronics (GCCE),
Naito, Hayato ; Yokogawa, Tomoyuki ; Igawa, Nao... - p. 71-75 , 2020
Link: https://doi.org/10.1109/..
 
?
9

Consistency Verification of UML Sequence Diagrams Modeling ..:

, In: 2019 8th International Congress on Advanced Applied Informatics (IIAI-AAI),
Matsumoto, Akira ; Yokogawa, Tomoyuki ; Amasaki, Sousuke.. - p. 458-461 , 2019
Link: https://doi.org/10.1109/..
 
?
10

A Compact Low Power AI Module Mounted on Drone for Plant Mo..:

, In: 2019 8th International Congress on Advanced Applied Informatics (IIAI-AAI),
Kobayashi, Tomoki ; Yokogawa, Tomoyuki ; Igawa, Nao... - p. 1081-1082 , 2019
Link: https://doi.org/10.1109/..
 
?
11

Integration of drones' communication into an ITS network:

, In: 2017 International Conference on Intelligent Informatics and Biomedical Sciences (ICIIBMS),
Fujii, Satoshi ; Arimoto, Kazutami ; Hiranaka, Kohei... - p. 43-44 , 2017
Link: https://doi.org/10.1109/..
 
?
12

A Field Programmable Sequencer and Memory with Middle Grain..:

KAWAMURA, Yoshifumi ; OKADA, Naoya ; MATSUDA, Yoshio...
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences.  E99.A (2016)  5 - p. 917-928 , 2016
Link: https://doi.org/10.1587/..
 
?
13

High‐Speed Performance Evaluation of a Large‐Scale Shared‐B..:

KONDO, MASAFUMI ; YOKOGAWA, TOMOYUKI ; SATO, YOICHIRO.
Electronics and Communications in Japan.  98 (2015)  10 - p. 57-66 , 2015
Link: https://doi.org/10.1002/..
 
?
14

Bounded model checking of Time Petri Nets using SAT solver:

Yokogawa, Tomoyuki ; Kondo, Masafumi ; Miyazaki, Hisashi...
IEICE Electronics Express.  12 (2015)  2 - p. 20141112-20141112 , 2015
Link: https://doi.org/10.1587/..
 
?
15

An accurate method for predicting temperature-dependent cur..:

Sakakibara, Kiyohiko ; Arimoto, Kazutami
Japanese Journal of Applied Physics.  53 (2014)  6 - p. 064305 , 2014
Link: https://doi.org/10.7567/..
 
1-15