Computer Science

'Computer Science' 태그의 모든 글

총 275개의 글
시간순 정렬
에셔버스 물리·동역학·의도 기반 텔레오스페이셜 인텔리전스 오픈월드 벤치마크

에셔버스 물리·동역학·의도 기반 텔레오스페이셜 인텔리전스 오픈월드 벤치마크

본 논문은 인공지능·로보틱스 분야에서 최근 주목받고 있는 “텔레오‑스페이셜 인텔리전스(TSI)”라는 새로운 개념을 제시한다. 기존의 대부분 연구는 물체‑중심(object‑centric) 접근을 취해, 물리‑동역학(Physical‑Dynamic) 모델링에 집중한다. 예컨대, 물체의 질량·마찰·충돌 법칙을 이용해 시뮬레이션하거나, 비전 기반 트래킹을 통해 움직임을 예측한다. 이러한 방법은 정량적 정확도에서는 뛰어나지만, 인간이 물체를 조작하거나 배치하는 근본적인 ‘의도’를 파악하지 못한다는 한계가 있다. TSI는 이러한 한계를 극복하기

Computer Vision Computer Science Data
테스트 시점 학습 기반 고적응 레이더 에코 외삽 REE TTT

테스트 시점 학습 기반 고적응 레이더 에코 외삽 REE TTT

본 논문은 레이더 에코 외삽(Radar Echo Extrapolation, REE) 분야에서 가장 시급한 문제인 도메인 전이와 데이터 분포 변화 에 대한 해결책을 제시한다. 기존의 딥러닝 기반 REE 모델은 대규모 레이더 시퀀스를 학습해 단기 강수 예보를 수행하지만, 학습 단계에서 사용된 지역·시즌·기후 조건에 강하게 의존한다. 따라서 새로운 지역이나 극한 강수 상황에 적용하면 성능이 급격히 저하되는 것이 일반적이다. 1. 핵심 아이디어와 기여 테스트‑시점 학습(Test‑Time Training, TTT) 적용 : 모델 파라미터를

Computer Science Machine Learning
RovoDev 코드 리뷰어: Atlassian에서 실현한 LLM 기반 코드 검토 자동화의 혁신

RovoDev 코드 리뷰어: Atlassian에서 실현한 LLM 기반 코드 검토 자동화의 혁신

RovoDev 코드 리뷰어는 LLM 기반의 코드 검토 자동화 도구로서, 현대 소프트웨어 개발 프로세스에서 중요한 역할을 수행한다. 이 논문은 RovoDev이 어떻게 데이터 프라이버시와 보안 문제를 해결하고, 리뷰 가이드라인에 따른 정확한 코드 검토를 제공하며, 새로운 프로젝트에서도 효과적으로 작동하는지 설명한다. 기술적 혁신성: RovoDev의 핵심 기술은 제로샷 컨텍스트 인식 리뷰 댓글 생성, 사실적 정확성 품질 검사, 그리고 행동성 품질 검사를 통한 유효하고 행동 가능한 리뷰 댓글 추천이다. 이 중 특히 제로샷 접근 방식은 고객

Computer Science Software Engineering
No Image

객체 중심 학습의 혁신: CODA로 구현되는 정확하고 유연한 객체 표현

본 논문은 객체 중심 학습(Object centric Learning, OCL) 분야에서 중요한 기술적 혁신을 제시하고 있습니다. CODA(Contrastive Object centric Diffusion Alignment)는 사전 학습된 디퓨전 모델을 활용하여 슬롯 엮임과 약한 정렬이라는 주요 도전 과제를 해결하는 새로운 접근 방식입니다. 기술적 혁신성: 1. 등록 슬롯(Register Slots): 등록 슬롯은 독립적인 입력 데이터로 추가되어 잔여 주의를 흡수하고 객체 슬롯 간의 간섭을 줄이는 역할을 합니다. 이는 슬롯 엮임 문

Computer Science Learning Computer Vision
대형 언어 모델의 실행 안정성: 코드 생성에서 메모리 동역학 분석

대형 언어 모델의 실행 안정성: 코드 생성에서 메모리 동역학 분석

이 논문은 대형 언어 모델(LLM)에서 생성된 코드의 실행 안정성에 중점을 두고, 특히 메모리 동역학 측면에서 그 중요성을 강조한다. 기존 연구에서는 주로 LLM의 출력 정확도와 다양성에 초점을 맞추었지만, 이 논문은 이러한 정확한 결과가 반드시 실행 시간 메모리 프로파일링에서도 안정적인 성능을 보장하지 않는다는 점을 지적한다. 논문에서 제시된 주요 기여 중 하나는 Monotonic Peak Profile (MPP) 와 Dynamic Time Warping (DTW) 를 활용한 실행 시간 메모리 프로파일링 방법이다. 이 방법은 애플

Computer Science Software Engineering
No Image

CoCo‑Fed 메모리·통신 효율을 동시에 잡는 통합 연합 학습 프레임워크

CoCo‑Fed가 제시하는 두 가지 핵심 혁신은 ‘이중 차원 다운프로젝션’과 ‘직교 부분공간 초중첩 전송’이다. 첫 번째 단계에서는 기존 연합 학습에서 각 gNB가 전체 모델 파라미터에 대한 그래디언트를 저장·전송해야 하는 문제를 해결한다. 저자들은 그래디언트를 먼저 채널 차원(예: 입력 피처)과 모델 차원(예: 출력 피처) 두 축에서 각각 저‑랭크 행렬로 근사한다. 이때 사용되는 투사 행렬은 사전에 학습된 고정 정규 직교 행렬이거나, 각 라운드마다 랜덤하게 생성된 스케치 행렬일 수 있다. 이렇게 하면 메모리 요구량이 O(rank·

Computer Science Learning Information Theory Framework
No Image

LLM 에이전트를 활용한 투자 포트폴리오 최적화: 복잡한 조합 문제 해결의 새로운 패러다임

본 논문은 언어 모델(LLM)을 활용한 에이전트 프레임워크를 통해 복잡한 조합 최적화 문제에 새로운 접근 방식을 제시하고 있습니다. 이 연구의 핵심 가치는 다음과 같은 기술적 혁신성, 방법론, 실험 결과를 통해 분석할 수 있습니다. 1. 기술적 혁신성: 본 논문은 LLM을 활용한 에이전트 프레임워크를 제시함으로써, 기존의 학문적인 최적화 접근법에서 벗어나 실제 생활 문제에 초점을 맞추고 있습니다. 특히, NPhard한 조합 최적화 문제 해결에 있어 LLM을 활용하는 것은 이전 연구에서는 찾아보기 어려운 혁신적인 시도입니다. MOCO

Computer Science Computational Engineering
데이터 변동 상황에서 병리 비전‑언어 모델 성능 저하 탐지

데이터 변동 상황에서 병리 비전‑언어 모델 성능 저하 탐지

본 논문은 최근 의료 영상 분야에서 각광받고 있는 비전‑언어 모델(VLM)의 실제 운영 단계에서 발생할 수 있는 ‘데이터 시프트(data shift)’ 문제에 초점을 맞추었다. 데이터 시프트는 크게 두 가지 차원으로 나뉜다. 첫 번째는 입력 데이터 자체가 훈련 시와 다른 분포를 보이는 경우이며, 두 번째는 모델이 출력하는 예측값이나 신뢰도(confidence)가 변하는 경우이다. 기존 연구들은 주로 입력 차원의 통계적 변화를 탐지하는 방법에 의존했지만, 이러한 변동이 반드시 모델 성능 저하와 직결되지 않는다는 점을 간과하고 있었다.

Computer Science Model Data Computer Vision
선거 소셜 미디어 설득 시뮬레이션 프레임워크 ElecTwit

선거 소셜 미디어 설득 시뮬레이션 프레임워크 ElecTwit

ElecTwit이 제시하는 가장 큰 혁신은 설득 연구를 위한 실험 환경을 ‘게임’이라는 인위적 설정에서 벗어나 실제 소셜 미디어 플랫폼의 구조와 행태를 모사한 점이다. 이를 위해 저자들은 트위터와 유사한 게시·리트윗·팔로우 메커니즘을 구현하고, 정치적 선거라는 구체적 시나리오를 설정함으로써 에이전트 간의 정보 흐름, 의견 형성, 그리고 설득 전략의 전개 과정을 정밀하게 관찰할 수 있었다. 특히 25가지 설득 기법을 사전 정의하고, 각 LLM이 이를 어떻게 선택·조합하는지를 정량화한 방법론은 설득 기술의 ‘레시피’를 비교 분석하는 데

Computer Science Artificial Intelligence Framework System
온라인 전파 최대화를 위한 지연 전방 선택 알고리즘

온라인 전파 최대화를 위한 지연 전방 선택 알고리즘

본 논문이 다루는 온라인 영향력 최대화(Online Influence Maximization, OIM) 문제는 전통적인 정적 IM과 달리 시간에 따라 시드 집합을 동적으로 선택해야 하는 상황을 전제로 한다. 여기서 ‘전체 밴딧(full‑bandit) 피드백’이라는 가정은 에이전트가 매 라운드마다 선택한 시드 집합에 의해 실제로 발생한 확산 규모(즉, 전체 활성화된 노드 수)만을 관찰한다는 의미이며, 이는 각 노드별 활성화 여부나 네트워크의 인접 행렬 등 추가적인 구조적 정보를 전혀 제공하지 않는다. 이러한 제한된 피드백 환경에서는

Machine Learning Computer Science
LLM 기반 코드 취약점 탐지를 위한 실증 평가 RAG SFT 듀얼 에이전트 시스템

LLM 기반 코드 취약점 탐지를 위한 실증 평가 RAG SFT 듀얼 에이전트 시스템

본 연구는 LLM을 활용한 코드 취약점 탐지의 실용성을 정량적으로 평가하기 위해 세 가지 접근법을 체계적으로 비교하였다. 첫 번째 접근법인 Retrieval‑Augmented Generation(RAG)은 사전 학습된 LLM에 외부 지식 베이스를 동적으로 연결한다. 구체적으로, MITRE CWE 데이터베이스와 최신 웹 검색 결과를 실시간으로 가져와 프롬프트에 삽입함으로써 모델이 코드 조각을 해석할 때 최신 보안 패턴과 CWE 정의를 참조하도록 설계되었다. 이 과정은 벡터 검색 엔진(FAISS)과 텍스트 임베딩을 활용해 관련 문서를

System Computer Science Software Engineering Detection
LLM으로 라벨링된 룩셈부르크어 NER 품질 평가

LLM으로 라벨링된 룩셈부르크어 NER 품질 평가

judgeWEL 논문은 저자원 언어인 룩셈부르크어에 대한 NER 데이터 구축이라는 실질적인 문제에 대해 창의적인 해결책을 제시한다. 가장 큰 강점은 두 가지 측면에서 약한 감독을 활용한다는 점이다. 첫째, 위키피디아 내부 링크와 위키데이터의 구조화된 메타데이터를 연결함으로써 엔터티 유형을 자동으로 추론한다는 아이디어는 기존의 규칙 기반 혹은 사전 매핑 방식보다 확장성이 뛰어나다. 위키피디아는 지속적으로 업데이트되며 다양한 도메인을 포괄하므로, 이 접근법은 새로운 엔터티가 등장해도 비교적 쉽게 반영될 수 있다. 둘째, 자동 라벨링 단

Computer Science NLP Data
구체 위에 원을 그리는 신경망, 확실히 포도 따기

구체 위에 원을 그리는 신경망, 확실히 포도 따기

본 연구는 현재 인공지능 추론 분야에서 가장 논쟁이 되는 세 가지 접근법을 체계적으로 비교함으로써, “신뢰성”이라는 관점에서 중요한 통찰을 제공한다. 첫 번째 범주인 대규모 언어 모델(LLM) 기반 추론은 방대한 텍스트 코퍼스를 사전 학습함으로써 언어적 유연성을 얻지만, 논리적 일관성 유지와 같은 엄격한 판단에서는 여전히 불안정한 결과를 보인다. 이는 LLM이 통계적 패턴에 기반한 예측을 수행하기 때문에, 명시적인 논리 규칙을 내재화하지 못한다는 근본적인 한계와 연결된다. 두 번째인 감독 학습 기반 추론은 특정 논리 과제에 대해 라

Network Computer Science Artificial Intelligence
디바이스 기반 자율 에이전트를 통한 프라이버시 보호 협상

디바이스 기반 자율 에이전트를 통한 프라이버시 보호 협상

본 논문은 기존 클라우드‑중심 협상 플랫폼이 갖는 “데이터 중앙집중 → 보안 위협 → 사용자 신뢰 저하”라는 구조적 문제를 근본적으로 재구성한다는 점에서 학술적·산업적 의의를 가진다. 첫 번째로, 디바이스‑네이티브( device‑native ) 아키텍처는 모든 협상 로직과 제약 조건을 사용자의 로컬 환경에 격리함으로써 데이터 탈취 위험을 최소화한다. 이는 특히 GDPR·CCPA 등 데이터 주권 규제가 강화되는 현재 상황에서 법적·규제적 컴플라이언스를 자연스럽게 충족한다는 장점이 있다. 두 번째로, 제로 지식 증명(zero‑knowl

Computer Science Cryptography and Security
AdaGReS 토큰 예산을 고려한 중복 인식 적응형 컨텍스트 선택

AdaGReS 토큰 예산을 고려한 중복 인식 적응형 컨텍스트 선택

AdaGReS 논문은 현재 RAG 시스템이 직면한 두 가지 핵심 문제—토큰 예산의 제한과 컨텍스트 중복—를 동시에 해결하려는 시도로 눈에 띈다. 전통적인 top‑k 검색은 단순히 점수 순으로 청크를 선택하기 때문에, 의미적으로 거의 동일한 문장이 여러 번 포함될 경우 불필요한 토큰을 소모한다. 이는 특히 제한된 컨텍스트 길이를 갖는 대형 언어 모델(Large Language Model, LLM)에서 심각한 성능 저하 요인으로 작용한다. AdaGReS는 이를 극복하기 위해 “관련도‑중복 복합 목표 함수”를 정의한다. 목표 함수는 (1

Computer Science NLP
AI 기반 다중 클러스터 클라우드 자원 최적화 프레임워크

AI 기반 다중 클러스터 클라우드 자원 최적화 프레임워크

이 논문이 다루는 문제는 다중 클러스터 환경에서 발생하는 전통적인 자원 관리의 한계이다. 현재 대부분의 클라우드 운영자는 각 클러스터를 독립적인 관리 단위로 보고, 스케일링이나 리소스 재배치를 워크로드 변화에 따라 즉각적으로 반응하는 방식으로 수행한다. 이러한 클러스터‑중심적 접근은 전역적인 시야를 결여하게 만들며, 특히 지리적으로 분산된 데이터센터 간에 부하가 불균형하게 전파될 경우 전체 시스템의 비용 효율성과 서비스 수준이 크게 저하된다. 논문은 이를 해결하기 위해 세 가지 핵심 요소를 결합한 AI‑기반 프레임워크를 제시한다.

Computer Science Distributed Computing
LeanCat 카테고리 이론 벤치마크 1범주 형식화

LeanCat 카테고리 이론 벤치마크 1범주 형식화

이 논문은 형식화된 수학 연구에 있어 “구조적 추론”이라는 핵심 과제를 명확히 제시한다는 점에서 의미가 크다. 기존의 정리 증명 벤치마크는 주로 구체적인 계산이나 전통적인 위상·대수적 명제에 초점을 맞추어 왔으며, 라이브러리(예: Mathlib)와의 상호작용을 최소화했다. 그러나 현대 수학은 범주론과 같은 고차 구조를 통해 다양한 분야를 연결하고, 이러한 구조는 정의, 함자, 자연 변환 등 복합적인 인터페이스를 요구한다. 따라서 LLM이 실제 연구자 수준의 능력을 보이려면 단순히 “정리를 증명”하는 것을 넘어, 라이브러리 안에서 적

Computer Science Logic
No Image

LLM은 스스로의 한계를 알까

이 논문은 “메타‑인지”라는 관점에서 LLM의 자기 평가 능력을 체계적으로 검증한다는 점에서 의미가 크다. 먼저 연구진은 “성공 예측”이라는 이진 판단을 통해 모델이 자신의 한계를 얼마나 정확히 인식하는지를 측정하였다. 여기서 사용된 평가지표는 단순 정확도뿐 아니라 ROC‑AUC와 같은 구별력 지표이며, 이는 모델이 과신(over‑confidence)과 과소신(under‑confidence) 사이에서 어느 정도 균형을 잡는지를 보여준다. 결과는 대부분의 최신 LLM이 높은 확신을 보이지만, 무작위보다 높은 AUC를 기록한다는 점이다

Computer Science NLP Model
R Debater 검색 기반 논쟁 생성과 논증 메모리 활용

R Debater 검색 기반 논쟁 생성과 논증 메모리 활용

R‑Debater는 “논증 메모리”라는 개념을 토론 생성에 적용함으로써 기존 LLM 기반 토론 시스템이 갖는 몇 가지 근본적인 한계를 극복한다. 첫째, 일반적인 LLM은 대규모 사전학습을 통해 풍부한 언어 능력을 보유하지만, 특정 주장이나 증거를 일관되게 인용하는 능력은 제한적이다. 이는 특히 다중 턴 토론에서 ‘입장 일관성’과 ‘증거 기반 주장’이 요구될 때, 모델이 앞선 발언을 망각하거나 부정확한 정보를 삽입하는 오류를 초래한다. R‑Debater는 별도의 토론 지식베이스를 구축해 사례‑형 증거와 과거 토론 전개를 인덱싱하고,

Computer Science NLP
반사실 자기질문을 통한 언어 모델 정책 최적화 안정화

반사실 자기질문을 통한 언어 모델 정책 최적화 안정화

본 논문이 제시하는 Counterfactual Self‑Questioning(CSQ)은 기존 자기 개선 메커니즘이 안고 있던 “외부 의존성”이라는 근본적인 문제를 근본적으로 해결한다는 점에서 학술적·실용적 의미가 크다. 먼저, CSQ는 하나의 언어 모델이 스스로 “왜 이 추론이 틀렸는가”를 탐색하도록 설계된 세 단계 파이프라인을 도입한다. 초기 롤아웃 단계에서 모델은 일반적인 chain‑of‑thought 방식으로 문제를 해결하고, 그 과정에서 생성된 중간 단계와 최종 답안을 그대로 보관한다. 이어지는 자기질문 단계에서는 모델이 “

Computer Science Artificial Intelligence Model
압축 기법이 자연 손상 상황에서 CNN 견고성에 미치는 영향 평가

압축 기법이 자연 손상 상황에서 CNN 견고성에 미치는 영향 평가

본 연구는 모델 압축이 CNN의 견고성에 미치는 영향을 체계적으로 규명하기 위해 세 가지 대표적인 압축 기법—양자화(Quantization), 프루닝(Pruning), 가중치 클러스터링(Weight Clustering)—을 선택하였다. 각각의 기법은 메모리 사용량과 연산량을 감소시키는 메커니즘은 유사하지만, 파라미터 분포와 활성화 패턴에 미치는 영향이 다르다. 양자화는 가중치를 낮은 비트 폭으로 표현함으로써 연산 정밀도를 낮추지만, 정규화된 레이어에서는 오차가 부분적으로 상쇄되는 경향이 있다. 프루닝은 중요도가 낮은 채널이나 필터를

Computer Science Computer Vision
이미지 기반 추론 시스템을 통한 재활용 가능성 평가 맥락 지능의 최신 동향

이미지 기반 추론 시스템을 통한 재활용 가능성 평가 맥락 지능의 최신 동향

본 논문은 재활용 실천을 지원하기 위한 인공지능 기반 도구의 가능성을 탐색한다는 점에서 사회적·환경적 의미가 크다. 연구진은 먼저 재활용 대상 물품을 다양한 각도와 조명 조건에서 촬영한 이미지와, 각 물품이 속해야 할 재활용통(플라스틱, 금속, 종이 등) 및 물리적 치수 정보를 포함한 메타데이터를 결합한 데이터셋을 구축하였다. 데이터셋은 5,000여 장의 이미지와 1,200개의 다중 재질 사례를 포함해, 실제 가정에서 마주치는 복합 상황을 충분히 반영한다. 모델 평가에서는 두 단계의 질문을 제시한다. 첫 번째는 “이 물건은 어느 재

System Computer Vision Computer Science
효율적인 계층적 계획과 다목표 선호 정렬을 통한 슬레이트 추천 모델 HiGR

효율적인 계층적 계획과 다목표 선호 정렬을 통한 슬레이트 추천 모델 HiGR

HiGR 논문은 슬레이트 추천이라는 복합적인 문제를 두 가지 핵심 차원에서 혁신적으로 접근한다. 첫 번째는 아이템 토크나이제이션 단계이다. 기존의 자동회귀 기반 모델은 아이템을 단순히 고유 번호 혹은 임베딩 벡터로 변환한 뒤 순차적으로 예측한다. 이 경우 아이템 간 의미적 연관성이 토큰 수준에서 충분히 반영되지 않아, “음악‑팝”과 “음악‑재즈”와 같은 유사 아이템이 서로 다른 토큰으로 취급돼 모델이 불필요한 혼동을 겪는다. HiGR은 잔차 양자화(residual quantization)와 대비 학습(contrastive learn

Computer Science Information Retrieval
흐름을 타라 에이전트 제작과 록앤롤 그리고 오픈 에이전트 학습 생태계 내 ROME 모델 구축

흐름을 타라 에이전트 제작과 록앤롤 그리고 오픈 에이전트 학습 생태계 내 ROME 모델 구축

본 논문은 “에이전트 제작(agentic crafting)”이라는 개념을 기존의 일회성 텍스트 생성과 구별하여, 실제 세계에서 다중 턴을 거쳐 행동하고 그 결과를 관찰·피드백하는 반복적 프로세스로 정의한다. 이는 단순히 코드를 자동 생성하는 수준을 넘어, 복합적인 툴 체인과 언어 기반 워크플로 전반에 걸쳐 모델이 계획·실행·모니터링·수정까지 전 과정을 담당해야 함을 의미한다. 이러한 요구를 충족하려면 모델 자체뿐 아니라, 모델이 작동할 환경, 데이터 파이프라인, 학습·배포 인프라가 모두 유기적으로 연결된 ‘에이전트 학습 생태계(AL

Model Artificial Intelligence System Computer Science Learning
고성능 머신러닝 스트림 컴퓨팅을 위한 데이터플로우 프레임워크

고성능 머신러닝 스트림 컴퓨팅을 위한 데이터플로우 프레임워크

본 논문은 데이터 과학 실무에서 가장 빈번히 마주치는 ‘데이터는 유한하고 완전하다’는 가정을 근본적으로 뒤흔든다. 전통적인 배치 기반 워크플로우는 고정된 데이터셋을 한 번에 메모리로 로드하거나 단일 패스로 처리한다는 전제하에 설계되었으며, 이는 센서 스트림, 금융 거래 로그, 시스템 이벤트와 같이 시간에 따라 지속적으로 생성되는 데이터와는 근본적으로 맞지 않는다. 저자는 이러한 불일치를 해결하기 위해 Causify DataFlow라는 통합 컴퓨테이셔널 모델을 제안한다. 첫째, 프레임워크는 DAG를 선언적으로 정의하고, 동일한 정의를

Framework Machine Learning Computer Science Learning Data
시간 그래프 어텐션과 계층적 융합을 활용한 UGV 혼잡 환경 내 내비게이션

시간 그래프 어텐션과 계층적 융합을 활용한 UGV 혼잡 환경 내 내비게이션

본 논문은 복잡한 인간·로봇 혼재 환경에서 UGV가 실시간으로 안전하고 효율적으로 이동하기 위해 필요한 두 가지 핵심 요소, 즉 ‘시간적 연속성’과 ‘다중 센서 융합’을 동시에 만족시키는 새로운 DRL 기반 아키텍처를 제시한다. 기존 DRL 기반 내비게이션 연구들은 주로 현재 시점의 RGB 이미지 혹은 LiDAR 포인트 클라우드와 같은 단일 프레임 데이터를 입력으로 사용하고, 여러 모달리티를 결합할 때는 단순히 벡터를 이어 붙이는(concatenation) 방식을 채택한다. 이러한 설계는 (1) 과거 프레임에서 관찰된 움직이는 장애

Computer Science Robotics
에이전트 기반 추천 시스템에서 KYC 활용 비교 분석

에이전트 기반 추천 시스템에서 KYC 활용 비교 분석

본 논문은 KYC 데이터를 에이전트형 인공지능(AI)과 결합함으로써 개인화 추천의 정확도와 신뢰성을 동시에 향상시키는 새로운 패러다임을 제시한다. 먼저, KYC는 전통적으로 금융 기관이 고객의 신원·거래 위험을 평가하기 위해 수집하는 정형·비정형 데이터 집합이며, 개인정보 보호와 규제 준수 측면에서 높은 민감성을 가진다. 이러한 데이터를 추천 시스템에 직접 투입하면 사용자의 신용도·소득 수준·거래 패턴 등을 기반으로 맞춤형 콘텐츠를 제공할 수 있어, 특히 광고(Ad)와 기술(Tech) 분야에서 전환율을 크게 끌어올릴 가능성이 있다.

Computer Science Analysis Information Retrieval System
No Image

하이퍼그래프 기반 메모리를 활용한 다단계 RAG의 장기 컨텍스트 복합 관계 모델링 향상

본 논문은 다단계 RAG 시스템에서 메모리의 역할을 근본적으로 재정의한다는 점에서 학술적·실용적 의의가 크다. 기존 연구들은 메모리를 “수동적 저장소”로 간주하고, 검색된 텍스트 조각들을 단순히 압축하거나 순차적으로 연결하는 방식에 머물렀다. 이러한 접근은 개별 사실을 나열하는 수준에 그치며, 사실 간의 복합적 관계—예를 들어, 인과관계, 공통 원인, 상호 보완적 증거 등—를 포착하지 못한다. 결과적으로 장기 문맥에서 여러 단계에 걸친 추론이 단절되고, 전역적 의미망을 형성하는 데 한계가 발생한다. HGMEM은 이러한 문제를 해결하

Computer Science NLP Model
PathFound 증거 탐색형 병리 진단을 위한 에이전트형 멀티모달 모델

PathFound 증거 탐색형 병리 진단을 위한 에이전트형 멀티모달 모델

PathFound 논문은 기존 병리학 인공지능 모델이 갖는 ‘한 번에 전체 슬라이드 처리’라는 한계를 명확히 지적하고, 실제 병리학자의 진단 과정과 유사한 증거‑중심적 순환 프로세스 를 도입함으로써 새로운 연구 방향을 제시한다. 먼저, 모델 아키텍처는 세 가지 핵심 모듈로 구성된다. ① 시각 기반 파운데이션 모델 은 대용량 디지털 슬라이드에서 고해상도 특징을 추출하고, ② 비전‑언어 모델(VLM) 은 이미지 특징을 텍스트 형태의 임상 질문이나 설명과 연결한다. ③ 강화학습(RL) 기반 추론 에이전트 는 현재 진단 가설을 평가하고,

Computer Science Model Computer Vision
PathoSyn 해부학 기반 병변 편차 확산 MRI 합성

PathoSyn 해부학 기반 병변 편차 확산 MRI 합성

PathoSyn 논문은 MRI 합성 분야에서 기존 접근법이 안고 있던 두 가지 핵심 한계를 체계적으로 해결한다는 점에서 학술적·실용적 의의를 가진다. 첫 번째 한계는 “전역 픽셀‑레벨” 생성 모델이 해부학적 구조를 충분히 보존하지 못한다는 점이다. GAN‑기반 혹은 전체 확산 모델은 이미지 전체를 한 번에 샘플링하기 때문에, 병변과 정상 조직 사이의 미세한 경계가 흐려지거나 비현실적인 형태로 변형될 위험이 있다. 두 번째 한계는 “이진 마스크 기반” 조건부 생성이 병변 영역을 지나치게 단순화한다는 점이다. 마스크는 병변의 위치와 대

Computer Science Computer Vision
벤치마크는 성공 임상은 실패 강화학습이 환자보다 지표에 최적화될 때

벤치마크는 성공 임상은 실패 강화학습이 환자보다 지표에 최적화될 때

본 논문은 의료 영상 분야에서 최근 각광받고 있는 강화학습(RL) 기반 파인튜닝이 실제 임상 적용에 어떤 함의를 갖는지 심도 있게 탐구한다. 먼저 저자들은 “R1‑style”이라 명명한 두 단계 학습 파이프라인을 제시한다. 첫 단계는 비교적 적은 양(2,000개)의 라벨링된 이미지‑텍스트 쌍을 이용한 지도학습(Supervised Fine‑Tuning, SFT)이며, 두 번째 단계는 1,000개의 RL 샘플을 활용해 GRPO(Goal‑oriented Reward‑based Policy Optimization)라는 정책 최적화 기법을

Computer Science Artificial Intelligence Learning
위성 데이터 처리의 혁신: 회전 모드에서의 SPIPI 알고리즘

위성 데이터 처리의 혁신: 회전 모드에서의 SPIPI 알고리즘

본 논문은 현대 위성 실험의 복잡성을 고려한 데이터 처리 시스템 개발 방법론에 초점을 맞추고 있다. 특히, 회전 모드에서의 데이터 처리를 위한 SPIPI 알고리즘을 제안하고, 이를 통해 위성 기반 실험에서 발생하는 다양한 자원 관련 제약 조건을 해결하려는 의도가 명확히 드러난다. 1. 시스템 개요 및 문제 인식 현대 위성 실험은 비행 및 지상 세그먼트로 구성된 복잡한 실시간 시스템으로, 크기, 무게, 전력 소비, 실시간 응답 요구사항, 고장 내성 등의 자원 관련 제약 조건을 가진다. 이러한 시스템은 높은 수준의 보증이 필요하며, 하

Software Engineering System Data Computer Science Astrophysics
No Image

양자 컴퓨팅 시대의 암호학: t 다중 이산 로그 문제 탐구

본 논문은 양자 컴퓨팅의 발전과 함께 암호학에서 중요한 역할을 하는 이산 로그 문제와 t 다중 이산 로그 문제(t MDLP)를 탐구하고 있습니다. 특히, 쇼어의 알고리즘과 그로버의 검색 알고리즘이 양자 컴퓨팅 환경에서 공개 키 암호화에 대한 위협으로 작용할 수 있다는 점을 강조합니다. 1. 이산 로그 문제와 t MDLP 이산 로그 문제는 순환 그룹 G의 원소 α와 β가 주어졌을 때, α^x β를 만족하는 x 값을 찾는 문제입니다. 이 문제는 고전적 컴퓨팅 환경에서 하위 지수 시간 알고리즘으로 해결되지만, 쇼어의 양자 알고리즘은 이를

Computer Science Mathematics Information Theory Cryptography and Security
No Image

지배 기반 거친 집합 접근법의 새로운 패러다임: 클래스별 근사화

이 논문은 다중 기준 의사결정 분석(MCDA)과 지배 기반 거친 집합 접근법(DRSA)을 중심으로, 고전적인 거친 집합 접근법(CRSA)의 한계와 DRSA의 장점을 탐구한다. MCDA는 다양한 기준에 따라 평가된 객체들 중에서 최적의 결정을 내리는 데 사용되며, 이 논문은 이를 위한 효과적인 수학적 도구로서 CRSA와 DRSA를 비교하고 분석한다. CRSA는 불분명성 관계를 통해 지식 거칠기를 구축하는 반면, DRSA는 의사결정 표에서의 지배 관계에 초점을 맞춘다. 이 논문은 특히 선호도 순서 데이터 처리에 한계가 있는 CRSA와

Computational Complexity Computer Science Artificial Intelligence
No Image

중국과 일본 스타일의 '앙리 버드' 레벨 자동 생성

: 본 논문은 앙리 버드 게임의 레벨을 절차적으로 생성하는 방법에 대한 새로운 접근 방식을 제시한다. 특히, 중국과 일본 건축 양식을 모방하여 시각적으로 매력적인 레벨을 자동으로 생성할 수 있는 2D 건물 구성 문법(2D BCG)을 개발하였다. 1. 기존 연구와의 차별화 기존 연구에서는 아시아 스타일의 건물을 생성하기 위해 모델 라이브러리와 사전 정의된 매개변수를 사용하는 방법이 제안되었다(Teoh, 2009). 그러나 이러한 접근 방식은 사용자가 원하는 스타일을 수동으로 설정해야 하는 불편함이 있었다. 본 논문에서는 이 문제를 해

Computer Science Artificial Intelligence HCI Model
No Image

단어 유사도 측정의 새 지평: APSyn

본 논문은 단어 유사도를 비감독적으로 측정하는 새로운 접근법, APSyn을 제안하고 그 성능을 평가한다. 이 연구는 NLP 분야에서 중요한 역할을 하는 단어 유사도 탐지의 중요성을 강조하며, 이를 위해 다양한 방법론이 사용되고 있음을 설명한다. 1. 단어 유사도 측정의 필요성 단어 유사도는 자연어 처리(NLP)에서 중요한 역할을 수행하며, 패러프레이징, 쿼리 확장, 자동 사전 생성 등 다양한 응용 분야에 활용된다. 기존 방법론은 렉시콘 기반과 코퍼스 기반 접근법으로 나눌 수 있으며, 특히 코퍼스 기반 접근법은 분포적 가설을 바탕으로

Computer Science NLP
New Principles of Coordination in Large scale Micro and Molecular Robotic Groups

New Principles of Coordination in Large scale Micro and Molecular Robotic Groups

매력적인 한글 제목: 대규모 미세 및 분자 로봇 집단 조정의 새로운 원칙 초록 전체 번역 및 정리: 이 논문은 '자스민(Jasmine)' 로봇을 기반으로 한 군집 연구에서 유래한 동기 부여 실험에 대해 다룹니다. 이 플랫폼을 통해 다양한 생물 영감 접근 방식을 테스트하고, 제한된 감지 및 통신 능력을 바탕으로 통제 가능 발생적 집단 행동을 개발합니다. 로봇의 크기는 26 x 26 x 20mm(최신 버전은 30 x 30 x 20mm)이며, 실험에서 사용된 로봇 수는 50~130대입니다. 실험의 목적은 로봇 집단 내 정보 전달에 관한

Robotics Computer Science
No Image

스마트 그리드에서 이진 해를 찾는 최적화 문제 연구

본 논문은 스마트 그리드에서 발생하는 이진 해 복원 문제를 다루며, 특히 m < n 인 경우 무한한 실수 해와 여러 이진 해가 존재할 수 있는 상황을 고려합니다. 이러한 문제는 NP 하드로 알려져 있으며, 이를 해결하기 위해 Mangasarian 등이 제안한 방법론을 기반으로 연구를 진행하고 있습니다. 1. 문제의 배경과 중요성 논문은 스마트 그리드에서 발생하는 이진 해 복원 문제에 대해 다룹니다. 각 고객 가구는 저전압 변압기의 세 가지 전위 중 하나에 연결되어 있으며, 이를 추출하기 위해 A 행렬을 사용합니다. 여기서 A 의 열

Information Theory Machine Learning Computer Science System Discrete Mathematics Mathematics
루퍼트 알고리즘의 비종결성: 30° 이하에서의 새로운 이해

루퍼트 알고리즘의 비종결성: 30° 이하에서의 새로운 이해

루퍼트 알고리즘은 삼각화 과정에서 각도에 대한 엄격한 제한을 설정함으로써, 평면 그래프를 안정적인 구조로 변환하는 데 중점을 두고 있다. 이 알고리즘의 핵심은 모든 삼각형이 최소 각도 α보다 작거나 같은 각도를 가지도록 하는 것이다. 초기 연구에서는 20.7°가 이 알고리즘이 종료되는 가장 작은 α 값으로 제시되었으나, 후속 실험을 통해 이는 매우 보수적인 추정이라는 것이 밝혀졌다. 파브 예제의 분석: 스티븐 파브는 루퍼트 알고리즘에서 비종결성이 발생하는 경우를 보여주는 예제를 제시했다. 이 예제에서는 두 개의 인접한 세그먼트가 3

Computer Science Computational Geometry
삼각 무변 그래프: 이론적 탐구

삼각 무변 그래프: 이론적 탐구

: 본 논문은 삼각 무변 그래프의 이론적 탐구를 중심으로 진행되며, 특히 이러한 그래프가 갖는 특성과 그에 따른 여러 조건들을 분석하고 있다. 삼각 무변 그래프란 간단히 말해 삼각형을 포함하지 않는 그래프를 의미하며, 이는 그래프 이론에서 중요한 연구 대상 중 하나이다. 논문의 초반부에서는 기본적인 용어와 정의가 제시된다. 특히, 정점과 간선의 집합, 차수, 지름 등의 개념이 소개되며, 이러한 기초적인 정의들은 이후 논의에 있어 중요한 역할을 한다. 또한, Cn과 Km,n이라는 특별한 형태의 그래프들이 언급되는데, 이는 삼각 무변

Computer Science Discrete Mathematics
디지털 시대의 언어 지도: 전자 사전이 열어가는 새로운 가능성

디지털 시대의 언어 지도: 전자 사전이 열어가는 새로운 가능성

본 논문은 전자 사전의 본질과 그 중요성을 다각도로 분석하며, 디지털 시대에서 언어 자료 표현 방식에 대한 새로운 관점을 제시한다. 주요 내용을 세 가지 큰 범주로 나누어 살펴보면 다음과 같다. 1. 전자 사전의 본질과 의미 재해석 전자 사전은 단순히 종이 사전의 디지털 변형체가 아니라, 새로운 의미와 기능을 지닌 독특한 언어 자료로 정의된다. 이는 '종이 전자' 이분법에서 벗어나 텍스트와 매체를 분리하지 않는 본질적인 관점을 제시한다. 전자 사전은 디지털 환경에서 의미 생성 메커니즘을 통해 세분화된 의미를 제공하며, 이를 통해 독

NLP Computer Science
중량점 집합에 대한 단계 함수 근사: O(n log n) 시간 복잡도의 결정론적 알고리즘

중량점 집합에 대한 단계 함수 근사: O(n log n) 시간 복잡도의 결정론적 알고리즘

: 본 논문은 k단계 함수를 사용하여 가중된 점 집합을 근사하는 문제에 대한 새로운 접근 방식을 제안하고 있습니다. 이 문제는 데이터베이스 응용 프로그램에서 효율적인 데이터 저장 및 쿼리 처리 속도 향상을 위해 중요한 역할을 합니다. 1. k단계 함수와 중량점의 정의 k단계 함수는 실수 시퀀스를 사용하여 각 구간에 상수 값을 가지는 함수입니다. 중량점은 (x, y, w)로 표현되며, 여기서 x와 y는 점의 좌표이고, w는 해당 점의 무게를 나타냅니다. 2. 근사 문제 주어진 가중된 점 집합 P에 대해 k단계 함수 f를 찾아서 P와

Computational Geometry Computer Science Data Structures
LSM 함수: 이진 연산으로 생성 불가

LSM 함수: 이진 연산으로 생성 불가

이 논문은 로그 슈퍼모듈러(LSM) 함수 집합의 모든 함수가 IMP로 정의될 수 있는지 여부를 탐구하며, 이를 부정적으로 결론짓는다. 이 연구는 특히 T2 구성 가능성과 관련된 최소한의 연산을 사용하여 이진 LSM 함수를 포함하는 집합 C를 구성하고, 이를 PPS ω 정의 가능성과 연결한다. 논문은 다음과 같은 핵심 개념들을 다룬다: 1. LSM 함수 정의 : F(x ∨ y)F(x ∧ y) ≥ F(x)F(y) (모든 x, y ∈ {0, 1}^k에 대해)를 만족하는 함수들로 구성된다. 2. T2 구성 가능성과 최소 연산 : 이진 LS

Computational Complexity Computer Science
No Image

모노크롬 아레트릭 진행의 램지 이론적 분석: 거의 분리된 집합을 통한 접근

: 1. 반더와르덴 정리와 W(k) 반더와르덴 정리는 램지 이론에서 중요한 위치를 차지하며, 모든 양의 정수 k에 대해 W(k)라는 상한선을 제시합니다. 이는 {1, 2, ..., W(k)}의 2색 분류에서 k항 아레트릭 진행이 반드시 모노크롬으로 나타난다는 것을 의미합니다. 그러나 W(k)의 정확한 값은 k가 작을 때만 알려져 있으며, k가 커질수록 이 값을 구하는 것이 매우 어려워집니다. 2. 확률적 접근: N+(k)와 N (k) N+(k)는 {1, 2, ..., N+(k)}의 2색 분류에서 k항 아레트릭 진행이 포함될 확률이

Computer Science Mathematics Discrete Mathematics
No Image

양자 비용 효율적인 역전파 BCD 덧셈기 설계

본 논문은 역전파 논리 회로의 중요성과 그 적용 범위에 대해 상세히 설명하며, 특히 BCD 덧셈기의 양자 비용 효율적인 설계를 제시하고 있습니다. 이 연구는 역전파 게이트의 특성을 이해하는 데 중점을 두고 있으며, 이를 통해 저전력 회로 설계와 나노기술 분야에서 중요한 발전을 이루었습니다. 1. 역전파 논리의 중요성 역전파 논리는 정보 손실 없이 작동하기 때문에 열 발생 문제를 해결할 수 있습니다. 이는 특히 저전력 소모 회로 설계에 있어 매우 중요한 특징입니다. 역전파 게이트는 입력과 출력 간 1대1 매핑을 구현하며, 이를 통해

System Computer Science Hardware Architecture
No Image

위치 변환 벡터: 인에르셜 내비게이션 알고리즘 설계의 혁신

본 논문은 인에르셜 내비게이션 알고리즘 설계에서 중요한 역할을 하는 '위치 변환 벡터' (PTV)를 도입하고, 이를 Savage의 프레임워크와 이중 쿼터니언 접근법 사이의 연결성을 통해 분석합니다. 논문은 Savage가 제시한 스트랩다운 인에르셜 내비게이션 알고리즘 설계를 위한 통합 수학적 프레임워크를 기반으로, 새로운 PTV를 도입하고 이를 분석하는 데 초점을 맞추고 있습니다. 1. Savage의 프레임워크와 VTV Savage는 스트랩다운 인에르셜 내비게이션 알고리즘 설계를 위한 통합 수학적 프레임워크를 제시했습니다. 이 프레임

Computer Science Robotics
No Image

ITIL 프레임워크를 활용한 서비스 관리 역량 향상 전략

이 논문은 ITD 회사가 서비스 관리를 개선하기 위해 ITIL 프레임워크를 활용하는 방법에 대해 상세히 설명하고 있다. 주요 내용을 분석해보면 다음과 같은 요소들이 포함되어 있다: 1. 해결책 평가 : 논문은 여러 해결책 중에서 회사의 현재 상황과 가장 잘 맞는 것을 선택해야 한다고 강조한다. 첫 번째와 두 번째 해결책은 IT 자원이 많이 필요하며, 회사는 무역에 집중하고 있어 이러한 해결책을 선호하지 않는다. 세 번째 해결책인 SAP ERP의 도입은 막대한 투자와 변화 관리 위험을 수반하므로 회사가 원하는 단계적인 개선 방식과 맞

Computer Science Framework Software Engineering
No Image

병렬 머신에서의 지연 최소화: Kravchenko와 Werner 논문 분석

: Kravchenko와 Werner의 논문은 병렬 머신 환경에서 작업의 총 지연 시간을 최소화하는 문제에 대한 연구를 다루고 있다. 이들은 '파티션' 문제로부터 파생된 두 가지 복잡도 클래스인 P |pmtn| T j와 P |r j , p j p, pmtn| T j에 대해 감소 방법을 제시하였으며, 특히 P |pmtn| T j의 감소 방법을 상세히 설명하였다. 이 논문은 병렬 머신 환경에서 작업 스케줄링 문제를 해결하는 데 있어 중요한 기여를 하였지만, 일부 부분에 대한 분석이 부족하거나 잘못되었음을 보여주고 있다. 논문의 핵심 내

Computer Science Discrete Mathematics
No Image

상위 10% 논문 비율로 대학의 영향력 측정

본 논문은 상위 10% 논문 비율 (PP 상위 10%)이라는 새로운 지표를 통해 대학 간의 영향력을 측정하고, 이를 통계적으로 검증하는 방법을 제시합니다. 이는 SCImago 기관 순위에서 사용되는 우수성 지표(EI)와 유사한 역할을 하며, 두 지표 모두 CWTS(Centre for Science and Technology Studies)가 제공하는 안정 구간 내에서 통계적으로 검증 가능하다는 점이 강조됩니다. 1. 새로운 영향력 지표의 도입 상위 10% 논문 비율은 대학이나 연구 기관이 출판한 모든 논문 중 상위 10%에 해당하는

Computers and Society Computer Science
No Image

언어 변수와 유한 자동기: 새로운 해석

: 1. 언어 변수 개념 재해석 Zadeh는 언어 변수를 네 가지 구성 요소로 정의했다: 변수 이름, 레이블 집합, 담론 영역, 그리고 의미 규칙. 이 논문은 이러한 정의에 대한 비판을 제기하며, 특히 헤드(hedge)의 의미가 불분명하다는 점을 지적한다. 이를 해결하기 위해, 논문은 모든 레이블과 그 의미를 사전에 정의된 고정된 유한 단어 집합으로 한정한다. 예를 들어, '매우 작은'이라는 표현은 '작은'의 의미에서 파생되지 않고, 자체적으로 독립적인 의미를 가진다. 이는 모호 집합을 통해 표현되며, 각 레이블에 대한 회원도(me

Formal Languages Computer Science

< 분야별 논문 현황 (Total: 810) >

Electrical Engineering and Systems Science
7
General
273
General Relativity
9
HEP-EX
7
HEP-PH
12
HEP-TH
7
MATH-PH
4
NUCL-TH
1
Quantum Physics
11

검색 시작

검색어를 입력하세요

↑↓
ESC
⌘K 단축키