전 세계적인 도시화가 진행됨에 따라, 교통 인프라의 효율적인 관리가 교통 기관 및 도시 계획자들에게 매우 중요합니다. 이는 필수적입니다.

PDF는 인터넷에서 두 번째로 많이 사용되는 문서 유형이며(HTML 다음), 기존 QA 데이터셋은 일반적으로 텍스트 소스에서 시작하거나 특정 도메인만 다룹니다.

Segment Anything Model (SAM)과 같은 기반 세분화 모델은 대규모 사전학습을 통해 강력한 zero-shot 일반화를 보여주지만, 적응…

Polymer-based long-acting injectables (LAIs)는 controlled drug delivery를 가능하게 함으로써 만성 질환 치료에 혁신을 가져왔으며, 이에 따라 투여 빈도를 감소시켰다.

현대의 identity와 trust 시스템은 가장 필요로 하는 환경, 즉 disaster zones, 연결이 끊기거나 손상된 networks, 그리고 adversarial 상황에서 붕괴됩니다.

우리는 동시 프로그램의 serializability를 자동으로 검증하기 위한 SER 모델링 언어를 제시한다, 즉 프로그램의 모든 동시 실행이 …

기능 검증은 점점 더 Assertion-Based Verification (ABV)에 의존하고 있으며, 이는 그 효율성 때문에 하드웨어 설계를 검증하는 핵심 접근 방식이 되었습니다...

Convolutional Neural Networks (CNNs)는 원시 픽셀로부터 계층적 표현을 학습하는 능력 때문에 시각 인식에 대한 표준 접근 방식이다....

Instruction-based image editing은 생성 AI에서 가장 빠르게 발전하고 있는 분야 중 하나입니다. 지난 1년 동안 이 분야는 새로운 수준에 도달했으며, 수십 개의 op...

코드 커버리지 분석은 소프트웨어 개발에서 표준적인 접근 방식이 되었으며, 테스트 스위트의 효율성을 평가하고, 미확인된…

Autoregressive 대형 언어 모델은 많은 benchmarks에서 강력한 결과를 달성하지만, decoding은 여전히 sequential dependence 때문에 근본적으로 latency‑limited합니다.

Quantum computation은 본질적으로 하이브리드이며, 빠른 클래식 조작은 qubit operators의 효율적인 처리를 위해 필요하고, 이는 quantum software의 확장성을 보장한다. 우리는 …

Explainable AI (XAI) 방법인 SHAP와 LIME은 비전문가 사용자에게 접근하기 어려운 수치적 특징 기여도를 생성한다. 이전 연구에 따르면 L...

컴파일러는 소프트웨어의 성능과 올바른 실행을 위해 필수적이며 다양한 과학 분야 전반에 걸쳐 보편적인 중요성을 가지고 있습니다. 그럼에도 불구하고 ...

이 논문은 LLM 기반 워크플로우를 제시하여 Software Defined Vehicle (SDV) 소프트웨어 개발을 지원하며, 보안 인식 시스템 토폴로지를 포함한 측면들을 다룬다.

아랍어는 지역 방언이 풍부하게 얽혀 있어 phonetics와 lexicon에서 크게 차이가 나며, 이는 지리적 및 ...

우리는 인간 개발자와 AI 코딩 에이전트가 동일한 코드베이스에서 함께 작업하는 하이브리드 시대에 진입하고 있습니다. 산업 관행은 오랫동안 코드를 인간에게 최적화해 왔지만…

의료 기술이 지속적으로 발전함에도 불구하고, 전 세계 보건 의료 자원의 분배는 여전히 고르지 않다. large language models (LL...

신뢰도 추정은 대형 언어 모델(LLMs)에서 환각을 완화하기 위한 유망한 방향이지만, 현재 연구는 주로 단일…

SplitFed Learning (SFL)은 federated learning과 split learning을 결합하여 분산된 edge device들 간의 협업 훈련을 가능하게 합니다; 그러나, 이는 상당히…

Replication packages는 소프트웨어 공학(SE) 연구에서 투명성, 검증 및 재사용을 가능하게 하는 데 필수적입니다. Artifact sharing이 이제 표준이 된…

우리는 혼합 차원의 큐디트로 구성된 이종 레지스터에 양자 회로 절단을 확장한다. 비국소 상호작용을 텐서 곱으로 분해함으로써 ...

컴파일러는 코드를 실행으로 변환합니다. 이들은 고수준 프로그램을 실행 가능한 하드웨어 명령어로 변환하는데, 이는 신뢰할 수 있고 확장 가능한 …

Functional programming은 신뢰할 수 있고 안전한 software systems을 개발하기 위한 강력한 기반을 제공하지만, 그 채택은 가파른…