default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSatoshi Yamane
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j16]Shunya Kidera
, Kosuke Shintani, Toi Tsuneda, Satoshi Yamane:
Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning. IEEE Access 12: 19942-19951 (2024)- [i9]Ryoma Furuyama, Daiki Kuyoshi, Satoshi Yamane:
Extrinsicaly Rewarded Soft Q Imitation Learning with Discriminator. CoRR abs/2401.16772 (2024) - [i8]Dianbo Ma, Kousuke Imamura, Ziyan Gao, Xiangjie Wang, Satoshi Yamane:
HMAFlow: Learning More Accurate Optical Flow via Hierarchical Motion Field Alignment. CoRR abs/2409.05531 (2024) - 2023
- [j15]Kaixu Chen, Satoshi Yamane:
Enhanced Full Attention Generative Adversarial Networks. IEICE Trans. Inf. Syst. 106(5): 813-817 (2023) - [c75]Dianbo Ma, Jianqiang Xiao, Ziyan Gao, Satoshi Yamane:
Staged Depthwise Correlation and Feature Fusion for Siamese Object Tracking. IJCNN 2023: 1-8 - [i7]Dianbo Ma, Jianqiang Xiao, Ziyan Gao, Satoshi Yamane:
Staged Depthwise Correlation and Feature Fusion for Siamese Object Tracking. CoRR abs/2310.09747 (2023) - 2022
- [j14]Yuta Suzuki, Daiki Kuyoshi, Satoshi Yamane:
Single and Ensemble CNN Models with Out-Category Penalty for Image Classification. Int. J. Netw. Comput. 12(2): 339-358 (2022) - [c74]Kuniyasu Imade, Taro Kiriyama, Satoshi Yamane:
Regularization to Suppress Mode Collapse in GANs Using Image Similarity. GCCE 2022: 635-636 - [c73]Tongdan Jin, Kaixu Chen, Satoshi Yamane, Yoshihiro Kuroda:
M-DenseUNet: Multi Dense Encoder Connected UNet for Biomedical Image Segmentation. GCCE 2022: 919-921 - 2021
- [j13]Yuta Suzuki, Toshiki Hatano, Toi Tsuneda, Daiki Kuyoshi, Satoshi Yamane:
An Image Classification Model that Learns Image Features and Numerical Information. Int. J. Netw. Comput. 11(2): 426-437 (2021) - [j12]Jianqiang Xiao, Dianbo Ma, Satoshi Yamane:
Optimizing 3D Convolution Kernels on Stereo Matching for Resource Efficient Computations. Sensors 21(20): 6808 (2021) - [c72]Toshiki Hatano, Taro Kiriyama, Toi Tsuneda, Satoshi Yamane:
Accelerating Model Validation by Reconstructing Image Sets Using GAN. CSCI 2021: 1736-1739 - [c71]Zhiying Zhou, Jianqiang Xiao, Satoshi Yamane:
SAFPN: Self Adapted Feature Pyramid Networks for Object Detection. GCCE 2021: 1-3 - [c70]Xie Zhang, Mo Li, Satoshi Yamane:
Population Based Training for Text Classification Using Convolutional Neural Network. GCCE 2021: 77-79 - [c69]Toi Tsuneda, Kuniyasu Imade, Kousuke Shintani, Satoshi Yamane:
Enhanced EVA with Threshold Limit of Similarity. GCCE 2021: 329-331 - [c68]Toshiki Hatano, Toi Tsuneda, Satoshi Yamane:
A study of DQN using VisionTransformer as an image extractor. GCCE 2021: 345-346 - [c67]Taro Kiriyama, Yajun Wu, Satoshi Yamane:
Reduction of Timer Interrupts for Embedded Assembly Programs Based on Reduction of Interrupt Handler Executions. GCCE 2021: 464-466 - [c66]Yuta Suzuki, Toi Tsuneda, Daiki Kuyoshi, Satoshi Yamane:
A Classifier for Reducing Numerical Errors using Ensemble Method. GCCE 2021: 653-654 - [c65]Zhengxuan Zhao, Kaixu Chen, Satoshi Yamane:
CBAM-Unet++: easier to find the target with the attention module "CBAM". GCCE 2021: 655-657 - [c64]Kaixu Chen, Zhengxuan Zhao, Satoshi Yamane:
Enhanced Conditions Based Deep Convolutional Generative Adversarial Networks. GCCE 2021: 663-665 - [c63]Daiki Kuyoshi, Yuta Suzuki, Satoshi Yamane:
Proposal of Ephemeral Value Adjustment with Dimensionality Reduction in Deep Reinforcement Learning. GCCE 2021: 672-674 - [c62]Jianqiang Xiao, Satoshi Yamane:
Shuffle in 3D: A Lightweight Architecture for Stereo Matching. GCCE 2021: 675-677 - [c61]Toi Tsuneda, Taro Kiriyama, Kousuke Shintani, Satoshi Yamane:
GANs with Suppressed Mode Collapse Using Intrinsic Rewards. CANDAR (Workshops) 2021: 187-192 - [c60]Yuta Suzuki, Daiki Kuyoshi, Satoshi Yamane:
Single and Ensemble CNN Models with Out-Category Penalty in Cifar 10. CANDAR (Workshops) 2021: 464-467 - [c59]Kuniyasu Imade, Toi Tsuneda, Satoshi Yamane, Kousuke Shintani, Taro Kiriyama:
Loss Function of GAN to Make a Clear Judgment. CANDAR (Workshops) 2021: 478-480 - [c58]Toshiki Hatano, Toi Tsuneda, Yuta Suzuki, Kuniyasu Imade, Kazuki Shesimo, Satoshi Yamane:
GBDT Modeling of Deep Reinforcement Learning Agents Using Distillation. ICM 2021: 1-6 - 2020
- [j11]Yajun Wu, Satoshi Yamane:
Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software. IEICE Trans. Inf. Syst. 103-D(4): 800-812 (2020) - [j10]Kazuki Seshimo, Akira Ota, Daichi Nishio, Satoshi Yamane:
Practical Evaluation of Online Heterogeneous Machine Learning. IEICE Trans. Inf. Syst. 103-D(12): 2620-2631 (2020) - [c57]Satoshi Yamane, Kosuke Uemura:
Comparative Experiment of SPIN and SMT in Model Checking of Embedded Assembly Program. GCCE 2020: 54-57 - [c56]Yajun Wu, Hiromu Kamide, Satoshi Yamane:
Software Model Checking for Real-time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement. GCCE 2020: 62-65 - [c55]Yuta Suzuki, Satoshi Yamane:
Transfer Learning Model for Image Segmentation by Integrating U-Net ++ and SE Block. GCCE 2020: 81-83 - [c54]Daiki Kuyoshi, Toi Tsuneda, Satoshi Yamane:
Rainbow with Episodic Memory in Deep Reinforcement Learning. GCCE 2020: 113-116 - [c53]Daichi Nishio, Toi Tsuneda, Daiki Kuyoshi, Satoshi Yamane:
Discriminator Soft Actor Critic without Extrinsic Rewards. GCCE 2020: 117-120 - [c52]Mo Li, Xie Zhang, Satoshi Yamane, Ang Yang Lin:
Text Classification using Convolutional Neural Network by Genetic Algorithms. GCCE 2020: 121-123 - [c51]Kazuki Takamura, Satoshi Yamane:
Proposal of Quantized Tree-LSTM and Its Experimental Evaluation. GCCE 2020: 202-204 - [c50]Nishiki Katayama, Satoshi Yamane:
Angle Estimation Network Using Polar Transformation for Object Classification. GCCE 2020: 504-505 - [c49]Toshiki Hatano, Satoshi Yamane:
Boosting Binary Neural Networks for FPGA. GCCE 2020: 577-579 - [c48]Toshiki Hatano, Toi Tsuneda, Yuta Suzuki, Kousuke Shintani, Satoshi Yamane:
Image Classification with Additional Non-decision Labels using Self-supervised learning and GAN. CANDAR (Workshops) 2020: 125-129 - [c47]Daiki Kuyoshi, Kuniyasu Imade, Satoshi Yamane:
Efficient Exploration by Decision Making Considering Curiosity and Episodic Memory in Deep Reinforcement Learning. CANDAR (Workshops) 2020: 465-467 - [c46]Yuta Suzuki, Toshiki Hatano, Toi Tsuneda, Satoshi Yamane:
An Image Classification Model that Learns MNIST Image Features and Numerical Information. CANDAR (Workshops) 2020: 483-485 - [c45]Toi Tsuneda, Daiki Kuyoshi, Satoshi Yamane:
Q-learning in Continuous Action Space by Extending EVA. CANDAR (Workshops) 2020: 489-491 - [i6]Daichi Nishio, Daiki Kuyoshi, Toi Tsuneda, Satoshi Yamane:
Discriminator Soft Actor Critic without Extrinsic Rewards. CoRR abs/2001.06808 (2020)
2010 – 2019
- 2019
- [j9]Satoshi Yamane, Kouki Matsuo:
Gap Detection Using Convolutional Neural Network and Adaptive Control in Robotic Plasma Welding. Int. J. Autom. Technol. 13(6): 796-802 (2019) - [c44]Daichi Nishio, Satoshi Yamane:
Random Projection in Neural Episodic Control. ACML 2019: 1-15 - [c43]Kousuke Uemura, Satoshi Yamane:
SMT-Based Bounded Model Checking of Embedded Assembly Program with Interruptions. DASC/PiCom/DataCom/CyberSciTech 2019: 633-639 - [c42]Kazuki Takamura, Satoshi Yamane:
Improving Minimal Gated Unit for Sequential Data. GCCE 2019: 696-698 - [c41]Kazuki Seshimo, Akira Ota, Daichi Nishio, Satoshi Yamane:
Online Heterogeneous Mixture Learning for Big Data. GCCE 2019: 699-701 - [c40]Hiroki Kawakami, Satoshi Yamane:
Generalize IoT Device's Client Application with Virtual Machine. GCCE 2019: 992-995 - [i5]Tetsuto Takano, Satoshi Yamane:
Machine translation considering context information using Encoder-Decoder model. CoRR abs/1904.00160 (2019) - [i4]Daichi Nishio, Satoshi Yamane:
Random Projection in Neural Episodic Control. CoRR abs/1904.01790 (2019) - [i3]Kazuki Takamura, Satoshi Yamane:
Improving Minimal Gated Unit for Sequential Data. CoRR abs/1906.00748 (2019) - [i2]Kazuki Seshimo, Akira Ota, Daichi Nishio, Satoshi Yamane:
Online Heterogeneous Mixture Learning for Big Data. CoRR abs/1906.08068 (2019) - 2018
- [c39]Yajun Wu, Satoshi Yamane:
Model Checking of Embedded Systems Using RTCTL While Generating Timed Kripke Structure. COMPSAC (1) 2018: 257 - [c38]Daichi Nishio, Satoshi Yamane:
Faster Deep Q-Learning Using Neural Episodic Control. COMPSAC (1) 2018: 486-491 - [c37]Satoshi Yamane, Tetsuto Takano:
Machine Translation Considering Context Informaiton Using Encoder-Decoder Model. COMPSAC (1) 2018: 793-794 - [c36]Hiromu Kamide, Kosuke Uemura, Satoshi Yamane:
Model Check of Real-time Property of Embedded Assembly Program Using CEGAR. COMPSAC (1) 2018: 799-800 - [i1]Daichi Nishio, Satoshi Yamane:
Faster Deep Q-learning using Neural Episodic Control. CoRR abs/1801.01968 (2018) - 2017
- [j8]Satoshi Yamane, Ryosuke Konoshita, Tomonori Kato:
Model Checking of Embedded Assembly Program Based on Simulation. IEICE Trans. Inf. Syst. 100-D(8): 1819-1826 (2017) - [c35]Nishiki Katayama, Satoshi Yamane:
Recognition of rotated images by angle estimation using feature map with CNN. GCCE 2017: 1-2 - [c34]Satoshi Yamane:
Deductively verifying embedded software in the era of artificial intelligence = machine learning + software science. GCCE 2017: 1-4 - 2016
- [j7]Yuki Ono, Kouhei Sakurai, Satoshi Yamane:
LogChamber: Inferring Source Code Locations Corresponding to Mobile Applications Run-time Logs. J. Inf. Process. 24(4): 700-710 (2016) - [c33]Koki Hamaya, Satoshi Yamane:
Detecting bank conflict of GPU programs using symbolic execution. GCCE 2016: 1-4 - [c32]Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane:
A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata. ICFEM 2016: 74-89 - 2015
- [c31]Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane:
Formal verification of dynamically reconfigurable systems. GCCE 2015: 71-75 - [c30]Takumi Adachi, Satoshi Yamane, Kohei Sakurai:
Distributed CFG-based symbolic execution for assembly programs. GCCE 2015: 76-80 - 2014
- [c29]Jumpei Kobashi, Satoshi Yamane, Atsushi Takeshita:
Development of SMT-Based Bounded Model Checker for embedded assembly program. GCCE 2014: 696-698 - [c28]Ryosuke Konoshita, Kouhei Sakurai, Satoshi Yamane:
Model generation by the exhaustive search for embedded assembly programs and application to model checking. GCCE 2014: 699-702 - [c27]Satoshi Yamane, Takaya Shimizu:
Development of probabilistic timed CEGAR. ICSAI 2014: 482-491 - 2013
- [c26]Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane:
Development of Model Checker of Dynamic Linear Hybrid Automata. COMPSAC 2013: 607-608
2000 – 2009
- 2008
- [j6]Satoshi Yamane:
Special Section on Concurrent/Real-time and Hybrid Systems: Theory and Applications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 91-A(11): 3206 (2008) - 2007
- [c25]Satoshi Yamane:
Theory and Practice of Probabilistic Timed Game for Embedded Systems. ICESS 2007: 109-120 - 2005
- [j5]Yosuke Mutsuda, Takaaki Kato, Satoshi Yamane:
Symbolic Reachability Analysis of Probabilistic Linear Hybrid Automata. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 88-A(11): 2972-2981 (2005) - [c24]Satoshi Yamane:
Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time Software. EUC 2005: 381-394 - [c23]Satoshi Yamane:
Automata-Theoretic Performance Analysis Method of Soft Real-Time Systems. EUC Workshops 2005: 1211-1224 - [c22]Satoshi Yamane:
Deductive Probabilistic Verification Methods of Safety, Liveness and Nonzenoness for Distributed Real-Time Systems. ICESS 2005: 332-345 - [c21]Yosuke Mutsuda, Takaaki Kato, Satoshi Yamane:
Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata. ICESS 2005: 346-360 - 2004
- [j4]Satoshi Yamane, Kazuhiro Nakamura:
Development and evaluation of symbolic model checker based on approximation for real-time systems. Syst. Comput. Jpn. 35(10): 83-101 (2004) - [c20]Satoshi Yamane, Takashi Kanatani:
Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing. EUC 2004: 183-195 - [c19]Satoshi Yamane:
Deductive Verification of Probabilistic Real-Time Systems. ICDCS Workshops 2004: 622-627 - 2003
- [c18]Satoshi Yamane:
Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems. ASIAN 2003: 276-290 - [c17]Satoshi Yamane:
Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata. COMPSAC 2003: 527-533 - [c16]Satoshi Yamane:
Formal Probabilistic Refinement Verification of Embedded Real-Time Systems. WSTFES 2003: 79-82
1990 – 1999
- 1999
- [c15]Y. Tachi, Satoshi Yamane:
Real-Time Symbolic Model Checking for Hard Real-Time Systems. RTCSA 1999: 496- - 1998
- [j3]Satoshi Yamane:
Automatic Effective Verification Method for Distributed and Concurrent Systems Using Timed Language Inclusion. Parallel Distributed Comput. Pract. 1(2) (1998) - [c14]Kazuhiro Nakamura, Satoshi Yamane:
Formal Verification of Real-Time Software by Symbolic Model-Checker. ACSD 1998: 99-108 - [c13]Satoshi Yamane:
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems. FM-Trends 1998: 151-167 - [c12]Kazuhiko Eguchi, Satoshi Yamane, Hideo Sugi, Kenji Oshima:
Sensing of Arc Length and Wire Extension Using Neural Network in Robotic Welding. Rough Sets and Current Trends in Computing 1998: 163-170 - [c11]Satoshi Yamane, Kazuhiro Okada, Kenji Shinoda, Kenji Oshima:
Traffic Signal Control Using Multi-layered Fuzzy Control. Rough Sets and Current Trends in Computing 1998: 171-177 - [c10]Kazuhiko Eguchi, Junya Suzuki, Satoshi Yamane, Kenji Oshima:
An Application of Genetic Algorithms to Floorplanning of VLSI. Rough Sets and Current Trends in Computing 1998: 263-270 - [c9]Satoshi Yamane:
Hierarchical Design Method for Real-Time Distributed Systems. RTCSA 1998: 189- - 1997
- [j2]Satoshi Yamane:
A method for the specification and verification of distributed systems by a timed automaton. Syst. Comput. Jpn. 28(2): 11-20 (1997) - [c8]Satoshi Yamane:
Formal Specification and Verification Method of Concurrent and Distributed Systems by Restricted Timed Automata. ARTS 1997: 169-183 - [c7]Satoshi Yamane, Kazuhiro Nakamura:
Symbolic Model-Checking Method Based on Approximations and Binary Decision Diagrams for Real-Time Systems. TACS 1997: 562-582 - 1996
- [j1]Satoshi Yamane:
Proposal of hybrid verification method in asynchronous real-time software including timing constraints specification. Syst. Comput. Jpn. 27(5): 1-14 (1996) - [c6]Satoshi Yamane:
The Symbolic Model-Checking for Real-Time Systems. RTS 1996: 108-113 - [c5]Satoshi Yamane:
The verification technique of real-time systems using probabilities. RTCSA 1996: 90-97 - [c4]Satoshi Yamane:
Object-oriented method for real-time systems based on timed automaton. WORDS 1996: 210-217 - 1995
- [c3]Satoshi Yamane:
Formal Timing Verification Techniques for Distributed System . FTDCS 1995: 454-460 - [c2]Satoshi Yamane:
Real-Time Object-Oriented Method. OOIS 1995: 287-302 - [c1]Satoshi Yamane:
Verification system for real-time specification based on extended real-time logic. RTCSA 1995: 192-196
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
