On Reduction and Synthesis of Petri's Cycloids
이 논문은 페트리의 사이클로이드를 위한 축소 시스템을 정의하고, 비가환 사이클로이드의 성질을 증명하며, 페트리 네트워크 구조에서 사이클로이드 매개변수를 합성하여 동형 판별을 위한 효율적인 결정 절차를 제시합니다.
💻 Category
cs
8107 편의 논문
Preserving Full Degradation Details for Blind Image Super-Resolution
이 논문은 저해상도 이미지를 재구성하는 과정을 통해 완전한 열화 정보를 인코딩하고, 분포 정렬 손실 함수와 열화 인식 Mamba 모듈을 도입하여 기존 방법의 한계를 극복하고 블라인드 이미지 초해상도 성능을 획기적으로 개선한 ReDSR 을 제안합니다.
Using LLM-Generated Draft Replies to Support Human Experts in Responding to Stakeholder Inquiries in Maritime Industry: A Real-World Case Study of Industrial AI
이 연구는 해운 산업에서 이해관계자 문의에 대한 답변 초안 작성에 LLM 을 활용하는 사례를 분석하여, 인간 전문가의 감독 하에 LLM 을 보조 도구로 활용할 경우 업무 효율성을 높일 수 있지만 안전과 정밀도가 요구되는 최종 결정은 여전히 인간이 내려야 함을 시사합니다.
4D Radar-Inertial Odometry based on Gaussian Modeling and Multi-Hypothesis Scan Matching
이 논문은 4D 레이더 스캔 데이터의 노이즈와 희소성 문제를 해결하기 위해 3D 가우시안 모델링과 다중 가설 스캔 매칭을 결합한 새로운 레이더-관성 오도메트리 시스템을 제안하고, 공개 데이터셋 실험을 통해 기존 기법 대비 우수한 정밀도와 강건성을 입증합니다.
Enhancing accuracy of uncertainty estimation in appearance-based gaze tracking with probabilistic evaluation and calibration
이 논문은 외관 기반 시선 추정의 불확실성 추정 정확도를 높이기 위해 확률론적 관점에서 엄격한 평가 지표를 제안하고, 훈련 데이터의 편향을 완화하기 위해 확률 보정 기반의 교정 전략을 도입하여 두 가지 데이터셋에서 그 유효성을 입증했습니다.
I Know What You Did Last Summer: Identifying VR User Activity Through VR Network Traffic
이 논문은 메타 퀘스트 프로 헤드셋에서 수집한 네트워크 트래픽 데이터를 기반으로 머신러닝 모델을 활용해 VR 애플리케이션과 사용자의 활동을 각각 92.4% 및 91% 의 정확도로 식별할 수 있음을 보여줍니다.
Classifier or Prompt: A Case Study on Legal Requirements Traceability
이 논문은 법적 요구사항 추적성 문제를 해결하기 위해 제안한 분류기 (Kashif) 와 프롬프트 기반 접근법 (RICE_LRT) 이 기존 기법들을 크게 능가하며, 특히 법적 맥락에서는 문맥에 특화된 솔루션이 필수적임을 실증적으로 입증했습니다.
SegAnyPET: Universal Promptable Segmentation from Positron Emission Tomography Images
이 논문은 5,731 개의 3D 전신 PET 이미지를 포함한 대규모 데이터셋 PETS-5k 를 구축하고, 불완전한 주석 데이터를 효과적으로 학습하기 위한 CPCL 전략을 적용하여 PET 영상의 범용 프롬프트 기반 분할을 가능하게 하는 새로운 3D 파운데이션 모델 'SegAnyPET'을 제안합니다.
A Probabilistic Choreography Language for PRISM
이 논문은 PRISM 모델 체커를 기반으로 한 확률적 조로그래피 언어를 제안하고, 이를 PRISM 언어로 정형적으로 인코딩하여 컴파일러를 구현함으로써 PRISM 웹사이트에 소개된 사례들을 통해 시스템의 상호작용 분석 및 신뢰성 향상을 가능하게 함을 보여줍니다.
InvAD: Inversion-based Reconstruction-Free Anomaly Detection with Diffusion Models
이 논문은 기존 확산 모델 기반 이상 탐지 방법의 재구성 비용과 효율성 문제를 해결하기 위해, 잠재 공간에서의 역전환을 통해 명시적 재구성을 거치지 않고 이상을 탐지하는 'InvAD'를 제안하여 재구성 없이도 최첨단 성능과 2 배의 추론 속도 향상을 달성함을 보여줍니다.
Simpler Universally Optimal Dijkstra
이 논문은 '타임스탬프 최적성 (timestamp optimality)'이라는 새로운 힙 속성을 도입하여, Haeupler 등 [FOCS '24] 의 복잡한 증명을 훨씬 간결하게 재구성하고 그래프 토폴로지에 따라 최적의 성능을 보장하는 보편적 최적 다익스트라 알고리즘의 구현을 단순화했습니다.
Deterministic Distributed DFS and Other Problems via Cycle Separators in Planar Graphs
이 논문은 평면 그래프에서 라운드 내에 사이클 분할자를 재귀적으로 계산하는 첫 번째 결정론적 분산 알고리즘을 제시하여, 이를 통해 DFS 트리 및 최대 유량 등 다양한 평면 그래프 문제를 결정론적으로 해결할 수 있음을 보여줍니다.
Whleaper: A 10-DOF Flexible Bipedal Wheeled Robot
이 논문은 인간과 유사한 3 자유도 힙 조인트를 갖춘 10 자유도 유연한 이족 바퀴 로봇 'Whleaper'의 기계적 설계, 제어 알고리즘 및 시스템 구현을 소개하며, 이를 통해 복잡한 환경에서의 안정성과 기동성을 크게 향상시켰음을 보여줍니다.
Image Segmentation via Variational Model Based Tailored UNet: A Deep Variational Framework
이 논문은 수학적 해석 가능성과 자동 특징 추출의 장점을 결합하여 정밀한 경계 분할을 가능하게 하는 변분 모델 기반 맞춤형 UNet(VM_TUNet) 프레임워크를 제안합니다.
Efficient Graph Embedding at Scale: Optimizing CPU-GPU-SSD Integration
이 논문은 CPU, GPU, NVMe SSD 자원을 통합하여 대규모 그래프 임베딩의 메모리 한계와 I/O 병목 문제를 해결하고, 기존 시스템 대비 최대 4.8 배의 속도 향상과 GPU 사용량 4 분의 1 절감을 달성한 경량 이종 시스템 'Legend'를 제안합니다.
A large-scale analysis of public-facing, community-built chatbots on Character.AI
이 논문은 200 만 명 이상의 활성 사용자를 보유한 Character.AI 플랫폼에서 생성된 210 만 개의 영어 인사말 데이터를 분석하여, 팬덤의 분포와 보편적 트로프, 그리고 인사말에 나타난 권력과 성별의 교차 관계를 탐구함으로써 생성형 AI 와 사용자 생성 콘텐츠가 만나는 독특한 온라인 (준) 사회적 상호작용의 양상을 규명합니다.
{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
이 논문은 집합과 이진 관계를 1 등 시민으로 다루는 제약 논리 프로그래밍 언어 {log}가 상태 기계 기반의 명세 언어, 실행 환경, 검증 조건 생성기, 자동 검증 및 테스트 케이스 생성 기능을 갖춘 통합된 형식 검증 도구로 발전한 과정을 종합적으로 소개합니다.
The Coherence Trap: When MLLM-Crafted Narratives Exploit Manipulated Visual Contexts
이 논문은 MLLM 이 생성한 조작된 이미지와 일관된 허위 텍스트로 구성된 새로운 데이터셋 (MDSM) 과 이를 탐지하기 위한 AMD 프레임워크를 제안하여, 기존 방법론이 간과했던 MLLM 기반의 정교한 멀티모달 허위정보를 효과적으로 식별하는 것을 목표로 합니다.
TextFlux: An OCR-Free DiT Model for High-Fidelity Multilingual Scene Text Synthesis
이 논문은 OCR 인코더 없이도 소량의 데이터로 다국어 고화질 장면 텍스트 생성이 가능한 새로운 DiT 기반 모델인 TextFlux 를 제안하며, 복잡한 보조 모듈 없이도 뛰어난 다국어 확장성과 제어 가능한 멀티라인 생성 능력을 입증합니다.
CreatiDesign: A Unified Multi-Conditional Diffusion Transformer for Creative Graphic Design
이 논문은 이질적인 다중 조건 (이미지, 레이아웃, 텍스트 등) 을 정밀하게 통합하여 복잡한 그래픽 디자인 의도를 충실히 반영하는 통합형 멀티컨디셔널 확산 트랜스포머 'CreatiDesign'과 이를 위한 대규모 데이터셋 및 벤치마크를 제안합니다.