Defunctionalized Interpreters for Call-by-Need Evaluation

Source

• Evernote/IFTTT Feedly/Defunctionalized Interpreters for Call-by-Need Evaluation.md

Summary

Olivier Danvy 외 연구진이 작성한 논문 ‘Defunctionalized Interpreters for Call-by-Need Evaluation’에 대한 저장 링크입니다. 논문 내용 요약은 원문 링크를 통해 확인해야 합니다.

Key Points

• 저자: Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny
• 주제: Call-by-Need 평가 방식의 Defunctionalized 인터프리터
• 출처: Google Scholar 검색 결과 저장 (2013년 9월)

Related

• A Semantic Matching Energy Function for Learning with Multi-relational Data

• Target Language Adaptation of Discriminative Transfer Parsers

• Learning Entangled Single-Sample Gaussians

• Speaker Adaptation of Context Dependent Deep Neural Networks

• Learning Semantic Representations Of Objects And Their Parts

• Deep Learning via Semi-Supervised Embedding

• Behavioural reconfigurable and adaptive data reduction in body sensor networks

• Language Modeling Capitalization

• Affinity Weighted Embedding

• A Local Algorithm for Finding Well-Connected Clusters

• Accurate and Compact Large Vocabulary Speech Recognition on Mobile Devices

• Acquisition of Open-Domain Classes via Intersective Semantics

• Language Model Verbalization for Automatic Speech Recognition

• Sok: The Evolution of Sybil Defense via Social Networks

• Scalable Decipherment for Machine Translation via Hash Sampling

• Token and Type Constraints for Cross-Lingual Part-of-Speech Tagging

• Label Partitioning for Sublinear Ranking

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

• Achieving anonymity via clustering

• Coordinated Multi-Device Presentations: Ambient-Audio Identification

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

• Deep Learning in Speech Synthesis (Google Research Talk)

• iVector-based Acoustic Data Selection

• Anti-forensic resilient memory acquisition

• From mixed-mode to multiple devices. Web surveys, smartphone surveys and apps

• KamitaniLab DeepImageReconstruction 데이터 및 데모 코드

• Summarization Through Submodularity and Dispersion

• Distributed Large-scale Natural Graph Factorization

• Understanding Latency of Black-Box Service Workloads

• Measurement and modeling of eye-mouse behavior

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

• Improved Domain Adaptation for Statistical Machine Translation

• Coherent image selection using a fast approximation to the generalized traveling salesman problem

• 내가 찾은 Deep Learning 공부 최단경로(?)

• Scalable Dynamic Nonparametric Bayesian Models of Content and Users

• 정치학 박사 학위의 광범위한 가치

• Optical design of a color-corrected 2.75 g visual loupe

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

• Acquisition of Noncontiguous Class Attributes from Web Search Queries

• 대리 지리적 연구 지역 식별을 위한 고급 정확 검정 통계

• Arrival and departure in Social Networks

• The Nested Chinese Restaurant Franchise Process: User Tracking and Document Modeling

• Designing Markets for Daily Deals

• 공통 분석 및 MaxDiff 스케일링의 여론 조사 활용 잠재력

• Energy and Cost Reduction in Localized Multisensory Systems through Application-Driven Compression

• A Theoretical Examination of Practical Game Playing: Lookahead Search

• Hierarchical Geographical Modeling of User locations from Social Media Posts

• Streaming Balanced Graph Partitioning for Random Graphs

• Revenue Maximization with Nonexcludable Goods

• Two-stage Robust Network Design with Exponential Scenarios

• Ad Click Prediction: a View from the Trenches

• Convergence and approximation in potential games

• KDD 튜토리얼: 확장 가능한 혼합 멤버십 및 비모수 베이지안 모델 가이드

• Korea Globe Column (Document 20640)

• Our checklist for improving mobile websites

• Automated locality optimization based on the reuse distance of string operations

• Scalability vs. Fault Tolerance in Aspen Trees

• 10 surprising social media statistics that might make you rethink your social strategy

• Universal Dependency Annotation for Multilingual Parsing

• How to approximate optimal auctions

• Conjoint Analysis in R: Individual-Level Utilities 및 Survey Mockups

• Paradata in Web Surveys (Callegaro)

• DurIAN_4S: 말하기 데이터로부터 노래 합성 학습

• Facebook, 일부 딥러닝 도구 오픈소스화

• Whole-page optimization and submodular welfare maximization with online bidders

• Accelerating defocus blur magnification

• Computational Social Science for the World Wide Web

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

• MOOCs: So Many Learners, So Much Potential

• 크리스토퍼 알렉산더의 『패턴 랭귀지(A Pattern Language)』

• 심층 피처 합성 (Deep Feature Synthesis) 개요

• 음성 품질 지표의 배경 소음 및 네트워크 열화에 대한 강건성 비교 (VISQOL, PESQ, POLQA)

• SOINN (Self-Organizing Incremental Neural Network)

• 영어 책 코퍼스 기반 시계열 구문 N-그램 데이터셋

• 가시성 그래프의 미해결 문제들 (Unsolved problems in visibility graphs)

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

• 신경망을 이용한 자기 학습 헬리콥터

• Online allocation of display ads with smooth delivery

• Latent Mixture of Discriminative Experts (LMDE)

• Life of Pi 의 털 렌더링 기술 (Rendering Fur in Life of Pi)

• Survey of local algorithms

• Recurrent Neural Networks for Voice Activity Detection

• Video Snippets

• 실내 장면의 의미적 및 기하학적 상호작용 학습을 위한 판별 모델