大学 × 全分野
千葉大学
全分野 / 2021–2025 確定版
掲載論文 24 本
論文一覧
24 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
分野をまたぐ同一論文も1本です。総合ポイントは、分野別順位に基づく別の指標です。
2025年
- Learning from Mistakes: Self-correct Adversarial Training for Chinese Unnatural Text Correction
掲載ID:
doi:10.1609/aaai.v39i22.34561 - Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking
掲載ID:
doi:10.1609/aaai.v39i11.33237 - Adapter Merging with Centroid Prototype Mapping for Scalable Class-Incremental Learning
掲載ID:
doi:10.1109/cvpr52734.2025.00460 - Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms
掲載ID:
neurips:2025:0d84bfe0c80a1ffbd1f5263065b6c99c - Nola: Later-Free Ghost State for Verifying Termination in Iris
掲載ID:
doi:10.1145/3729250 - A Primal-Dual Perspective on Program Verification Algorithms
掲載ID:
doi:10.1145/3704904
2024年
- Identifying Important Group of Pixels using Interactions
掲載ID:
doi:10.1109/cvpr52733.2024.00575 - Theoretical Understanding of Learning from Adversarial Perturbations
掲載ID:
iclr:2024:f9f2deee6f932fdd2041a23f3871e1f1 - Dynamic-Range Focal Sweep: Seamless Continuous Autofocus Based on High-Speed Vision for Magnified Object Tracking
掲載ID:
doi:10.1109/iros58592.2024.10802751 - Learning to compute Gröbner bases
掲載ID:
neurips:2024:3a1de90699eec7d7f42c91d81f94af16 - Wide Two-Layer Networks can Learn from Adversarial Perturbations
掲載ID:
neurips:2024:6e0274fdb05f21654421db43cd8de042 - Inductive Approach to Spacer
掲載ID:
doi:10.1145/3656457 - Enriched Presheaf Model of Quantum FPC
掲載ID:
doi:10.1145/3632855
2023年
- Approximate Vanishing Ideal Computations at Scale
掲載ID:
openreview:3zpesalkxo - Adversarial Training from Mean Field Perspective
掲載ID:
neurips:2023:edcd1aa172dceda2ea9d45a48f25d3e3 - HFL(Z) Validity Checking for Automated Program Verification
掲載ID:
doi:10.1145/3571199 - Optimal CHC Solving via Termination Proofs
掲載ID:
doi:10.1145/3571214
2022年
- Adversarial Bone Length Attack on Action Recognition
掲載ID:
doi:10.1609/aaai.v36i2.20132 - Dual-camera High Magnification Surveillance System with Non-delay Gaze Control and Always-in-focus Function in Indoor Scenes
掲載ID:
doi:10.1109/iros47612.2022.9981485 - Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱
掲載ID:
doi:10.1145/3531130.3533373 - Software model-checking as cyclic-proof search
掲載ID:
doi:10.1145/3498725
2021年
- CPS transformation with affine types for call-by-value implicit polymorphism
掲載ID:
doi:10.1145/3473600 - Dynamic Compensation in Throwing Motion with High-Speed Robot Hand-Arm
掲載ID:
doi:10.1109/icra48506.2021.9560866 - Motion Strategy Using Opponent Player’s Serial Learning for Air-Hockey Robots
掲載ID:
doi:10.1109/iros51168.2021.9635854
掲載対象外の論文や未反映の論文は、この一覧には含まれません。