Cs-Cc

이산 수학 20 JAN, 2012

안정 매칭 근사계산의 복잡성

By ** - Prasad Chebolu (University of Liverpool) - Leslie Ann Goldberg (University of Liverpool) - Russell Martin (University of Liverpool) **

컴퓨터 논리학 18 JAN, 2011

랭크‑1 모달 논리의 PSPACE 한계와 통합 알고리즘

By ** *원 논문 저자 정보가 제공되지 않아 정확히 명시할 수 없습니다. 일반적으로 이 분야의 주요 연구자는 **Lutz Schröder**

컴퓨터 논리학 24 JAN, 2009

비결정적 메커니즘의 수학적 정의와 동등성 연구

By ** - **K. Venkata Rao** – Government College (A)

분산 컴퓨팅 29 JAN, 2009

단방향 네트워크에서 자가안정 컬러링을 위한 공간·시간 최적 경계

By ** Samuel Bernard

자연어 처리 (NLP) 18 JAN, 2008

서브그래프 매칭을 위한 분해 기법

By ** - Stéphane Zampelli (Université catholique de Louvain

컴퓨터 논리학 16 JAN, 2011

직관주의 논리 1변수 모델 검사, AC¹ 완전성의 새로운 발견

By KOINEU Research Team

멀티에이전트 시스템 18 JAN, 2008

퍼뮤테이션 파리뮤추얼 베팅: 비례 베팅 메커니즘과 최대 엔트로피 가격 책정

By Shipra Agrawal

이산 수학 18 JAN, 2008

P2 패킹을 위한 파라미터화된 접근과 7k 커널

By Jianer Chen

컴퓨터 논리학 8 JAN, 2016

LTL 모델 검증 복잡도: 좋은 경우, 나쁜 경우, 그리고 난처한 경우

By Michael Baul

계산 복잡도 4 JAN, 2019

보편 확률의 Tsallis 엔트로피와 Shannon 엔트로피: 알고리즘적 무작위성 관점

By Kohtaro Tadaki

머신러닝 (ML) 6 JAN, 2008

롤아웃 샘플링을 활용한 효율적인 근사 정책 반복

By Christos Dimitrakakis

컴퓨터 과학 및 게임 이론 1 JAN, 2015

단일 시계 가격 제한 자동기의 모델 검증

By Patricia Bouyer

계산 복잡도 8 JAN, 2008

확장 사이클릭 코드와 상수 가중치 특성에 대한 새로운 통찰

By Yingquan Wu

인공지능 (AI) 3 JAN, 2008

비반복적 모달 논리를 위한 얕은 모델과 PSPACE 복잡도

By Lutz Schr"oder

데이터 구조 및 알고리즘 1 JAN, 2008

부분공간 회피 문제와 파라미터화된 알고리즘

By V. Arvind

무질서 시스템 및 신경망 2 JAN, 2008

무작위 3SAT 해 공간의 군집화와 동결 현상 완전 탐색

By John Ardelius

계산 복잡도 3 JAN, 2010

안정적인 콜모고로프 차틴 복잡도 정의를 향하여

By Jean-Paul Delahaye

컴퓨터 그래픽스/기하 26 JAN, 2012

다각형의 그림자와 절단 계산 복잡도

By Hans Raj Tiwary

양자 물리학 16 JAN, 2008

범용 양자 회로의 깊이와 크기 최적화

By Debajyoti Bera

양자 물리학 18 JAN, 2008

비적응 양자 알고리즘의 하한을 위한 적대적 방법

By Pacal Koiran (LIP)

수리 논리학 4 JAN, 2009

2테이프 부치 자동기와 무한 유리 관계의 와지 계층 완전성

By Olivier Finkel (LIP)

계산 복잡도 7 JAN, 2008

P와 NP의 관계에 대한 허구적 접근: 무한 절단과 FEXP 복잡도

By Jerrald Meek

데이터 구조 및 알고리즘 18 JAN, 2008

다항시간 SAT 솔버에 대한 비판

By Ian Christopher

컴퓨터 논리학 18 JAN, 2008

모달 만족도 복합성의 전면적 분류

By Edith Hemaspa