refinement

  1. Home
  2. search page
  3. keyword

refinement

정의: Refinement may refer to:

📄 키워드 상세정보

핵심 연구 분야Verification
주요 연도2024년
주요 연관 키워드learning
좋아요 수0

키워드별 논문 목록 (17건)

Harmonizing creativity and ethics in AI systems
저자: Joffrey Baeyaert
키워드: #research #interdisciplinary #iterative #refinement #entropy
파트: Artificial Intelligence | 연도: 2025
Parf: An Adaptive Abstraction-Strategy Tuner for Static Analysis
저자: Zhong-Yi Wang (王钟逸) , Ming-Shuai Chen (陈明帅) , Teng-Jie Lin (林滕劼) , Lin-Yu Yang (杨麟禹) , Jun-Hao Zhuo (卓俊豪) , Qiu-Ye Wang (王秋野) , Sheng-Chao Qin (秦胜潮) , Xiao Yi (伊 晓) , Jian-Wei Yin (尹建伟)
키워드: #automated #web #toolkit #refinement #interface
파트: Strategies | 연도: 2025
DPFedSub: A Differentially Private Federated Learning with Randomized Subspace Descend
저자: Huiwen Wu , Chuan Ma , Xueran Li , Deyi Zhang , Xiaohan Li , She Sun
키워드: #research #learning #optimization #refinement #mitigate
파트: Cryptography | 연도: 2025
SecRef*: Securely Sharing Mutable References between Verified and Unverified Code in F*
저자: Catalin Hritcu , Cezar Constantin Andrici , Danel Ahman , Ruxandra Icleanu , Guido Martínez , Exequiel Rivas , Théo Winterhalter
키워드: #interoperability #refinement #verification #protecting #proofs
파트: Verification | 연도: 2025
A comprehensive study on enhanced QR extraction techniques with deep learning-based verification
저자: Nur Alam , A S M Sharifuzzaman Sagar , Wenqi Zhang , Taicheng Jin , Arailym Dosset , L. Minh Dang , Hyeonjoon Moon
키워드: #learning #competing #enhanced #refinement #shufflenetv2
파트: Verification | 연도: 2025
ModelForge: Using GenAI to Improve the Development of Security Protocols
저자: Martin Duclos , Ivan A. Fernandez , Kaneesha Moore , Sudip Mittal , Edward Zieglar
키워드: #simplify #cryptographic #refinement #analyzer #translating
파트: Networking | 연도: 2025
A Survey of Dataset Refinement for Problems in Computer Vision Datasets
저자: Zhijing Wan , Zhixiang Wang , Cheukting Chung , Zheng Wang
키워드: #learning #algorithms #crucial #noisy #refinement
파트: Artificial Intelligence | 연도: 2024
Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection
저자: Kohei Tsujio , Mohammad Abdullah Al Faruque , Yasser Shoukry
키워드: #cyber #new #manufacturing #refinement #infrastructure
파트: Strategies | 연도: 2024
Event-Based Mosaicing Bundle Adjustment
저자: Shuang Guo , Guillermo Gallego
키워드: #optimization #refinement #panoramic #exploitable #mosaicing
파트: Strategies | 연도: 2024
Ontology-based security modeling in ArchiMate
저자: Ítalo Oliveira , Tiago Prince Sales , João Paulo A. Almeida , Riccardo Baratella , Mattia Fumagalli , Giancarlo Guizzardi
키워드: #research #modeling #refinement #constructs #redesign
파트: Safety | 연도: 2024