synthesizing

  1. Home
  2. search page
  3. keyword

synthesizing

정의: 정의를 찾을 수 없습니다.

📄 키워드 상세정보

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

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

Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations
저자: Aleksandar S Dimovski
키워드: #algorithm #combine #synthesizing #formulas #implemented
파트: Strategies | 연도: 2025
Impromptu: a framework for model-driven prompt engineering
저자: Jordi Cabot , Sergio Morales , Robert Clarisó
키워드: #engineering #designing #reuse #synthesizing #plugin
파트: Analysis | 연도: 2025
Kolmogrov Anorld carbon informed network orchestration
저자: Charles Z. Liu , Ying Zhang , Lu Qin , Farookh Hussain
키워드: #transformative #environmental #theoretical #synthesizing #orchestration
파트: Networking | 연도: 2025
Single-Image Driven 3D Viewpoint Training Data Augmentation for Effective Label Recognition
저자: Yueh-Cheng Huang , Hsin-Yi Chen , Cheng-Jui Hung , Jen-Hui Chuang , Jenq-Neng Hwang
키워드: #learning #computer #photos #wine #synthesizing
파트: Artificial Intelligence | 연도: 2024
An advanced computing approach for software vulnerability detection
저자: Cho Do Xuan , B. V. Cong
키워드: #vulnerabilities #urgent #synthesizing #synthesizes #rebalancing
파트: Strategies | 연도: 2024
CESAR: Control Envelope Synthesis via Angelic Refinements
저자: Aditi Kabra , Jonathan Laurent , Stefan Mitsch , André Platzer
키워드: #algorithm #synthesizing #approximation #refinements #optimality
파트: Software Development | 연도: 2024
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification
저자: Cheng Wen , Jialun Cao , Jie Su , Zhiwu Xu , Shengchao Qin , Mengda He , Haokun Li , Shing-Chi Cheung , Cong Tian
키워드: #automated #software #expertise #synthesizing #verifying
파트: Verification | 연도: 2024
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation
저자: Ricardo Brancas , Miguel Terra-Neves , Miguel Ventura , Vasco Manquinho , Ruben Martins
키워드: #synthesizer #synthesizing #sql #synthesizers #cubes
파트: Databases | 연도: 2024
Investigating large language models capabilities for automatic code repair in Python
저자: Safwan Omari , Kshitiz Basnet , Mohammad Wardat
키워드: #engineering #algorithms #training #python #synthesizing
파트: Analysis | 연도: 2024
Method of Data Processing System Synthesis for Heterogeneous Distributed Databases Based on Network-Centric Control
저자: Vadym Mukhin , Yaroslav Kornaga , Valerii Zavgorodnii , Yurii Bazaka , Anna Zavgorodnya , Oleg Mukhin
키워드: #computer #databases #forecasting #synthesizing #synthesis
파트: Databases | 연도: 2023