State-based model slicing: A survey

Source

• Evernote/IFTTT Feedly/State-based model slicing A survey.md

Summary

이 문서는 유한 상태 기계(FSM) 기반 모델에 대한 슬라이싱(slicing) 기법에 관한 기존 연구들을 종합한 서베이 논문입니다. 프로그램 슬라이싱을 모델 레벨로 확장한 작업들을 검토하며, 특히 충분한 연구가 축적된 상태 기반 모델링 표기법에 초점을 맞추고 있습니다. 또한 상태 기반 슬라이싱이 직면한 과제들과 기존 문헌이 이를 어떻게 해결했는지를 분석합니다.

Key Points

• 프로그램 슬라이싱 기법을 유한 상태 기계(FSM) 모델 레벨로 확장 적용
• 상태 기반 모델링 표기법에 대한 기존 슬라이싱 연구들의 체계적 검토
• 상태 기반 슬라이싱의 주요 과제 및 기존 해결 방안 분석

Related

• Language Model Verbalization for Automatic Speech Recognition

• 이동성 모델 분류 체계 및 조사 (A Taxonomy and Survey of Microscopic Mobility Models)

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

• 실제 환경에서 인간 군중으로 확장되는 센싱 기반 시스템 연구

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

• Scalable Decipherment for Machine Translation via Hash Sampling

• Statistical Approaches to Concept-Level Sentiment Analysis

• Effective and Robust Query-Based Stemming

• Rich Vehicle Routing Problem (VRP) Survey

• A survey on concept drift adaptation

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

• Temporal Information Retrieval (TIR) Survey Overview

• A survey on ear biometrics

• 오프라인 아랍어 손글씨 인식 기술 동향 (A Survey)

• 의미적 궤적 모델링 및 분석 (Semantic Trajectories Modeling and Analysis)

• 디지털 맵 처리 기술 조사 (A Survey of Digital Map Processing Techniques)

• 베이지언 계산 방법 정리 (Grid Approximation 등)

• Target Language Adaptation of Discriminative Transfer Parsers

• 택시 GPS 추적 데이터 마이닝 연구 동향

• 모바일 네트워크 데이터를 활용한 도시 감지 연구 조사

• Sequential Pattern Mining: Approaches and Algorithms

• Cost-Sensitive Decision Tree Induction Algorithms Survey

• Survey of local algorithms

• 관성 항법 시스템(INavigation Systems) 소개

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

• Pipelined Workflow Scheduling: Models and Algorithms (Survey)

• Checker Architectures Survey

• Improved Domain Adaptation for Statistical Machine Translation

• 모바일 학습(m-learning) 애플리케이션 및 기술의 현황 분석

• Discrete Bayesian Network Classifiers: A Survey

• 가역 회로의 합성과 최적화: 서베이

• 진화적 네트워크 분석: 서베이 (Evolutionary Network Analysis: A Survey)

• Source-Side Classifier Preordering for Machine Translation

• Cloud Computing: Survey on Energy Efficiency

• Cloud Pricing Models Taxonomy, Survey, and Interdisciplinary Challenges

• On Big Data Algorithmics

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

• 상호의존적 정보 보안 게임 이론 조사 (A Survey of Interdependent Information Security Games)

• 예측 모델링에 대한 실용서

• 메모리 암호화 기술 조사 (Memory Encryption Survey)

• A survey of trust in social networks

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

• Universal Dependency Annotation for Multilingual Parsing

• GRE 모델: 무작위 도로 네트워크 모델 및 모바일 DTN 토폴로지 특성 영향

• Enlisting the Ghost: Modeling Empty Categories for Machine Translation

• 세계 모든 나라가 북유럽 모델을 채택할 수 있을까

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

• 심층 신경망을 이용한 통계적 파라미터 음성 합성

• Language Modeling Capitalization

• 게임 이론을 통한 테러 네트워크 격파

• Accurate and Compact Large Vocabulary Speech Recognition on Mobile Devices

• 인프라 네트워크의 이동성 관리 (Mobility Management in Infrastructure Networks)

• A Model for Context in the Design of Open Production Communities

• Breaking Out of Local Optima with Count Transforms and Model Recombination: A Study in Grammar Induction

• IEEE Intelligent Systems 편집장 취임 및 미래 계획

• Recent Books and Journals in Public Opinion, Survey Methods, and Survey Statistics

• 사용자 이동성 프로파일 구축 및 비교

• 헬싱키의 ‘필요할 때 이용하는 교통’ 시스템 실험

• 정성 데이터 통합 방법론

• Collective Sensemaking and Military Coalitions

• AGC 및 다중 스타일 학습을 통한 소형 키워드 스포팅

• Deep Learning in Speech Synthesis (Google Research Talk)

• 스트림 처리 최적화 카탈로그 (A catalog of stream processing optimizations)

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

• 사회 컴퓨팅 연구의 진화 특성화

• Social-Network-Sourced Big Data Analytics

• Interconnected Cloud Computing Environments: Challenges, Taxonomy, and Survey

• People reidentification in surveillance and forensics: A survey

• Approximate Recall Confidence Intervals

• Speech and Natural Language: Where Are We Now And Where Are We Headed

• Extending Net-Centricity to Coalition Operations

• iVector-based Acoustic Data Selection

• 검색 엔진 순위 개선: 신화와 현실 (Myths and Reality)