수치 추상 도메인을 이용한 프로세스 발견 알고리즘

Source

• Evernote/Inbox/Process Discovery Algorithms Using Numerical Abstract Domains.md

Summary

이 논문은 이벤트 로그에서 Petri net 기반 프로세스 모델을 발견하는 문제를 해결하기 위해 수치 추상 도메인(numerical abstract domains)을 제안합니다. 기존 알고리즘이 직면한 로그의 크기 및 발견된 모델의 형식적 속성 제한을 극복하기 위해, 사전 지식(예: Petri net의 bound) 없이 일반화된 모델을 발견할 수 있게 하고, 분할 정복(divide and conquer) 기법을 통해 문제의 크기를 제어합니다. 프로토타입 도구를 통한 실험 결과 이 접근법의 유효성을 입증했습니다.

Key Points

• 이벤트 로그 기반 프로세스 발견의 주요 과제: 로그 크기 및 모델의 형식적 속성 제한
• 해결 방안: 수치 추상 도메인 활용을 통한 Petri net 발견
• 장점 1: 알고리즘에 사전 지식(예: bound)이 필요 없는 일반화된 모델 발견 가능
• 장점 2: 분할 정복 기법을 통한 프로세스 발견 문제의 크기 제어
• 검증: 프로토타입 도구 구현 및 실험을 통한 유효성 입증

Related

• 피드백 세션을 통한 사용자 검색 목표 추론 알고리즘

• Unsupervised Spatial Event Detection in Targeted Domains with Applications to Civil Unrest Modeling

• Supporting Flexible, Efficient, and User-Interpretable Retrieval of Similar Time Series

• 웹 데이터 서비스 통합 및 쿼리 위한 하향식 지식 기반 접근법

• 스마트 그리드 예측 모델의 전방위적 평가 지표

• PADUA: 비정상 활동 탐지를 위한 병렬 아키텍처

• 웹 엔티티 발견을 위한 병렬 경로 프레임워크 (The Parallel Path Framework)

• Adaptive Speculative Processing of Out-of-Order Event Streams

• Statistical Approaches to Concept-Level Sentiment Analysis

• Meta-Learning 기반 Instance Selection을 위한 복잡도 측정 지표

• DOM 구조 지식 기반 모델을 이용한 반구조화 웹 레코드 강건한 탐지

• Efficient Time-Stamped Event Sequence Anonymization

• Octopus: 터치스크린 키보드 알고리즘 평가 도구

• 계층 구조(Taxonomy) 존재 하의 시간적 변화 패턴 발견 (HiGen)

• Spaces, Trees, and Colors: 시퀀스 기반 문서 검색의 알고리즘 풍경

• HEADY: 이벤트 패턴 클러스터링을 통한 뉴스 헤드라인 추상화

• X-Class: XML 문서 구조 기반 연관 분류

• Iustitia: 정보 이론적 접근을 통한 고속 플로우 성격 식별

• Biperpedia: 검색 애플리케이션을 위한 온톨로지

• 위키피디아 문서 품질 평가 알고리즘

• vlHMM 기반 컨텍스트 인식 검색

• E-Tree: 데이터 스트림용 앙상블 모델 효율적 인덱싱 구조

• XML 데이터에 대한 키워드 쿼리의 컨텍스트 기반 다양화

• 인간 동작 분석을 위한 특이값 분해(SVD) 기반 지식 획득 방법

• 적응형 온톨로지 규칙을 이용한 보상-처벌 기반 개념 탐지

• 모델 다이어그램의 의미론에 대한 새로운 접근법

• 규칙 기반 엔티티 해결 (Rule-Based Entity Resolution)

• Localized Tensor Completion (LTC) for Network Data Recovery

• Efficient Index-Based Snippet Generation

• Entity Linking with a Knowledge Base: Issues, Techniques, and Solutions

• Dynamic Time Warping for Music Conducting Gestures Evaluation

• A term-based inverted index partitioning model for efficient distributed query processing

• Scalable Database-Driven Reverse Dictionary

• Structured Streaming Skeleton (SSS): 온라인 인간 제스처 인식용 새로운 특징 추출 방법

• Exploratory OLAP을 위한 시맨틱 웹 기술 활용: 서베이

• 지향적 엔티티-관계 기반 1차 확률 언어(FOPL) 조사

• 네트워크 가장자리에서의 연합 정보 공유를 위한 지식 관리

• 웹 엔티티 페이지 발견을 위한 URL 및 HTML 특징 결합 방법 (SSUP)

• 비디오 검색 결과의 의미론적 계층 구조화

• Query Reformulation Modeling using Query Distributions

• Knowledge Management for Coalition Information Sharing at the Network Edge

• 웹 애플리케이션 모델 저장소의 텍스트 및 내용 기반 검색

• Patent Query Formulation by Synthesizing Multiple Sources of Relevance Evidence

• Entity-Annotation 시스템 벤치마킹 프레임워크

• 유전 알고리즘(GP)을 활용한 햅틱 기반 서명 인증

• TSum: Fast, Principled Table Summarization

• 관계 추출을 위한 원거리 감독에서 지식 베이스의 간극 메우기

• Small-Document Approaches to Resource Selection 분석

• Temporal Information Retrieval (TIR) Survey Overview

• 온톨로지 작성에서의 위키 협업 기능 평가

• JSONiq: 쿼리 언어의 역사

• MOWL: 웹 기반 멀티미디어 애플리케이션을 위한 온톨로지 표현 언어

• Effective and Robust Query-Based Stemming

• NautiLOD: 연결된 데이터 웹을 위한 형식적 탐색 언어

• Parliament: A Threshold Secret Sharing Service

• 협동 계획 모델 (CPM): 계획의 생명화

• 인간 행동 인식용 온톨로지 조사

• Deep Web 소스의 관련성 및 신뢰도 평가 (Inter-source Agreement 기반)

• Reducing Lookups for Invariant Checking

• Pay by the Bit: 집단 인간 판단을 위한 정보 이론적 지표

• XXS: 압축된 XML 문서에서의 효율적인 XPath 평가

• 웹 검색의 내재적 다양성(Intrinsic Diversity)과 전체 세션 관련성

• 스케치 기반 비디오 클립 상호작용 조직화 접근법

• Source-Side Classifier Preordering for Machine Translation

• 대용량 텍스트 컬렉션에서의 효율적 퍼지 검색

• 지리공간 데이터의 계층적 텐서 기반 압축 및 쿼리 방법

• 검색 엔진 쿼리 로그를 통한 사용자 작업(Task) 발견

• Anomaly Extraction in Backbone Networks Using Association Rules

• An Unsupervised Feature Selection Framework for Social Media Data

• k-parity 테스트의 비적응적 쿼리 복잡도

• 정보 기하학을 통한 순수 고차 단어 연관성 마이닝

• 웹사이트 구조 개선을 통한 사용자 탐색 효율화

• PhishStorm: 스트리밍 분석을 통한 피싱 탐지

• Hoeffding 경계 기반 온라인 및 비모수 드리프트 탐지 방법

• 위키백과 반달리즘 탐지를 위한 크로스-러닝 (봇 vs 사용자)

• 웹 검색 행동의 시간적 동역학: 학습, 모델링 및 예측

• 지리 공간 데이터의 불확실성 주석 처리 (GML 확장)

• 위키백과 링크 의미소거를 위한 토픽 모델링

• RFID 추정 문제의 에너지 효율 알고리즘

• StatParser: 통계적 파싱을 통한 쿼리 인터페이스 이해

• 트위터의 구조적 차이와 시간성이 검색 효과성에 미치는 영향

• 자동화에 대한 신뢰 (Trust in Automation)

• 통계적 기계 번역 표현을 활용한 교차 언어 정보 검색