TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: (-1 A B C D E F G H I J K L M N O P Q R S T U V W X Z

(
(Parameterized) complexity	Backdoors to Planning A Parameterized Complexity Analysis of Generalized CP-Nets
-
- GTEP: Auctions and Market-Based Systems	False-Name Bidding and Economic Efficiency in Combinatorial Auctions
- GTEP: Equilibrium	False-Name Bidding and Economic Efficiency in Combinatorial Auctions
- MAS: E-Commerce	False-Name Bidding and Economic Efficiency in Combinatorial Auctions
- MAS: Mechanism Design	False-Name Bidding and Economic Efficiency in Combinatorial Auctions
1
1-Euclidean	A Characterization of the Single-Peaked Single-Crossing Domain
1-UIP clauses	Non-Restarting SAT Solvers With Simple Preprocessing Efficiently Simulate Resolution
A
abductive reasoning	A Tractable Approach to ABox Abduction over Description Logic Ontologies
ABox abduction	A Tractable Approach to ABox Abduction over Description Logic Ontologies
Absorption time	Designing Fast Absorbing Markov Chains
Acoustic echoes	Grounding Acoustic Echoes In Single View Geometry Estimation
action and change	PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains
action languages	PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains
action recognition	Low-Rank Tensor Learning with Discriminant Analysis for Action Classification and Image Recovery
active learning	Anytime Active Learning Active Learning with Model Selection Active Learning for Crowdsourcing Using Knowledge Transfer
active surveillance planning	Modeling and Mining Spatiotemporal Patterns of Infection Risk from Heterogeneous Data for Active Surveillance Planning
activities of daily living	Decomposing Activities of Daily Living to Discover Routine Clusters
activity recognition	Decomposing Activities of Daily Living to Discover Routine Clusters
Actual Cause	The Computational Complexity of Structure-Based Causality
Adaptation-Guided Case-Based Maintenance	Adaptation Guided Case Base Maintenance
Adaptive Behavior	An Agent-Based Model Studying the Acquisition of a Language System of Logical Constructions
Adaptive Consistencies	Adaptive Singleton-based Consistencies
adaptive opponents	Using Response Functions to Measure Strategy Strength
adaptive submodular optimization	Efficient Object Detection via Adaptive Online Selection of Sensor-Array Elements
Adaptive submodularity	Large-Scale Optimistic Adaptive Submodularity
additional heuristics	Simpler Bounded Suboptimal Search
ADMM	LASS: A Simple Assignment Model with Laplacian Smoothing
advisors	Leveraging Fee-Based, Imperfect Advisors in Human-Agent Games of Trust
aerosol optical depth	Accurate Integration of Aerosol Predictions by Smoothing on a Manifold
affect	The Importance of Cognition and Affect for Artificially Intelligent Decision Makers
Age Prediction	Lifetime Lexical Variation in Social Media
agenda management	Scalable Complex Contract Negotiation With Structured Search and Agenda Management
agent behavior model prediction	Agent Behavior Prediction and Its Generalization Analysis
Agent-Centered Search	Exponential Deepening A* for Real-Time Agent-Centered Search
AI	User Intent Identification from Online Discussions using a Joint Aspect-Action Topic Model
Algorithm Portfolios	MaxSAT by Improved Instance‐Specific Algorithm Configuration Predicting the Hardness of Learning Bayesian Networks
Algorithm Tuning	MaxSAT by Improved Instance‐Specific Algorithm Configuration
Algorithms	Incomplete Preferences in Single-Peaked Electorates A Characterization of the Single-Peaked Single-Crossing Domain
alternating direction method of multipliers	Online Portfolio Selection with Group Sparsity
Alzheimer's Disease	A Spatially Sensitive Kernel to Predict Cognitive Performance from Short-Term Changes in Neural Structure
Alzhemier's Disease	Efficient Generalized Fused Lasso and Its Application to the Diagnosis of Alzheimer’s Disease
analogical reasoning	Large Scale Analogical Reasoning
analogue systems	Diagnosing Analogue Linear Systems Using Dynamic Topological Reconfiguration
Analogy	Confident Reasoning on Raven’s Progressive Matrices Tests
Analytical solution	Intra-view and Inter-view Supervised Correlation Analysis for Multi-view Feature Learning
AND/OR search	DJAO: A Communication‐Constrained DCOP Algorithm that Combines Features of ADOPT and Action‐GDL
angular distance	Similarity-Preserving Binary Signature for Linear Subspaces
Answer Set Programming	Efficiently Implementing GOLOG with Answer Set Programming Exploiting Support Sets for Answer Set Programs with External Evaluations
Anytime optimization	Efficient Optimization for Autonomous Manipulation of Natural Objects
application	GenEth: A General Ethical Dilemma Analyzer
applications of planning	Cost-Based Query Optimization via AI Planning
Approximate Nash Equilibrium	Approximate Equilibrium and Incentivizing Social Coordination
approximate near neighbor search	Supervised Hashing for Image Retrieval via Image Representation Learning
Approximate Nearest Neighbor Search	Locality Preserving Hashing
Approximation	Prices Matter for the Parameterized Complexity of Shift Bribery Lazy Defenders Are Almost Optimal Against Diligent Attackers Binary Aggregation by Selection of the Most Representative Voter
approximation algorithms	Online (Budgeted) Social Choice On Detecting Nearly Structured Preference Profiles
Artificial Neural Nets	Joule Counting Correction for Electric Vehicles using Artificial Neural Nets
asserting clauses	Non-Restarting SAT Solvers With Simple Preprocessing Efficiently Simulate Resolution
associative memory	Huffman Coding for Storing Non-uniformly Distributed Messages in Networks of Neural Cliques
atrial fibrillation	Predicting Postoperative Atrial Fibrillation from Independent ECG Components
auctions	Increasing VCG Revenue by Decreasing the Quality of Items Mechanism Design for Mobile Geo–Location Advertising
Augmented Lagrangian Multiplier method	Robust Multi-View Spectral Clustering via Low-Rank and Sparse Decomposition
Augmented Langrange Multiplier Method	Low-Rank Tensor Completion with Spatio-Temporal Consistency
automated reasoning	The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving Synthesis of Geometry Proof Problems
Automatic statistician	Automatic Construction and Natural-Language Description of Nonparametric Regression Models
Autonomous Electricity Trading Agents	TacTex’13: A Champion Adaptive Power Trading Agent
Autonomous Robotics	Minimising Undesired Task Costs in Multi-robot Task Allocation Problems with In-Schedule Dependencies
Autonomous Systems	Minimising Undesired Task Costs in Multi-robot Task Allocation Problems with In-Schedule Dependencies
Auxiliary Data Retrieval	Source Free Transfer Learning for Text Classification
B
Backdoor criterion	Best Paper Nominee: Recovering from Selection Bias in Causal and Statistical Inference
backdoor set	Backdoors into Heterogeneous Classes of SAT and CSP
Backdoors	Backdoors to Planning
bag-of-words	Direct Semantic Analysis for Social Image Classification
Bag-of-words Model	Locality-constrained Low-rank Coding for Image Classification
bagging	Bagging by design (on the sub-optimality of bagging)
barrier removal	Rounded Dynamic Programming for Tree-Structured Stochastic Network Design
Battery Estimation	Joule Counting Correction for Electric Vehicles using Artificial Neural Nets
bayesian	Automatic Construction and Natural-Language Description of Nonparametric Regression Models
Bayesian extensive games	Bounding the Support Size in Extensive Form Games with Imperfect Information
Bayesian Inference	Wormhole Hamiltonian Monte Carlo
Bayesian Learning	Learning the Structure of Probabilistic Graphical Models with an Extended Cascading Indian Buffet Process
Bayesian network	Finding the k-best Equivalence Classes of Bayesian Network Structures for Model Averaging Tightening Bounds for Bayesian Network Structure Learning
Bayesian networks	Predicting the Hardness of Learning Bayesian Networks
Bayesian nonparametric modeling	Small-variance Asymptotics for Dirichlet Process Mixtures of SVMs
Bayesian nonparametrics	Learning the Structure of Probabilistic Graphical Models with an Extended Cascading Indian Buffet Process Dynamic Bayesian Probabilistic Matrix Factorization
Bayesian optimization	Efficient Optimization for Autonomous Manipulation of Natural Objects
Bayesian probabilistic tensor factorization	Semantic Data Representation for Improving Tensor Factorization
Behavior Prediction	Learning Temporal Dynamics of Behavior Propagation in Social Networks
Behavior Propagation	Learning Temporal Dynamics of Behavior Propagation in Social Networks
Belief Change	Contraction and Revision over DL-Lite TBoxes
Belief Propagation	Approximate Lifting Techniques for Belief Propagation
belief-adjustment	Ordering Effects and Belief Adjustment in the Use of Comparison Shopping Agents
benchmark planning problems	Parametrized Families of Hard Planning Problems from Phase Transitions
best-first search	Worst-Case Solution Quality Analysis When Not Re-Expanding Nodes in Best-First Search
Bi-Objective Combinatorial Optimization	A Support-Based Algorithm for the Bi-Objective Pareto Constraint
Bias Removal	Best Paper Nominee: Recovering from Selection Bias in Causal and Statistical Inference
big data	Non-linear Label Ranking for Large-scale Prediction of Long-Term User Interests Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems
bimodal sparse representation	Learning Compositional Sparse Models of Bimodal Percepts
Binary Codes	Locality Preserving Hashing
binary embedding	Sub-Selective Quantization for Large-Scale Image Search
binary signature	Similarity-Preserving Binary Signature for Linear Subspaces
Biological pathways	Pathway Specification and Comparative Queries: A High Level Language with Petri Net Semantics
Biometrics	On Hair Recognition in the Wild by Machine
Block-Diagonal Constraints	Semantic Segmentation Using Multiple Graphs with Block-Diagonal Constraints
boolean optimization	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability
boosting	On Boosting Sparse Parities
bootstrapping	Bagging by design (on the sub-optimality of bagging)
Bounded Approximate Inference	Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics
bounded rationality	An Adversarial Interpretation of Information-Theoretic Bounded Rationality
bounded suboptimal search	Simpler Bounded Suboptimal Search
Brain-Computer Interfaces	Calibration-Free BCI Based Control
bribery	Leveraging Fee-Based, Imperfect Advisors in Human-Agent Games of Trust
C
Cake cutting	Simultaneous Cake Cutting
Calibration	Calibration-Free BCI Based Control
campaign management	Prices Matter for the Parameterized Complexity of Shift Bribery
candidate availability	Robust Winners and Winner Determination Policies under Candidate Uncertainty
Canine Learning	A Strategy-Aware Technique for Learning Behaviors from Discrete Human Feedback
Canonical correlation analysis (CCA)	Intra-view and Inter-view Supervised Correlation Analysis for Multi-view Feature Learning
Case-Based Maintenance	Adaptation Guided Case Base Maintenance
Case-Based Reasoning	Large Scale Analogical Reasoning Adaptation Guided Case Base Maintenance
Case-control studies	Best Paper Nominee: Recovering from Selection Bias in Causal and Statistical Inference
category matching	Improving Context and Category Matching for Entity Search
Causal Inference	Best Paper Nominee: Recovering from Selection Bias in Causal and Statistical Inference
causal models	Testable Implications of Linear Structural Equation Models The Computational Complexity of Structure-Based Causality
Causal Reasoning	Best Paper Nominee: Recovering from Selection Bias in Causal and Statistical Inference
causality	Testable Implications of Linear Structural Equation Models Best Paper Nominee: Recovering from Selection Bias in Causal and Statistical Inference
Chinese Microblogs	Emotion Classification in Microblog Texts Using Class Sequential Rules
choosing weak learners	On Boosting Sparse Parities
Citation Network	Extracting Keyphrases from Research Papers using Citation Networks
CiteTextRank	Extracting Keyphrases from Research Papers using Citation Networks
Citizen Science	A Latent Variable Model for Discovering Bird Species Commonly Misidentified by Citizen Scientists
Class Sequential Rules	Emotion Classification in Microblog Texts Using Class Sequential Rules
classical music	A Machine Learning Approach to Musically Meaningful Homogeneous Style Classification
classical planning	Best Paper Nominee: Generalized Label Reduction for Merge-and-Shrink Heuristics
Classification	Evaluating Trauma Patients: Addressing Missing Covariates with Joint Optimization Learning Instance Concepts from Multiple-Instance Data with Bags as Distributions A Hybrid Grammar-Based Approach for Learning and Recognizing Natural Hand Gestures Supervised Transfer Sparse Coding
Classwise Block-Diagonal Structure	Learning Low-Rank Representations with Classwise Block-Diagonal Structure for Robust Face Recognition
clause learning	Non-Restarting SAT Solvers With Simple Preprocessing Efficiently Simulate Resolution
Clustering	Robust Non-Negative Dictionary Learning Novel Density-based Clustering Algorithms for Uncertain Data
clustering on graph	Learning Deep Representations for Graph Clustering
Co-occurrence Graph	Fraudulent Support Telephone Number Identification Based on Co-occurrence Information on the Web
coaching robots	Generalizing Policy Advice with Gaussian Process Bandits for Dynamic Skill Improvement
Coactive Learning	Coactive Learning for Locally Optimal Problem Solving
coevolutionary networks	Theory of Cooperation in Complex Social Networks
cognition	The Importance of Cognition and Affect for Artificially Intelligent Decision Makers
cognitive architecture	Learning Goal-Oriented Hierarchical Tasks from Situated Interactive Instruction
Cognitive Modeling	An Agent-Based Model Studying the Acquisition of a Language System of Logical Constructions
cognitive robotics	PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains
Cognitive Systems	Social Planning: Achieving Goals by Altering Others' Mental States Using Narrative Function to Extract Qualitative Information from Natural Language Texts
Collaborative Filtering	Dynamic Bayesian Probabilistic Matrix Factorization Recommendation by Mining Multiple User Behaviors with Group Sparsity Semantic Data Representation for Improving Tensor Factorization
collaborative models	Collaborative Models for Referring Expression Generation in Situated Dialogue
collapsed Gibbs sampling	Small-variance Asymptotics for Dirichlet Process Mixtures of SVMs
Color Refinement	Power Iterated Color Refinement
Column Generation	Delivering Guaranteed Display Ads under Reach and Frequency Requirements
combinatorial design	Bagging by design (on the sub-optimality of bagging)
common-sense reasoning	SenticNet 3: A Common and Common-Sense Knowledge Base for Cognition-Driven Sentiment Analysis
commonsense knowledge	Acquiring Comparative Commonsense Knowledge from the Web Acquiring Commonsense Knowledge for Sentiment Analysis through Human Computation
Community detection	CoreCluster: A Degeneracy Based Graph Clustering Framework
Comparative queries	Pathway Specification and Comparative Queries: A High Level Language with Petri Net Semantics
comparison shopping agents	Ordering Effects and Belief Adjustment in the Use of Comparison Shopping Agents
Competition relationships	Exploiting Competition Relationship for Robust Visual Recognition
Competitive assortment optimization	A Game-theoretic Analysis of Catalog Optimization
Competitive Contagion	New Models for Competitive Contagion
compilability	Oversubscription Planning: Complexity and Compilability
compilation	Preprocessing for Propositional Model Counting
compilation based approach	A Relevance-Based Compilation Method for Conformant Probabilistic Planning
Complex Contracts	Scalable Complex Contract Negotiation With Structured Search and Agenda Management
Complexity	The Computational Complexity of Structure-Based Causality A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams A Control Dichotomy for Pure Scoring Rules
complexity of query answering	Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics
Composite Gradient Mapping	Sparse Learning for Stochastic Composite Optimization
composite regularization	Gradient Descent with Proximal Average for Nonconvex and Composite Regularization
compositional model	Learning Compositional Sparse Models of Bimodal Percepts
compression code	Huffman Coding for Storing Non-uniformly Distributed Messages in Networks of Neural Cliques
computational (in)tractability	Prices Matter for the Parameterized Complexity of Shift Bribery
Computational Advertising	Non-linear Label Ranking for Large-scale Prediction of Long-Term User Interests Mechanism Design for Mobile Geo–Location Advertising
computational aesthetics	Dramatis: A Computational Model of Suspense
computational complexity	Local-To-Global Consistency Implies Tractability of Abduction Oversubscription Planning: Complexity and Compilability The Complexity of Reasoning with FODD and GFODD Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation
computational creativity	Dramatis: A Computational Model of Suspense
Computational economics	Multi-Organ Exchange: The Whole is Greater than the Sum of its Parts
computational linguistic features	Capturing Difficulty Expressions in Student Online Q&A Discussions
Computational social choice	Incomplete Preferences in Single-Peaked Electorates On the Axiomatic Characterization of Runoff Voting Rules Modal Ranking: A Uniquely Robust Voting Rule Envy-Free Division of Sellable Goods Preference Elicitation and Interview Minimization in Stable Matchings Binary Aggregation by Selection of the Most Representative Voter The Computational Rise and Fall of Fairness On Computing Optimal Strategies in Open List Proportional Representation: the Two Parties Case A Game-theoretic Analysis of Catalog Optimization Voting with Rank Dependent Scoring Rules Online (Budgeted) Social Choice Simultaneous Cake Cutting A Control Dichotomy for Pure Scoring Rules A Parameterized Complexity Analysis of Generalized CP-Nets
Computational Statistics	Wormhole Hamiltonian Monte Carlo
Computational Sustainability	A Region-Based Model for Estimating Urban Air Pollution
computer algebra	The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving
computer vision	A Generalized Genetic Algorithm-Based Solver for Very Large Jigsaw Puzzles of Complex Types
Computer-Aided Education	Synthesis of Geometry Proof Problems
Computing policies under uncertainty	Optimal and Efficient Stochastic Motion Planning in Partially-Known Environments
CoMSS	An Experimentally Efficient Method for (MSS,CoMSS) Partitioning
concept learning	GenEth: A General Ethical Dilemma Analyzer
concept-level sentiment analysis	SenticNet 3: A Common and Common-Sense Knowledge Base for Cognition-Driven Sentiment Analysis
Conditional Gradient	Power Iterated Color Refinement
conditional planning	Computing Contingent Plans via Fully Observable Non-Deterministic Planning
Conditional Restricted Boltzmann Machine	Echo-State Conditional Restricted Boltzmann Machines
Conformant probabilistic planning	A Relevance-Based Compilation Method for Conformant Probabilistic Planning
Congestion games	Congestion Games for V2G-Enabled EV Charging
conjunctive queries	Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics
Connected Row Convex Constraints	A Simple Polynomial-Time Randomized Distributed Algorithm for Connected Row Convex Constraints
Connectivity	New Models for Competitive Contagion
consistency checking	Fast Consistency Checking of Very Large Real-World RCC-8 Constraint Networks Using Graph Partitioning
Constraint Optimization	Cached Iterative Weakening for Optimal Multi-Way Number Partitioning Relaxation Search: a Simple Way of Managing Optional Clauses
Constraint Programming	A Support-Based Algorithm for the Bi-Objective Pareto Constraint Linear-Time Filtering Algorithms for the Disjunctive Constraint A Propagator Design Framework for Constraints over Sequences
constraint satisfaction	Avoiding Plagiarism in Markov Sequence Generation
Constraint Satisfaction Problem (CSP)	Backdoors into Heterogeneous Classes of SAT and CSP
Constraint Satisfaction Problems	Boosting SBDS for Partial Symmetry Breaking in Constraint Programming A Reasoner for the RCC-5 and RCC-8 Calculi Extended with Constants
constraint solving	Optimal Decomposition in Linear Constraint Systems
constraint-based clustering	Discovering Better AAAI Keywords via Clustering with Crowd-sourced Constraints
Constraint-based planning	Grandpa Hates Robots - Interaction Constraints for Planning in Inhabited Environments
constraints	Testable Implications of Linear Structural Equation Models
constraints over a sequence	Propagating Regular Counting Constraints
Constructive Arguments	A Constructive Argumentation Framework
context	Acquiring Commonsense Knowledge for Sentiment Analysis through Human Computation
context matching	Improving Context and Category Matching for Entity Search
Context-awareness	Context-aware Collaborative Topic Regression with Social Matrix Factorization for Recommender Systems
contingent planning	Computing Contingent Plans via Fully Observable Non-Deterministic Planning
Continuous Optimization	Power Iterated Color Refinement
Contrastive Divergence	Echo-State Conditional Restricted Boltzmann Machines
control	Symbolic Domain Predictive Control
control of elections	A Control Dichotomy for Pure Scoring Rules
Conversation modeling	Identifying Differences in Physician Communication Styles with a Log-Linear Transition Component Model
Convex Algorithm	A Convex Formulation for Semi-supervised Multi-Label Feature Selection
convex optimization	LASS: A Simple Assignment Model with Laplacian Smoothing Contextually Supervised Source Separation with Application to Energy Disaggregation
convex relaxation	Convex Co-embedding
convolutional neural networks	Supervised Hashing for Image Retrieval via Image Representation Learning
cooperation	The Importance of Cognition and Affect for Artificially Intelligent Decision Makers
Cooperative Agents	Dynamic Multi-Agent Task Allocation with Spatial and Temporal Constraints
Cooperative game theory	On the Structure of Synergies in Cooperative Games
coordinate descent	Supervised Hashing for Image Retrieval via Image Representation Learning
Coordination & Collaboration	Give a Hard Problem to a Diverse Team: Exploring Large Action Spaces
Coordination Games	Approximate Equilibrium and Incentivizing Social Coordination
Correction and Editing	Sketch Recognition with Natural Correction and Editing
correlation	Bagging by design (on the sub-optimality of bagging)
cost-optimal planning	Cost-Based Query Optimization via AI Planning
Counterfactual Regret Minimization	Regret Transfer and Parameter Optimization
counting	Propagating Regular Counting Constraints
covariance	Pairwise-Covariance Linear Discriminant Analysis
covariate shift	Multi-Instance Learning with Distribution Change
CP-nets	A Parameterized Complexity Analysis of Generalized CP-Nets
Cross Lingual	Cross-lingual Knowledge Validation Based Taxonomy Derivation from Heterogeneous Online Wikis
cross lingual classification	Semi-supervised Matrix Completion for Cross-Lingual Text Classification
cross-domain learning	Kernelized Bayesian Transfer Learning
Cross-View Learning	Cross-View Feature Learning for Scalable Social Image Analysis
Cross-view Similarity Search	Large-Scale Supervised Multimodal Hashing with Semantic Correlation Maximization
Crowd-Sourcing	Generating Content for Scenario-Based Serious-Games using CrowdSourcing
Crowdsourcing	Modal Ranking: A Uniquely Robust Voting Rule A Latent Variable Model for Discovering Bird Species Commonly Misidentified by Citizen Scientists Discovering Better AAAI Keywords via Clustering with Crowd-sourced Constraints Acquiring Commonsense Knowledge for Sentiment Analysis through Human Computation Signals in the Silence: Models of Implicit Feedback in a Recommender System for Crowdsourcing
CRRA utilities	Betting Strategies, Market Selection, and the Wisdom of Crowds
CSAI: Modeling the interactions of agents with different and often conflicting interests	A Multiarmed Bandit Incentive Mechanism for Crowdsourcing Demand Response in Smart Grids
CSP	Adaptive Singleton-based Consistencies
D
Data Augmentation	Dropout Training for Support Vector Machines
Data Management	Data Quality in Ontology-based Data Access: The Case of Consistency
Data Privacy	k-CoRating: Filling up Data to Obtain Privacy and Utility
Data Quality	Data Quality in Ontology-based Data Access: The Case of Consistency
data selection	Exact Subspace Clustering in Linear Time
data-driven methods in education	Learning Latent Engagement Patterns of Students in Online Courses
Dataless Text Classification	On Dataless Hierarchical Text Classification
datalog	Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems
Dataset	A Computational Challenge Problem in Materials Discovery: Synthetic Problem Generator and Real-World Datasets
DCOP	DJAO: A Communication‐Constrained DCOP Algorithm that Combines Features of ADOPT and Action‐GDL Regret-Based Multi-Agent Coordination with Uncertain Task Rewards
DCOPs	Decentralized Multi-Agent Reinforcement Learning in Average-Reward Dynamic DCOPs
De-anonymization	Mapping Users Across Networks by Manifold Alignment on Hypergraph
DEC-MDP	Decentralized Stochastic Planning with Anonymity in Interactions Multiagent Metareasoning Through Organizational Design
Deception	Social Planning: Achieving Goals by Altering Others' Mental States
Decision Diagrams	The Complexity of Reasoning with FODD and GFODD
Decision Diagrams (ADD - AADD - OBDD - SLDD)	A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams
Decision making	The Importance of Cognition and Affect for Artificially Intelligent Decision Makers
decision utility	Modeling Subjective Experience-based Learning under Uncertainty and Frames
Decision-making	Can Agent Development Affect Developer's Strategy?
deduplication	ARIA: Asymmetry Resistant Instance Alignment
Deep Belief Network	Deep Modeling of Group Preferences for Group-based Recommendation
Deep belief networks	Learning the Structure of Probabilistic Graphical Models with an Extended Cascading Indian Buffet Process
Deep Belief Propagation	Deep Salience: Visual Salience Modeling via Deep Belief Propagation
Deep Learning	Deep Modeling of Group Preferences for Group-based Recommendation Adaptive Multi-Compositionality for Recursive Neural Models with Applications to Sentiment Analysis Hybrid Heterogeneous Transfer Learning through Deep Learning On the Challenges of Physical Implementations of RBMs
deep representations	Learning Deep Representations for Graph Clustering
delete-free planning	Cost-Based Query Optimization via AI Planning
Density Matrix	Learning Concept Embeddings for Query Expansion by Quantum Entropy Minimization
Density-based algorithm	Novel Density-based Clustering Algorithms for Uncertain Data
density-ratio estimation	Instance-based Domain Adaptation in NLP via In-target-domain Logistic Approximation
dependent sampling	Bagging by design (on the sub-optimality of bagging)
Description Logic	Contraction and Revision over DL-Lite TBoxes
Description Logic Programs	Exploiting Support Sets for Answer Set Programs with External Evaluations
Description Logics	Abduction Framework for Repairing Incomplete EL Ontologies: Complexity Results and Algorithms A Tractable Approach to ABox Abduction over Description Logic Ontologies Data Quality in Ontology-based Data Access: The Case of Consistency Managing Change in Graph-structured Data Using Description Logics
design	Qualitative Reasoning with Modelica Models
determinantal point process (DPP)	Using The Matrix Ridge Approximation to Speedup Determinantal Point Processes Sampling Algorithms
Deterministic Parallelization	Parallel Restarted Search
Diagnosis and Abductive Reasoning	Local-To-Global Consistency Implies Tractability of Abduction
Diagram Understanding	Diagram Understanding in Geometry Problems
dialog analysis (emotional or information roles)	Capturing Difficulty Expressions in Student Online Q&A Discussions
dichotomy theorems	A Control Dichotomy for Pure Scoring Rules
dictionary learning	Robust Non-Negative Dictionary Learning
diffusion network	Learning Parametric Models for Social Infectivity in Multi-dimensional Hawkes Processes
Dimension reduction	Globally and Locally Consistent Unsupervised Projection Signed Laplacian Embedding for Supervised Dimension Reduction
dimensionality reduction	Best Paper Nominee: Manifold Learning for Jointly Modeling Topic and Visualization Fused Feature Representation Discovery for High-dimensional and Sparse Data The Role of Dimensionality Reduction in Linear Classification
direct model counting	Preprocessing for Propositional Model Counting
Disaster Informatics	Intelligent System for Urban Emergency Management During Large-scale Disaster
discriminant analysis	Low-Rank Tensor Learning with Discriminant Analysis for Action Classification and Image Recovery
disease mapping	Spatial Scan for Disease Mapping on a Mobile Population
Disjunctive constraint	Linear-Time Filtering Algorithms for the Disjunctive Constraint
disjunctive datalog	Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
distance estimates	Simpler Bounded Suboptimal Search
distance learning	Robust Distance Metric Learning in the Presence of Label Noise
Distance Metric Learning	Learning Relative Similarity by Stochastic Dual Coordinate Ascent SOML: Sparse Online Metric Learning with Application to Image Retrieval
Distributed AI	Give a Hard Problem to a Diverse Team: Exploring Large Action Spaces
Distributed Auctions	Minimising Undesired Task Costs in Multi-robot Task Allocation Problems with In-Schedule Dependencies
Distributed Constraint Optimization Problems	Decentralized Multi-Agent Reinforcement Learning in Average-Reward Dynamic DCOPs
Distributed CSP	A Simple Polynomial-Time Randomized Distributed Algorithm for Connected Row Convex Constraints
Distributed Problem Solving	DJAO: A Communication‐Constrained DCOP Algorithm that Combines Features of ADOPT and Action‐GDL
distribution change	Multi-Instance Learning with Distribution Change
DL-Lite	Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics
Do-calculus	Best Paper Nominee: Recovering from Selection Bias in Causal and Statistical Inference
document classification	Anytime Active Learning
Document editing interfaces	Programming by Example using Least General Generalizations
document visualization	Best Paper Nominee: Manifold Learning for Jointly Modeling Topic and Visualization
domain adaptation	Instance-based Domain Adaptation in NLP via In-target-domain Logistic Approximation Latent Domains Modeling for Visual Domain Adaptation Kernelized Bayesian Transfer Learning Locality Preserving Projection for Domain Adaptation with Multi-Objective Learning Hybrid Heterogeneous Transfer Learning through Deep Learning
domain consistency	Propagating Regular Counting Constraints
domain predictive control	Symbolic Domain Predictive Control
domain-dependent knowledge	Improving Domain-independent Cloud-based Speech Recognition with Domain-dependent Phonetic Post-processing
Double Configuration Checking	Double Configuration Checking in Stochastic Local Search for Satisfiability
Doubly Regularized Portfolio	Doubly Regularized Portfolio with Risk Minimization
Dropout traning	Dropout Training for Support Vector Machines
Dynamic Controllability	Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty
Dynamic Hierarchical Dirichlet Process	Dynamic Bayesian Probabilistic Matrix Factorization
Dynamic Problem	Dynamic Multi-Agent Task Allocation with Spatial and Temporal Constraints
dynamic programming	Finding the k-best Equivalence Classes of Bayesian Network Structures for Model Averaging Rounded Dynamic Programming for Tree-Structured Stochastic Network Design
E
Earth mover's distance	Finding Median Point-Set Using Earth Mover's Distance
Echo-State Network	Echo-State Conditional Restricted Boltzmann Machines
Ecology	A Latent Variable Model for Discovering Bird Species Commonly Misidentified by Citizen Scientists
eCommerce	Ordering Effects and Belief Adjustment in the Use of Comparison Shopping Agents
educational data mining	Capturing Difficulty Expressions in Student Online Q&A Discussions
efficiency	On the Incompatibility of Efficiency and Strategyproofness in Randomized Social Choice
efficient inference	Best Paper Nominee: Tractability through Exchangeability: A New Perspective on Efficient Probabilistic Inference
Eigenfunction Extrapolation	Improving Semi-Supervised Target Alignment via Label-Aware Base Kernels
elections	A Characterization of the Single-Peaked Single-Crossing Domain
Electric Vehicles	Best Paper Nominee: Placement of Loading Stations for Electric Vehicles: No Detours Necessary! Joule Counting Correction for Electric Vehicles using Artificial Neural Nets Effective Management of Electric Vehicle Storage using Smart Charging
electricity tariff	Efficient Buyer Groups for Prediction-of-Use Electricity Tariffs
elementary loops	Elementary Loops Revisited
Elimination orderings	Elimination Ordering in Lifted First-Order Probabilistic Inference
Embedding	Learning Concept Embeddings for Query Expansion by Quantum Entropy Minimization
Emergency Management	Intelligent System for Urban Emergency Management During Large-scale Disaster
Emotion	Predicting Emotions in User-Generated Videos
Emotion Classification	Emotion Classification in Microblog Texts Using Class Sequential Rules
emotion inference	How Do Your Friends on Social Media Disclose Your Emotions?
emotions extraction	Prediction of Helpful Reviews using Emotions Extraction
Empirical	On the Challenges of Physical Implementations of RBMs
empirical hardness models	Predicting the Hardness of Learning Bayesian Networks
empirical risk minimization algorithm	Agent Behavior Prediction and Its Generalization Analysis
Endogenous budgets	New Models for Competitive Contagion
Endowment effect	Online and Stochastic Learning with a Human Cognitive Bias
energy disaggregation	Contextually Supervised Source Separation with Application to Energy Disaggregation
energy efficiency	Best Paper Nominee: Placement of Loading Stations for Electric Vehicles: No Detours Necessary!
Ensemble learning	Relational One-Class Classification: A Non-Parametric Approach
entity matching	ARIA: Asymmetry Resistant Instance Alignment
entity search	Improving Context and Category Matching for Entity Search
Envy-free allocation	Envy-Free Division of Sellable Goods The Computational Rise and Fall of Fairness
epidemic control	Equilibria in Epidemic Containment Games
Equilibria Computation	Solving Zero-Sum Security Games in Discretized Spatio-Temporal Domains
Equilibrium analysis	Incentivizing High-Quality Content from Heterogeneous Users: On the Existence of Nash Equilibrium The Fisher Market Game: Equilibrium and Welfare
Equilibrium computation	Biased Games
Equilibrium existence	Biased Games
Equilibrium preserving transformation	Bounding the Support Size in Extensive Form Games with Imperfect Information
equilibrium theory	Solving Imperfect Information Games Using Decomposition
Equivalence class	Finding the k-best Equivalence Classes of Bayesian Network Structures for Model Averaging
EV charging	Congestion Games for V2G-Enabled EV Charging
event recommendation	Combining Heterogenous Social and Geographical Information for Event Recommendation
evolution of cooperation	Theory of Cooperation in Complex Social Networks
Evolutionary game theory	Evolutionary Dynamics of Q-Learning over the Sequence Form
Exchange	Strategyproof exchange with multiple private endowments Two Case Studies for Trading Multiple Indivisible Goods with Indifferences
exchangeability	Best Paper Nominee: Tractability through Exchangeability: A New Perspective on Efficient Probabilistic Inference
execution monitoring	Learning Unknown Event Models
experienced utility	Modeling Subjective Experience-based Learning under Uncertainty and Frames
experimentation	Ordering Effects and Belief Adjustment in the Use of Comparison Shopping Agents
explanation generation	Learning Unknown Event Models
explanation-based learning	Learning Goal-Oriented Hierarchical Tasks from Situated Interactive Instruction
Extensive form games	Bounding the Support Size in Extensive Form Games with Imperfect Information
extensive-form games	Using Response Functions to Measure Strategy Strength Solving Imperfect Information Games Using Decomposition
External Sources	Exploiting Support Sets for Answer Set Programs with External Evaluations
F
Face recognition	On Hair Recognition in the Wild by Machine Experiments on Visual Information Extraction with the Faces of Wikipedia
Face verification	Experiments on Visual Information Extraction with the Faces of Wikipedia
facility location	Best Paper Nominee: Placement of Loading Stations for Electric Vehicles: No Detours Necessary!
Fact Extraction	Knowledge Graph Embedding by Translating on Hyperplanes
Fair division	Envy-Free Division of Sellable Goods A Generalization of Probabilistic Serial to Randomized Social Choice The Computational Rise and Fall of Fairness Simultaneous Cake Cutting
Fast	Fast Multi-Instance Multi-Label Learning
feature	Non-convex feature learning via lp,∞ operator
feature grouping	Fused Feature Representation Discovery for High-dimensional and Sparse Data
Feature Learning	Deep Modeling of Group Preferences for Group-based Recommendation Cross-View Feature Learning for Scalable Social Image Analysis
Feature Noising	Dropout Training for Support Vector Machines
feature representation discovery	Fused Feature Representation Discovery for High-dimensional and Sparse Data
feature selection	Reconsidering Mutual Information Based Feature Selection: A Statistical Significance View Fused Feature Representation Discovery for High-dimensional and Sparse Data Feature Selection at the Discrete Limit
feature sparseness	Forecasting Potential Diabetes Complications
feature-cost sensitive learning	Feature-Cost Sensitive Learning with Submodular Trees of Classifiers
Filtering algorithms	Linear-Time Filtering Algorithms for the Disjunctive Constraint
finite automata	Propagating Regular Counting Constraints
Finite Traces	Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness
First Order Logic	The Complexity of Reasoning with FODD and GFODD
first-order parallel and prioritized circumscription	Computing General First-order Parallel and Prioritized Circumscription
first-order rewritable	A Tractable Approach to ABox Abduction over Description Logic Ontologies
first-order stable model semantics	Computing General First-order Parallel and Prioritized Circumscription
Fisher discrimination Dictionary learning (FDDL)	Uncorrelated Multi-View Discrimination Dictionary Learning for Recognition
Fisher market game	The Fisher Market Game: Equilibrium and Welfare
Fisher markets	The Fisher Market Game: Equilibrium and Welfare
Fitted Q-Iteration	Tree-Based On-line Reinforcement Learning
Fixed-parameter tractable algorithms	Backdoors to Planning A Parameterized Complexity Analysis of Generalized CP-Nets
fixpoint computation	Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems
flexibility	Optimal Decomposition in Linear Constraint Systems
FOND	Computing Contingent Plans via Fully Observable Non-Deterministic Planning
forbidden configurations	On Detecting Nearly Structured Preference Profiles
forecast diabetes complications	Forecasting Potential Diabetes Complications
Fractional Automorphism	Power Iterated Color Refinement
Fraudulent Support Telephone Number	Fraudulent Support Telephone Number Identification Based on Co-occurrence Information on the Web
free energy	An Adversarial Interpretation of Information-Theoretic Bounded Rationality
Frequency	Delivering Guaranteed Display Ads under Reach and Frequency Requirements
functional dependencies	Capturing Relational Schemas and Functional Dependencies in RDFS
G
gain frame	Modeling Subjective Experience-based Learning under Uncertainty and Frames
Gambling	Beat the Cheater: Computing Game-Theoretic Strategies for When to Kick a Gambler out of a Casino
Game Abstraction	Potential-Aware Imperfect-Recall Abstraction with Earth Mover's Distance in Imperfect-Information Games
Game description language	Solving the Inferential Frame Problem in the General Game Description Language
game generation	Automatic Game Design via Mechanic Generation
game mechanics	Automatic Game Design via Mechanic Generation
Game Solving	Regret Transfer and Parameter Optimization Potential-Aware Imperfect-Recall Abstraction with Earth Mover's Distance in Imperfect-Information Games
Game Theory	Beat the Cheater: Computing Game-Theoretic Strategies for When to Kick a Gambler out of a Casino A Strategy-Proof Online Auction with Time Discounting Values Solving Imperfect Information Games Using Decomposition An Adversarial Interpretation of Information-Theoretic Bounded Rationality Game-theoretic Resource Allocation for Protecting Large Public Events Potential-Aware Imperfect-Recall Abstraction with Earth Mover's Distance in Imperfect-Information Games Equilibria in Epidemic Containment Games Bounding the Support Size in Extensive Form Games with Imperfect Information Evolutionary Dynamics of Q-Learning over the Sequence Form Mechanism Design for Scheduling with Uncertain Execution Time.
Game Theory (cooperative and non–cooperative)	Mechanism Design for Mobile Geo–Location Advertising
games with a purpose	Acquiring Commonsense Knowledge for Sentiment Analysis through Human Computation
Gaussian process	A Region-Based Model for Estimating Urban Air Pollution GP-Localize: Persistent Mobile Robot Localization using Online Sparse Gaussian Process Observation Model
gaussian process bandits	Generalizing Policy Advice with Gaussian Process Bandits for Dynamic Skill Improvement
gaussian processes	Efficient Optimization for Autonomous Manipulation of Natural Objects Automatic Construction and Natural-Language Description of Nonparametric Regression Models
Gaussian random field	Accurate Integration of Aerosol Predictions by Smoothing on a Manifold
Gaze Modelling	Deep Salience: Visual Salience Modeling via Deep Belief Propagation
General game playing	Solving the Inferential Frame Problem in the General Game Description Language
General iterative solver	Proximal Iteratively Reweighted Algorithm with Multiple Splitting for Nonconvex Sparsity Optimization
generalization analysis	Agent Behavior Prediction and Its Generalization Analysis
Generalized Fused Lasso	Efficient Generalized Fused Lasso and Its Application to the Diagnosis of Alzheimer’s Disease
Generated Content	Generating Content for Scenario-Based Serious-Games using CrowdSourcing
Generative model	Lifetime Lexical Variation in Social Media How Do Your Friends on Social Media Disclose Your Emotions?
genetic algorithms	A Generalized Genetic Algorithm-Based Solver for Very Large Jigsaw Puzzles of Complex Types
geographical features	Combining Heterogenous Social and Geographical Information for Event Recommendation
Geometric Methods	Wormhole Hamiltonian Monte Carlo
Global Constraint	A Support-Based Algorithm for the Bi-Objective Pareto Constraint
global constraints	Avoiding Plagiarism in Markov Sequence Generation Linear-Time Filtering Algorithms for the Disjunctive Constraint A Propagator Design Framework for Constraints over Sequences
global optimization	Reconsidering Mutual Information Based Feature Selection: A Statistical Significance View
goal-driven autonomy	Learning Unknown Event Models
GOLOG	Efficiently Implementing GOLOG with Answer Set Programming Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs
gradient	Pairwise-Covariance Linear Discriminant Analysis
Graph clustering	CoreCluster: A Degeneracy Based Graph Clustering Framework
graph construction	Semantic Graph Construction for Weakly-Supervised Image Parsing Manifold Spanning Graphs
Graph degeneracy	CoreCluster: A Degeneracy Based Graph Clustering Framework
Graph mining	CoreCluster: A Degeneracy Based Graph Clustering Framework
graph partitioning	Fast Consistency Checking of Very Large Real-World RCC-8 Constraint Networks Using Graph Partitioning
Graph structured data	Managing Change in Graph-structured Data Using Description Logics
graph theory	Solving the Traveling Tournament Problem by Packing Three-Vertex Paths Equilibria in Epidemic Containment Games
graph-based learning	Direct Semantic Analysis for Social Image Classification
graphical models	Learning the Structure of Probabilistic Graphical Models with an Extended Cascading Indian Buffet Process Testable Implications of Linear Structural Equation Models Approximate Lifting Techniques for Belief Propagation
Greedy Best First Search	Adding Local Exploration to Greedy Best-First Search for Satisficing Planning Type-Based Exploration with Multiple Search Queues for Satisficing Planning
Green Buildings	Supervised Scoring with Monotone Multidimensional Splines
Grounded Language Acquisition	Unsupervised Alignment of Natural Language Instructions with Video Segments
group buying	Efficient Buyer Groups for Prediction-of-Use Electricity Tariffs
group lasso	Online Portfolio Selection with Group Sparsity
Group Recommender System	Deep Modeling of Group Preferences for Group-based Recommendation
GTEP: Auctions and Market-Based Systems	A Multiarmed Bandit Incentive Mechanism for Crowdsourcing Demand Response in Smart Grids
Guaranteed Targeted Display Advertising	Delivering Guaranteed Display Ads under Reach and Frequency Requirements
H
Hamming distance	Similarity-Preserving Binary Signature for Linear Subspaces
Hardware	On the Challenges of Physical Implementations of RBMs
Hawkes process	Learning Parametric Models for Social Infectivity in Multi-dimensional Hawkes Processes
HCC: Game-theoretic mechanism design of incentives for motivation and honest reporting	A Multiarmed Bandit Incentive Mechanism for Crowdsourcing Demand Response in Smart Grids
helpfulness prediction	Prediction of Helpful Reviews using Emotions Extraction
heterogeneous data mining	Modeling and Mining Spatiotemporal Patterns of Infection Risk from Heterogeneous Data for Active Surveillance Planning
Heterogeneous Multi Robot Systems	A Framework for Task Planning in Heterogeneous Multi Robot Systems Based on Robot Capabilities
heterogeneous social networks	Combining Heterogenous Social and Geographical Information for Event Recommendation
Heterogeneous users	Incentivizing High-Quality Content from Heterogeneous Users: On the Existence of Nash Equilibrium
Heuristic Search	Adding Local Exploration to Greedy Best-First Search for Satisficing Planning Cost-Based Query Optimization via AI Planning Cached Iterative Weakening for Optimal Multi-Way Number Partitioning Exponential Deepening A* for Real-Time Agent-Centered Search Type-Based Exploration with Multiple Search Queues for Satisficing Planning Best Paper Nominee: Generalized Label Reduction for Merge-and-Shrink Heuristics
Heuristics	Worst-Case Solution Quality Analysis When Not Re-Expanding Nodes in Best-First Search Tailoring Local Search for Partial MaxSAT
Hierarchical search	Identifying Hierarchies for Fast Optimal Search
Hierarchical Text Classification	On Dataless Hierarchical Text Classification
Higher-order orthogonal iteration	Generalized Higher-Order Tensor Decomposition via Parallel ADMM
HMM	Unsupervised Alignment of Natural Language Instructions with Video Segments Learning Scripts as Hidden Markov Models
Household occupant behavior modeling	Accurate Household Occupant Behavior Modeling Based on Data Mining Techniques
human advice	Generalizing Policy Advice with Gaussian Process Bandits for Dynamic Skill Improvement
Human Cognitive Bias	Online and Stochastic Learning with a Human Cognitive Bias
human computation	Acquiring Commonsense Knowledge for Sentiment Analysis through Human Computation
Human Computer Interaction	A Strategy-Aware Technique for Learning Behaviors from Discrete Human Feedback
Human Mobility	Intelligent System for Urban Emergency Management During Large-scale Disaster
Human-aware planning	Grandpa Hates Robots - Interaction Constraints for Planning in Inhabited Environments
Human-Robot Interaction	Calibration-Free BCI Based Control Learning from Unscripted Deictic Gesture and Language for Human-Robot Interactions
Hybrid Automata	Planning as Model Checking in Hybrid Domains
hybrid domains	Symbolic Domain Predictive Control
hybrid singular value thresholding	Hybrid Singular Value Thresholding for Tensor Completion
Hypergraph	Mapping Users Across Networks by Manifold Alignment on Hypergraph
I
IBM Model 1	Unsupervised Alignment of Natural Language Instructions with Video Segments
Iconic Hand Gestures	A Hybrid Grammar-Based Approach for Learning and Recognizing Natural Hand Gestures
Ideal Kernel	Improving Semi-Supervised Target Alignment via Label-Aware Base Kernels
identification constraints	Capturing Relational Schemas and Functional Dependencies in RDFS
Identity resolution	Experiments on Visual Information Extraction with the Faces of Wikipedia
Image Classification	Adaptive Knowledge Transfer for Multiple Instance Learning in Image Classification
image hashing	Sub-Selective Quantization for Large-Scale Image Search
Image Parsing	Semantic Graph Construction for Weakly-Supervised Image Parsing
Image Retrieval	Large-Scale Supervised Multimodal Hashing with Semantic Correlation Maximization SOML: Sparse Online Metric Learning with Application to Image Retrieval Sub-Selective Quantization for Large-Scale Image Search
Image Semantic Segmentation	Semantic Segmentation Using Multiple Graphs with Block-Diagonal Constraints
image summarization	A Joint Optimization Model for Image Summarization Based on Image Content and Tags
image tags	A Joint Optimization Model for Image Summarization Based on Image Content and Tags
images and comments	How Do Your Friends on Social Media Disclose Your Emotions?
Imitation Learning	Imitation Learning with Demonstrations and Shaping Rewards
immunization	Equilibria in Epidemic Containment Games
Imperfect Information	Potential-Aware Imperfect-Recall Abstraction with Earth Mover's Distance in Imperfect-Information Games
imperfect information games	Solving Imperfect Information Games Using Decomposition
implementation	Simpler Bounded Suboptimal Search
Implicit Feedback	Signals in the Silence: Models of Implicit Feedback in a Recommender System for Crowdsourcing
importance sampling	Multi-Instance Learning with Distribution Change
inadmissibility	Worst-Case Solution Quality Analysis When Not Re-Expanding Nodes in Best-First Search
Incomplete information	Incomplete Preferences in Single-Peaked Electorates
inconsistency	Worst-Case Solution Quality Analysis When Not Re-Expanding Nodes in Best-First Search
inconsistency-tolerant query answering	Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics
Incremental Search	Solving Uncertain MDPs by Reusing State Information and Plans
independence of clones	On the Axiomatic Characterization of Runoff Voting Rules
independent cascade model	Fast and Accurate Influence Maximization on Large Networks with Pruned Monte-Carlo Simulations
independent components	Predicting Postoperative Atrial Fibrillation from Independent ECG Components
Indifference	Two Case Studies for Trading Multiple Indivisible Goods with Indifferences
Individual rationality	Two Case Studies for Trading Multiple Indivisible Goods with Indifferences
Inductive inference	Programming by Example using Least General Generalizations
Inexact Augmented Lagrange Multiplier	Locality-constrained Low-rank Coding for Image Classification
Inexact proximal Newton methods	Scalable Sparse Covariance Estimation via Self-Concordance
Inference	Sample-Adaptive Multiple Kernel Learning
Inferential frame problem	Solving the Inferential Frame Problem in the General Game Description Language
Infinite directed acyclic graphs	Learning the Structure of Probabilistic Graphical Models with an Extended Cascading Indian Buffet Process
infinite SVM	Small-variance Asymptotics for Dirichlet Process Mixtures of SVMs
influence maximization	Fast and Accurate Influence Maximization on Large Networks with Pruned Monte-Carlo Simulations Rounded Dynamic Programming for Tree-Structured Stochastic Network Design Influence Maximization with Novelty Decay in Social Networks
influencing social networks	Theory of Cooperation in Complex Social Networks
Information elicitation	Incentives for Truthful Information Elicitation of Continuous Signals
Information Extraction	Acquiring Comparative Commonsense Knowledge from the Web User Intent Identification from Online Discussions using a Joint Aspect-Action Topic Model Experiments on Visual Information Extraction with the Faces of Wikipedia
Information quality	Quality-based Learning for Web Data Classification
information retrieval	A Machine Learning Approach to Musically Meaningful Homogeneous Style Classification
information-dense text	Detecting Information-Dense Texts in Multiple News Domains
instance adaptation	Instance-based Domain Adaptation in NLP via In-target-domain Logistic Approximation
instance alignment	ARIA: Asymmetry Resistant Instance Alignment
instance-based adaptation	Instance-based Domain Adaptation in NLP via In-target-domain Logistic Approximation
Intelligent Tutor	Synthesis of Geometry Proof Problems
Inter-view and intra-view supervised correlation analysis (I2SCA)	Intra-view and Inter-view Supervised Correlation Analysis for Multi-view Feature Learning
interactive learning	Learning Goal-Oriented Hierarchical Tasks from Situated Interactive Instruction
Interdependent Issues	Scalable Complex Contract Negotiation With Structured Search and Agenda Management
Interpolation	Supervised Scoring with Monotone Multidimensional Splines
intersection graph	Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation
intrinsic manifold structure preservation	A Local Non-negative Pursuit Method for Intrinsic Manifold Structure Preservation
Intuitionistic Logic	A Constructive Argumentation Framework
inverse dynamics	Efficient Codes for Inverse Dynamics during Walking
Inverse reinforcement learning	Robust Bayesian Inverse Reinforcement Learning with Sparse Behavior Noise
investment game	Leveraging Fee-Based, Imperfect Advisors in Human-Agent Games of Trust
iterative deepening	Simpler Bounded Suboptimal Search
iterative SAT solving	Maximum Satisfiability using core-guided MaxSAT Resolution
J
jigsaw puzzle	A Generalized Genetic Algorithm-Based Solver for Very Large Jigsaw Puzzles of Complex Types
joint method	Joint Morphological Generation and Syntactic Linearization
Joint Modeling	User Intent Identification from Online Discussions using a Joint Aspect-Action Topic Model
jointly learning	Exploiting Competition Relationship for Robust Visual Recognition
Judgment Aggregation	Binary Aggregation by Selection of the Most Representative Voter
K
k-svd	Online Multi-Task Learning via Sparse Dictionary Optimization
Kelly betting	Betting Strategies, Market Selection, and the Wisdom of Crowds
kernel approximation	Using The Matrix Ridge Approximation to Speedup Determinantal Point Processes Sampling Algorithms
kernel embedding of distributions	Monte Carlo Filtering using Kernel Embedding of Distributions
kernel method	Monte Carlo Filtering using Kernel Embedding of Distributions
Kernel Methods	A Spatially Sensitive Kernel to Predict Cognitive Performance from Short-Term Changes in Neural Structure Kernelized Bayesian Transfer Learning
Kernel Target Alignment	Improving Semi-Supervised Target Alignment via Label-Aware Base Kernels
Kernelized extension	Intra-view and Inter-view Supervised Correlation Analysis for Multi-view Feature Learning
Key instance	Fast Multi-Instance Multi-Label Learning
Kidney exchange	Internally Stable Matchings and Exchanges Multi-Organ Exchange: The Whole is Greater than the Sum of its Parts
knockout tournaments	Fixing a Balanced Knockout Tournament
knowledge base systems	Large Scale Analogical Reasoning
Knowledge Compilation	A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams
Knowledge Completion	Knowledge Graph Embedding by Translating on Hyperplanes
Knowledge Embedding	Knowledge Graph Embedding by Translating on Hyperplanes
Knowledge Evolution	Towards Scalable Exploration of Diagnoses in an Ontology Stream
Knowledge Graph	Knowledge Graph Embedding by Translating on Hyperplanes
Knowledge Reasoning	Knowledge Graph Embedding by Translating on Hyperplanes
knowledge representation	PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains
Knowledge Representation and Reasoning	The Computational Complexity of Structure-Based Causality
Knowledge transfer	Active Learning for Crowdsourcing Using Knowledge Transfer
Knowledge Validation	Cross-lingual Knowledge Validation Based Taxonomy Derivation from Heterogeneous Online Wikis
L
L1-norm minimization and maximization	Globally and Locally Consistent Unsupervised Projection
L2p norm	Feature Selection at the Discrete Limit
label correlation	Multilabel Classification with Label Correlations and Missing Labels
label noise	Robust Distance Metric Learning in the Presence of Label Noise
Label ranking	Non-linear Label Ranking for Large-scale Prediction of Long-Term User Interests
label reduction	Best Paper Nominee: Generalized Label Reduction for Merge-and-Shrink Heuristics
Landmarks	A Reasoner for the RCC-5 and RCC-8 Calculi Extended with Constants
Language and Vision	Unsupervised Alignment of Natural Language Instructions with Video Segments Diagram Understanding in Geometry Problems
language model	Improving Context and Category Matching for Entity Search
Laplacian smoothing	LASS: A Simple Assignment Model with Laplacian Smoothing
Large Incomplete-Information Games	Regret Transfer and Parameter Optimization
Large-scale learning	Non-linear Label Ranking for Large-scale Prediction of Long-Term User Interests
Large-scale Negotiation	Scalable Complex Contract Negotiation With Structured Search and Agenda Management
latent low-rank	Latent Low-Rank Transfer Subspace Learning for Missing Modality Recognition
latent model	Latent Domains Modeling for Visual Domain Adaptation
latent semantic analysis	Direct Semantic Analysis for Social Image Classification
Latent Support Vector Machine	Sample-Adaptive Multiple Kernel Learning
learning	Non-convex feature learning via lp,∞ operator
learning environment models	Learning Unknown Event Models
learning for robots	Learning Goal-Oriented Hierarchical Tasks from Situated Interactive Instruction
learning from dialog	Learning Goal-Oriented Hierarchical Tasks from Situated Interactive Instruction
Learning from Feedback	A Strategy-Aware Technique for Learning Behaviors from Discrete Human Feedback
learning to rank	Ranking Tweets by Labeled and Collaboratively Selected Pairs with Transitive Closure
legendre transform	An Adversarial Interpretation of Information-Theoretic Bounded Rationality
lifelong learning	Online Multi-Task Learning via Sparse Dictionary Optimization
Lifted Belief Propagation	Power Iterated Color Refinement
lifted inference	Best Paper Nominee: Tractability through Exchangeability: A New Perspective on Efficient Probabilistic Inference Approximate Lifting Techniques for Belief Propagation Elimination Ordering in Lifted First-Order Probabilistic Inference
Lifted Probabilistic Inference	Lifting Relational MAP-LPs Using Cluster Signatures
linear	Testable Implications of Linear Structural Equation Models
Linear bandits	Large-Scale Optimistic Adaptive Submodularity
linear discriminant analysis	Pairwise-Covariance Linear Discriminant Analysis
linear programming	Lifting Relational MAP-LPs Using Cluster Signatures Optimal Decomposition in Linear Constraint Systems
linear subspace	Similarity-Preserving Binary Signature for Linear Subspaces
Linear Temporal Logic	Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness
linkage	ARIA: Asymmetry Resistant Instance Alignment
linked data	ARIA: Asymmetry Resistant Instance Alignment
Linked Open Data	Semantic Data Representation for Improving Tensor Factorization
Lithium Iron Phosphate (LiFePo)	Joule Counting Correction for Electric Vehicles using Artificial Neural Nets
Local Consistency	Local-To-Global Consistency Implies Tractability of Abduction
local linear subspace	Latent Domains Modeling for Visual Domain Adaptation
Local Metric Learning	Sparse Compositional Metric Learning
Local Optimization	Coactive Learning for Locally Optimal Problem Solving
Local Search	Tailoring Local Search for Partial MaxSAT
Local smoothness	ReLISH: Reliable Label Inference via Smoothness Hypothesis
Locality Coding	Locality-constrained Low-rank Coding for Image Classification
Locality Preserving Hashing	Locality Preserving Hashing
locality preserving projection	Locality Preserving Projection for Domain Adaptation with Multi-Objective Learning
Location Based Social Network	Where and Why Users "Check In"
Logic of Knowledge	Symbolic Model Checking Epistemic Strategy Logic
Logic-based Argumentation	A Constructive Argumentation Framework
Logic-Based Process and Service Modelling	Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness
Loops	A Scheduler for Actions with Iterated Durations
loss frame	Modeling Subjective Experience-based Learning under Uncertainty and Frames
lotteries	On the Incompatibility of Efficiency and Strategyproofness in Randomized Social Choice
low power	Efficient Object Detection via Adaptive Online Selection of Sensor-Array Elements
low rank and sparse matrix decomposition	Decomposing Activities of Daily Living to Discover Routine Clusters
low-rank	Low-Rank Tensor Learning with Discriminant Analysis for Action Classification and Image Recovery
Low-rank Coding	Locality-constrained Low-rank Coding for Image Classification
low-rank matrices	Robust Multi-View Spectral Clustering via Low-Rank and Sparse Decomposition
low-rank recovery	Hybrid Singular Value Thresholding for Tensor Completion
Low-Rank Representations	Learning Low-Rank Representations with Classwise Block-Diagonal Structure for Robust Face Recognition
lower and upper bounds	Tightening Bounds for Bayesian Network Structure Learning
M
machine ethics	GenEth: A General Ethical Dilemma Analyzer
machine learning	Online and Stochastic Learning with a Human Cognitive Bias Discovering Better AAAI Keywords via Clustering with Crowd-sourced Constraints A Spatially Sensitive Kernel to Predict Cognitive Performance from Short-Term Changes in Neural Structure Active Learning with Model Selection A Hybrid Grammar-Based Approach for Learning and Recognizing Natural Hand Gestures TacTex’13: A Champion Adaptive Power Trading Agent Partial Multi-View Clustering Efficient Codes for Inverse Dynamics during Walking
machine translation	Machine Translation with Real-time Web Search
Mahalanobis distance	Cross-Domain Metric Learning Based on Information Theory
malware propagation	Equilibria in Epidemic Containment Games
manifold	Accurate Integration of Aerosol Predictions by Smoothing on a Manifold
Manifold Alignment	Mapping Users Across Networks by Manifold Alignment on Hypergraph
Manifold Embedding	Towards Topological-transformation Robust Shape Comparison: A Sparse Representation Based Manifold Embedding Approach
manifold learning	Best Paper Nominee: Manifold Learning for Jointly Modeling Topic and Visualization Signed Laplacian Embedding for Supervised Dimension Reduction Manifold Spanning Graphs
Manipulation	Strategyproof exchange with multiple private endowments Fixing a Balanced Knockout Tournament
MAP Estimation	Lifting Relational MAP-LPs Using Cluster Signatures
Market selection	Betting Strategies, Market Selection, and the Wisdom of Crowds
Market-Based Systems	Minimising Undesired Task Costs in Multi-robot Task Allocation Problems with In-Schedule Dependencies
Markov Chain	Designing Fast Absorbing Markov Chains
Markov Chain in Random Environments	Agent Behavior Prediction and Its Generalization Analysis
Markov chain mixing time	Mixing-time Regularized Policy Gradient
Markov chain models	Accurate Household Occupant Behavior Modeling Based on Data Mining Techniques
Markov Chain Monte Carlo	Wormhole Hamiltonian Monte Carlo
Markov chains	Avoiding Plagiarism in Markov Sequence Generation Robust Multi-View Spectral Clustering via Low-Rank and Sparse Decomposition
markov decision process	State Aggregation in Monte Carlo Tree Search
Markov Decision Processes	Tree-Based On-line Reinforcement Learning
Markov Decision Processes (MDPs)	Solving Uncertain MDPs by Reusing State Information and Plans
materialization	Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems
Materials discovery	A Computational Challenge Problem in Materials Discovery: Synthetic Problem Generator and Real-World Datasets
Math programming	Delivering Guaranteed Display Ads under Reach and Frequency Requirements
mathematical problem solving	The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving
Matrix completion	Semi-supervised Matrix Completion for Cross-Lingual Text Classification Privacy and Regression Model Preserved Learning
Matrix Factorization	Signals in the Silence: Models of Implicit Feedback in a Recommender System for Crowdsourcing Recommendation by Mining Multiple User Behaviors with Group Sparsity Context-aware Collaborative Topic Regression with Social Matrix Factorization for Recommender Systems
matrix norm regularization	Convex Co-embedding
matrix ridge approximation (MRA)	Using The Matrix Ridge Approximation to Speedup Determinantal Point Processes Sampling Algorithms
Maximal Satisﬁable Subset	An Experimentally Efficient Method for (MSS,CoMSS) Partitioning
maximum satisfiability	Maximum Satisfiability using core-guided MaxSAT Resolution Optimal Neighborhood Preserving Visualization by Maximum Satisfiability Relaxation Search: a Simple Way of Managing Optional Clauses
Maximum weighted matching	Internally Stable Matchings and Exchanges
MaxSAT	MaxSAT by Improved Instance‐Specific Algorithm Configuration
maxsat resolution	Maximum Satisfiability using core-guided MaxSAT Resolution
MCMC	Designing Fast Absorbing Markov Chains
MCMC inference	Learning the Structure of Probabilistic Graphical Models with an Extended Cascading Indian Buffet Process
meaning text theory	Joint Morphological Generation and Syntactic Linearization
Mechanism Design	A Strategy-Proof Online Auction with Time Discounting Values Increasing VCG Revenue by Decreasing the Quality of Items Mechanism Design for Mobile Geo–Location Advertising Incentives for Truthful Information Elicitation of Continuous Signals Strategyproof exchange with multiple private endowments Mechanism Design for Scheduling with Uncertain Execution Time. Two Case Studies for Trading Multiple Indivisible Goods with Indifferences
Mechanisms	Item Bidding for Combinatorial Public Projects
medicine	Predicting Postoperative Atrial Fibrillation from Independent ECG Components
merge-and-shrink abstractions	Best Paper Nominee: Generalized Label Reduction for Merge-and-Shrink Heuristics
metric learning	Sparse Compositional Metric Learning Cross-Domain Metric Learning Based on Information Theory
Microblog search	Ranking Tweets by Labeled and Collaboratively Selected Pairs with Transitive Closure
Mid-level Representations	Locality-constrained Low-rank Coding for Image Classification
Mind perception	The Importance of Cognition and Affect for Artificially Intelligent Decision Makers
Minimal Correction Sets	Relaxation Search: a Simple Way of Managing Optional Clauses
Minimax Equilibrium	Solving Zero-Sum Security Games in Discretized Spatio-Temporal Domains
minimax regret	Regret-based Optimization and Preference Elicitation for Stackelberg Security Games with Uncertainty
missing label	Multilabel Classification with Label Correlations and Missing Labels
missing values	Evaluating Trauma Patients: Addressing Missing Covariates with Joint Optimization
Mixed Observability	Structured Possibilistic Planning using Decision Diagrams
ML classifier features	Learning from Unscripted Deictic Gesture and Language for Human-Robot Interactions
Mobile Advertising	Mechanism Design for Mobile Geo–Location Advertising
mobile data	Spatial Scan for Disease Mapping on a Mobile Population
Model averaging	Finding the k-best Equivalence Classes of Bayesian Network Structures for Model Averaging
Model based diagnosis	Using Model-Based Diagnosis to Improve Software Testing
Model Checking	Planning as Model Checking in Hybrid Domains Symbolic Model Checking Epistemic Strategy Logic
model counting	Preprocessing for Propositional Model Counting
model description	Automatic Construction and Natural-Language Description of Nonparametric Regression Models
model selection	Active Learning with Model Selection
model-based diagnosis	Diagnosing Analogue Linear Systems Using Dynamic Topological Reconfiguration
model-based reasoning	Qualitative Reasoning with Modelica Models
Model-Checking PCTL Constraints	Saturated Path-Constrained MDP: Planning under Uncertainty and Deterministic Model-Checking Constraints
Modelica	Qualitative Reasoning with Modelica Models
modeling and analysis	Diagnosing Analogue Linear Systems Using Dynamic Topological Reconfiguration
Monroe	A Characterization of the Single-Peaked Single-Crossing Domain
Monte Carlo filtering	Monte Carlo Filtering using Kernel Embedding of Distributions
monte carlo tree search	State Aggregation in Monte Carlo Tree Search
MOOC	Learning Latent Engagement Patterns of Students in Online Courses
morphological generation	Joint Morphological Generation and Syntactic Linearization
Motion planning with action and environment uncertainty	Optimal and Efficient Stochastic Motion Planning in Partially-Known Environments
movement	Efficient Codes for Inverse Dynamics during Walking
MSS	An Experimentally Efficient Method for (MSS,CoMSS) Partitioning
Multi-Agent Coordination	Regret-Based Multi-Agent Coordination with Uncertain Task Rewards
Multi-agent Systems	Voting with Rank Dependent Scoring Rules Minimising Undesired Task Costs in Multi-robot Task Allocation Problems with In-Schedule Dependencies
multi-facet trust	Leveraging Decomposed Trust in Probabilistic Matrix Factorization for Effective Recommendation
multi-instance learning	Multi-Instance Learning with Distribution Change
Multi-instance multi-label learning	Labeling Complicated Objects: Multi-View Multi-Instance Multi-Label Learning Fast Multi-Instance Multi-Label Learning
Multi-Label Classification	HC-Search for Multi-Label Prediction: An Empirical Study
Multi-Label Feature Selection	A Convex Formulation for Semi-supervised Multi-Label Feature Selection
multi-objective learning	Locality Preserving Projection for Domain Adaptation with Multi-Objective Learning
Multi-Objective Optimization	Combining Multiple Correlated Reward and Shaping Signals by Measuring Confidence
Multi-Robot Systems	Minimising Undesired Task Costs in Multi-robot Task Allocation Problems with In-Schedule Dependencies
Multi-Robot Task Allocation	Minimising Undesired Task Costs in Multi-robot Task Allocation Problems with In-Schedule Dependencies
Multi-Strategy Architecture	Qualitative Planning with Quantitative Constraints for Online Learning of Robotic Behaviours
multi-task learning	Sparse Compositional Metric Learning Quality-based Learning for Web Data Classification Encoding Tree Sparsity in Multi-Task Learning: A Probabilistic Framework Online Multi-Task Learning via Sparse Dictionary Optimization
multi-view clustering	Partial Multi-View Clustering Robust Multi-View Spectral Clustering via Low-Rank and Sparse Decomposition
Multi-view FDDL (MFDDL)	Uncorrelated Multi-View Discrimination Dictionary Learning for Recognition
multi-view learning	Labeling Complicated Objects: Multi-View Multi-Instance Multi-Label Learning
Multi-view supervised feature learning	Intra-view and Inter-view Supervised Correlation Analysis for Multi-view Feature Learning
Multiagent learning	Evolutionary Dynamics of Q-Learning over the Sequence Form
multiagent metareasoning	Multiagent Metareasoning Through Organizational Design
Multiagent Systems	Decentralized Stochastic Planning with Anonymity in Interactions Potential-Aware Imperfect-Recall Abstraction with Earth Mover's Distance in Imperfect-Information Games
multilabel classification	Multilabel Classification with Label Correlations and Missing Labels
Multimodal Distributions	Wormhole Hamiltonian Monte Carlo
Multimodal features	Predicting Emotions in User-Generated Videos
Multimodal Hashing	Large-Scale Supervised Multimodal Hashing with Semantic Correlation Maximization
multiple data sources	Pre-trained Multi-view Word Embedding using Two-side Neural Network
Multiple Instance Learning	Adaptive Knowledge Transfer for Multiple Instance Learning in Image Classification
Multiple Kernel Learning	Sample-Adaptive Multiple Kernel Learning
Multiple labelers	Active Learning for Crowdsourcing Using Knowledge Transfer
multiple splitting for multi-variable problem	Proximal Iteratively Reweighted Algorithm with Multiple Splitting for Nonconvex Sparsity Optimization
multiple-instance learning	Learning Instance Concepts from Multiple-Instance Data with Bags as Distributions
multiplicative	Robust Non-Negative Dictionary Learning
MultiView Affinity Graph	Semantic Segmentation Using Multiple Graphs with Block-Diagonal Constraints
music	A Machine Learning Approach to Musically Meaningful Homogeneous Style Classification
mutual information	Reconsidering Mutual Information Based Feature Selection: A Statistical Significance View
N
nash equilibria	Equilibria in Epidemic Containment Games
Nash equilibrium	Item Bidding for Combinatorial Public Projects Bounding the Support Size in Extensive Form Games with Imperfect Information A Game-theoretic Analysis of Catalog Optimization
natural gradient	Natural Temporal Difference Learning
natural language dialogues	Learning to Recognize Novel Objects in One Shot through Human-Robot Interactions in Natural Language Dialogues
natural language generation	Joint Morphological Generation and Syntactic Linearization
Natural Language Processing	Chinese Zero Pronoun Resolution: An Unsupervised Approach Combining Ranking and Integer Linear Programming SenticNet 3: A Common and Common-Sense Knowledge Base for Cognition-Driven Sentiment Analysis Online Classification Using a Voted RDA Method Learning from Unscripted Deictic Gesture and Language for Human-Robot Interactions Chinese Overt Pronoun Resolution: A Bilingual Approach
natural language semantics	The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving
Natural Language Understanding	Using Narrative Function to Extract Qualitative Information from Natural Language Texts
Nearest Neighbor algorithm	Accurate Household Occupant Behavior Modeling Based on Data Mining Techniques
neighbor embedding	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability
neighborhood selection	A Local Non-negative Pursuit Method for Intrinsic Manifold Structure Preservation
Network Games	Approximate Equilibrium and Incentivizing Social Coordination
network infection	Equilibria in Epidemic Containment Games
network security game	Equilibria in Epidemic Containment Games
Networks	New Models for Competitive Contagion
neural clique	Huffman Coding for Storing Non-uniformly Distributed Messages in Networks of Neural Cliques
neural network	Pre-trained Multi-view Word Embedding using Two-side Neural Network Adaptive Multi-Compositionality for Recursive Neural Models with Applications to Sentiment Analysis
neural networks	Learning Word Representation Considering Proximity and Ambiguity Learning Deep Representations for Graph Clustering
Neuroimaging	A Spatially Sensitive Kernel to Predict Cognitive Performance from Short-Term Changes in Neural Structure
Neuromorphic	On the Challenges of Physical Implementations of RBMs
NLP	Learning Scripts as Hidden Markov Models
No-Regret Learning	Regret Transfer and Parameter Optimization
Noise models	Modal Ranking: A Uniquely Robust Voting Rule
noise stability	Bagging by design (on the sub-optimality of bagging)
non-convex optimization	Gradient Descent with Proximal Average for Nonconvex and Composite Regularization
Non-monotonic reasoning	Contraction and Revision over DL-Lite TBoxes
non-negative	Robust Non-Negative Dictionary Learning
Non-negative matrix factorization	TopicMF: Simultaneously Exploiting Ratings and Reviews for Recommendation
non-negative representation learning	A Local Non-negative Pursuit Method for Intrinsic Manifold Structure Preservation
non-smooth convex optimization	Online Portfolio Selection with Group Sparsity
non-uniform distribution	Huffman Coding for Storing Non-uniformly Distributed Messages in Networks of Neural Cliques
non-uniform labeling costs	Anytime Active Learning
Nonconvex Sparsity Optimization	Proximal Iteratively Reweighted Algorithm with Multiple Splitting for Nonconvex Sparsity Optimization
nonlinear classification	The Role of Dimensionality Reduction in Linear Classification
nonlinear dimensionality reduction	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability
normal forms	Capturing Relational Schemas and Functional Dependencies in RDFS
novelty decay	Influence Maximization with Novelty Decay in Social Networks
O
object detection	Efficient Object Detection via Adaptive Online Selection of Sensor-Array Elements
object recognition	Learning to Recognize Novel Objects in One Shot through Human-Robot Interactions in Natural Language Dialogues
oceanography	Spatio-Temporal Consistency as a Means to Identify Unlabeled Objects in a Continuous Data Field
offline planning	Computing Contingent Plans via Fully Observable Non-Deterministic Planning
On-line planning	Flexible and Scalable Partially Observable Planning with Linear Translations
One-class classification	Relational One-Class Classification: A Non-Parametric Approach
one-shot learning	Learning to Recognize Novel Objects in One Shot through Human-Robot Interactions in Natural Language Dialogues
Online Advertising	Delivering Guaranteed Display Ads under Reach and Frequency Requirements
Online algorithms	Online (Budgeted) Social Choice
Online Auction	A Strategy-Proof Online Auction with Time Discounting Values
Online Classification	Online Classification Using a Voted RDA Method
Online Discussions	User Intent Identification from Online Discussions using a Joint Aspect-Action Topic Model
online education	Learning Latent Engagement Patterns of Students in Online Courses
Online learning	Large-Scale Optimistic Adaptive Submodularity PAC Rank Elicitation through Adaptive Sampling of Stochastic Pairwise Preferences Online and Stochastic Learning with a Human Cognitive Bias Sparse Learning for Stochastic Composite Optimization Non-linear Label Ranking for Large-scale Prediction of Long-Term User Interests Online Portfolio Selection with Group Sparsity Learning Relative Similarity by Stochastic Dual Coordinate Ascent TacTex’13: A Champion Adaptive Power Trading Agent Online Social Spammer Detection Online (Budgeted) Social Choice GP-Localize: Persistent Mobile Robot Localization using Online Sparse Gaussian Process Observation Model
Online Machine Learning	Qualitative Planning with Quantitative Constraints for Online Learning of Robotic Behaviours
online optimization	Efficient Object Detection via Adaptive Online Selection of Sensor-Array Elements
online services	Stochastic Privacy
Online Wikis	Cross-lingual Knowledge Validation Based Taxonomy Derivation from Heterogeneous Online Wikis
ontologies	Pay-as-you-go OWL Query Answering Using a Triple Store
Ontology	How Long Will It Take? Accurate Prediction of Ontology Reasoning Performance
ontology debugging	Abduction Framework for Repairing Incomplete EL Ontologies: Complexity Results and Algorithms
ontology engineering	Abduction Framework for Repairing Incomplete EL Ontologies: Complexity Results and Algorithms
Ontology Stream	Towards Scalable Exploration of Diagnoses in an Ontology Stream
Ontology-based data access	Data Quality in Ontology-based Data Access: The Case of Consistency
ontology-based query answering	Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
open list proportional representation	On Computing Optimal Strategies in Open List Proportional Representation: the Two Parties Case
open set classification	Learning with Augmented Class by Exploiting Unlabeled Data
Optimal stochastic motion planning	Optimal and Efficient Stochastic Motion Planning in Partially-Known Environments
Optimization	Computing General First-order Parallel and Prioritized Circumscription Decentralized Stochastic Planning with Anonymity in Interactions Effective Management of Electric Vehicle Storage using Smart Charging Cached Iterative Weakening for Optimal Multi-Way Number Partitioning Delivering Guaranteed Display Ads under Reach and Frequency Requirements The Role of Dimensionality Reduction in Linear Classification Finding Median Point-Set Using Earth Mover's Distance A Scheduler for Actions with Iterated Durations
optimization model	A Joint Optimization Model for Image Summarization Based on Image Content and Tags
Oracle	Solving Zero-Sum Security Games in Discretized Spatio-Temporal Domains
Order Weighted Averages	Voting with Rank Dependent Scoring Rules
ordering	Ordering Effects and Belief Adjustment in the Use of Comparison Shopping Agents
organizational design	Multiagent Metareasoning Through Organizational Design
overidentifying constraints	Testable Implications of Linear Structural Equation Models
overidentifying restrictions	Testable Implications of Linear Structural Equation Models
oversubscription planning	Oversubscription Planning: Complexity and Compilability
OWL	Pay-as-you-go OWL Query Answering Using a Triple Store
OWL 2	Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
P
p-simulation	Non-Restarting SAT Solvers With Simple Preprocessing Efficiently Simulate Resolution
PageRank	Extracting Keyphrases from Research Papers using Citation Networks
pairwise	Pairwise-Covariance Linear Discriminant Analysis
Parallel Computing	k-CoRating: Filling up Data to Obtain Privacy and Utility
Parallel Optimization	Generalized Higher-Order Tensor Decomposition via Parallel ADMM
Parallel Search	Parallel Restarted Search
parallelism	Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems
parameter estimation	Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation
parameterized complexity	Backdoors into Heterogeneous Classes of SAT and CSP
parameterized complexity analysis	Prices Matter for the Parameterized Complexity of Shift Bribery
Parametric graph cut	Efficient Generalized Fused Lasso and Its Application to the Diagnosis of Alzheimer’s Disease
parametrized families	Parametrized Families of Hard Planning Problems from Phase Transitions
Pareto Constraint	A Support-Based Algorithm for the Bi-Objective Pareto Constraint
Pareto efficiency	Two Case Studies for Trading Multiple Indivisible Goods with Indifferences
parity functions	On Boosting Sparse Parities
Parsing Reranking	Online Classification Using a Voted RDA Method
partial examples	Labeling Complicated Objects: Multi-View Multi-Instance Multi-Label Learning
Partial MaxSAT	Tailoring Local Search for Partial MaxSAT
partial observability	Computing Contingent Plans via Fully Observable Non-Deterministic Planning
partial view	Partial Multi-View Clustering
Path planning	Identifying Hierarchies for Fast Optimal Search
Path-Constrained Markov Decision Processes	Saturated Path-Constrained MDP: Planning under Uncertainty and Deterministic Model-Checking Constraints
Patient-doctor communication	Identifying Differences in Physician Communication Styles with a Log-Linear Transition Component Model
pattern mining	Spatio-Temporal Consistency as a Means to Identify Unlabeled Objects in a Continuous Data Field
payoff uncertainty	Regret-based Optimization and Preference Elicitation for Stackelberg Security Games with Uncertainty
PDDL+	Planning as Model Checking in Hybrid Domains
PDP	Scheduling for Transfers in Pickup and Delivery Problems with Very Large Neighborhood Search
Peer Designed Agents	Can Agent Development Affect Developer's Strategy?
Peer prediction	Incentives for Truthful Information Elicitation of Continuous Signals
Performance hotspot detection	How Long Will It Take? Accurate Prediction of Ontology Reasoning Performance
phase transition	Double Configuration Checking in Stochastic Local Search for Satisfiability The Computational Rise and Fall of Fairness Parametrized Families of Hard Planning Problems from Phase Transitions
Phase-map identification problem	A Computational Challenge Problem in Materials Discovery: Synthetic Problem Generator and Real-World Datasets
phonetics	Improving Domain-independent Cloud-based Speech Recognition with Domain-dependent Phonetic Post-processing
phrase-level translation	Machine Translation with Real-time Web Search
plagiarism	Avoiding Plagiarism in Markov Sequence Generation
Planning	Efficient Optimization for Autonomous Manipulation of Natural Objects Efficiently Implementing GOLOG with Answer Set Programming Symbolic Domain Predictive Control Representation Acquisition for Task‐Level Planning Managing Change in Graph-structured Data Using Description Logics Using Model-Based Diagnosis to Improve Software Testing Backdoors to Planning
planning and sensing	Computing Contingent Plans via Fully Observable Non-Deterministic Planning
Planning as Model Checking	Planning as Model Checking in Hybrid Domains
Planning in inhabited environments	Grandpa Hates Robots - Interaction Constraints for Planning in Inhabited Environments
Planning in Mixed Discrete-Continuous Domains	Planning as Model Checking in Hybrid Domains
Planning under uncertainty	Decentralized Stochastic Planning with Anonymity in Interactions A Relevance-Based Compilation Method for Conformant Probabilistic Planning Optimal and Efficient Stochastic Motion Planning in Partially-Known Environments Saturated Path-Constrained MDP: Planning under Uncertainty and Deterministic Model-Checking Constraints
Planning with beliefs	Flexible and Scalable Partially Observable Planning with Linear Translations
Planning with sensing and partial information	Flexible and Scalable Partially Observable Planning with Linear Translations
Point Processes	Where and Why Users "Check In"
Point-based methods	Point-Based POMDP Solving with Factored Value Function Approximation
Poisson Process	Modeling and Predicting Popularity Dynamics via Reinforced Poisson Process
Poker	Regret Transfer and Parameter Optimization Potential-Aware Imperfect-Recall Abstraction with Earth Mover's Distance in Imperfect-Information Games Bounding the Support Size in Extensive Form Games with Imperfect Information
Policy gradient	Mixing-time Regularized Policy Gradient
polymorphism	Backdoors into Heterogeneous Classes of SAT and CSP
Polynomial Hierarchy	The Computational Complexity of Structure-Based Causality
POMDP	Point-Based POMDP Solving with Factored Value Function Approximation
Popularity Prediction	Modeling and Predicting Popularity Dynamics via Reinforced Poisson Process
portfolio selection	Online Portfolio Selection with Group Sparsity
Portfolion Management	Doubly Regularized Portfolio with Risk Minimization
positive body-head dependency graph	Elementary Loops Revisited
Possibilistic (PO)MDPs	Structured Possibilistic Planning using Decision Diagrams
Possible Winners	Extending Tournament Solutions
Potential games	Congestion Games for V2G-Enabled EV Charging
Power Iteration	Power Iterated Color Refinement
pre-train	Pre-trained Multi-view Word Embedding using Two-side Neural Network
Prediction	How Long Will It Take? Accurate Prediction of Ontology Reasoning Performance
Prediction market	Betting Strategies, Market Selection, and the Wisdom of Crowds
Preference	A Scheduler for Actions with Iterated Durations
preference elicitation	Preference Elicitation and Interview Minimization in Stable Matchings Regret-based Optimization and Preference Elicitation for Stackelberg Security Games with Uncertainty
Preference learning	PAC Rank Elicitation through Adaptive Sampling of Stochastic Pairwise Preferences Coactive Learning for Locally Optimal Problem Solving
preferenced-based voting	Prices Matter for the Parameterized Complexity of Shift Bribery
Preferences	Incomplete Preferences in Single-Peaked Electorates
preprocessing	Preprocessing for Propositional Model Counting
Price of Anarchy	Item Bidding for Combinatorial Public Projects Approximate Equilibrium and Incentivizing Social Coordination The Fisher Market Game: Equilibrium and Welfare
Price of Stability	Approximate Equilibrium and Incentivizing Social Coordination A Game-theoretic Analysis of Catalog Optimization
Privacy	Privacy and Regression Model Preserved Learning
privacy tradeoff	Stochastic Privacy
Privacy-preserving Collaborative Filtering Recommender Systems	k-CoRating: Filling up Data to Obtain Privacy and Utility
probabilistic	Chance-constrained Probabilistic Simple Temporal Problems
Probabilistic Graphical Model	A Latent Variable Model for Discovering Bird Species Commonly Misidentified by Citizen Scientists
probabilistic inference	Best Paper Nominee: Tractability through Exchangeability: A New Perspective on Efficient Probabilistic Inference Elimination Ordering in Lifted First-Order Probabilistic Inference
Probabilistic Logic Programming	Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics
probabilistic matrix factorization	Dynamic Bayesian Probabilistic Matrix Factorization Leveraging Decomposed Trust in Probabilistic Matrix Factorization for Effective Recommendation
probabilistic model	Role-Aware Conformity Influence Modeling and Analysis in Social Networks
probabilistic modeling	Encoding Tree Sparsity in Multi-Task Learning: A Probabilistic Framework Learning Latent Engagement Patterns of Students in Online Courses
Probabilistic Planning	Schedule-based Robotic Search for Multiple Residents in a Retirement Home Environment
Probabilistic programming	R2: An Efficient MCMC Sampler for Probabilistic Programs
Problem Synthesis	Synthesis of Geometry Proof Problems
procedural content generation	Automatic Game Design via Mechanic Generation
product review analysis	Prediction of Helpful Reviews using Emotions Extraction
Program analysis	R2: An Efficient MCMC Sampler for Probabilistic Programs
Program synthesis	Programming by Example using Least General Generalizations
Programming by example	Programming by Example using Least General Generalizations
Pronouns	Chinese Overt Pronoun Resolution: A Bilingual Approach
proof complexity	Non-Restarting SAT Solvers With Simple Preprocessing Efficiently Simulate Resolution
Propagation Algorithm	Fraudulent Support Telephone Number Identification Based on Co-occurrence Information on the Web
propagators	Propagating Regular Counting Constraints
proper loops	Elementary Loops Revisited
proportional representation	A Characterization of the Single-Peaked Single-Crossing Domain
propositional	Preprocessing for Propositional Model Counting
prospect theory	Modeling Subjective Experience-based Learning under Uncertainty and Frames
protection	Equilibria in Epidemic Containment Games
Prototype learning	Finding Median Point-Set Using Earth Mover's Distance
proximal average	Gradient Descent with Proximal Average for Nonconvex and Composite Regularization
psychological models	Dramatis: A Computational Model of Suspense
Public Project	Item Bidding for Combinatorial Public Projects
pure Nash equilibrium	On Computing Optimal Strategies in Open List Proportional Representation: the Two Parties Case
Pursuit Domain	Combining Multiple Correlated Reward and Shaping Signals by Measuring Confidence
Q
q-intersection	Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation
Qualitative Planning	Qualitative Planning with Quantitative Constraints for Online Learning of Robotic Behaviours
Qualitative Planning under Uncertainty	Structured Possibilistic Planning using Decision Diagrams
Qualitative Reasoning	Qualitative Planning with Quantitative Constraints for Online Learning of Robotic Behaviours Qualitative Reasoning with Modelica Models
Qualitative Representation	Using Narrative Function to Extract Qualitative Information from Natural Language Texts
qualitative spatial reasoning	A Reasoner for the RCC-5 and RCC-8 Calculi Extended with Constants Fast Consistency Checking of Very Large Real-World RCC-8 Constraint Networks Using Graph Partitioning
query abduction problem	A Tractable Approach to ABox Abduction over Description Logic Ontologies
Query Expansion	Compact Aspect Embedding For Diversified Query Expansion Learning Concept Embeddings for Query Expansion by Quantum Entropy Minimization
query policies	Robust Winners and Winner Determination Policies under Candidate Uncertainty
Question answering	Pathway Specification and Comparative Queries: A High Level Language with Petri Net Semantics Large Scale Analogical Reasoning
R
Random Field	Deep Salience: Visual Salience Modeling via Deep Belief Propagation
Random Projection	Cross-View Feature Learning for Scalable Social Image Analysis
Randomized Algorithms	A Simple Polynomial-Time Randomized Distributed Algorithm for Connected Row Convex Constraints
randomized social choice	On the Incompatibility of Efficiency and Strategyproofness in Randomized Social Choice
Rank elicitation	PAC Rank Elicitation through Adaptive Sampling of Stochastic Pairwise Preferences
Ranking models	PAC Rank Elicitation through Adaptive Sampling of Stochastic Pairwise Preferences
Rating prediction	Semantic Data Representation for Improving Tensor Factorization Leveraging Decomposed Trust in Probabilistic Matrix Factorization for Effective Recommendation
ratings and free-form reviews	TopicMF: Simultaneously Exploiting Ratings and Reviews for Recommendation
RBM	On the Challenges of Physical Implementations of RBMs
re-expansions	Worst-Case Solution Quality Analysis When Not Re-Expanding Nodes in Best-First Search
Reach	Delivering Guaranteed Display Ads under Reach and Frequency Requirements
Real-Time Search	Exponential Deepening A* for Real-Time Agent-Centered Search
real-time web search	Machine Translation with Real-time Web Search
Reasoning	Confident Reasoning on Raven’s Progressive Matrices Tests
Reasoning about Actions	Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness
reasoning about beliefs	PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains
Reasoning performance	How Long Will It Take? Accurate Prediction of Ontology Reasoning Performance
recombination operators	A Generalized Genetic Algorithm-Based Solver for Very Large Jigsaw Puzzles of Complex Types
Recommendation Explanation	Who Also Likes It? Generating the Most Persuasive Social Explanations in Recommender Systems
Recommendation Systems	Signals in the Silence: Models of Implicit Feedback in a Recommender System for Crowdsourcing
Recommender System	TopicMF: Simultaneously Exploiting Ratings and Reviews for Recommendation Recommendation by Mining Multiple User Behaviors with Group Sparsity Semantic Data Representation for Improving Tensor Factorization
Recurrent Neural Network	Sequential Click Prediction for Sponsored Search with Recurrent Neural Networks
recursive neural model	Adaptive Multi-Compositionality for Recursive Neural Models with Applications to Sentiment Analysis
recursive neural network	Adaptive Multi-Compositionality for Recursive Neural Models with Applications to Sentiment Analysis
Recursive Neural Networks	Mind the Gap: Machine Translation by Minimizing the Semantic Gap in Embedding Space
referring expression generation	Collaborative Models for Referring Expression Generation in Situated Dialogue
regression	Automatic Construction and Natural-Language Description of Nonparametric Regression Models How Long Will It Take? Accurate Prediction of Ontology Reasoning Performance
Regression analysis	Privacy and Regression Model Preserved Learning
Regret Matching	Regret Transfer and Parameter Optimization
Regret Minimization	Regret Transfer and Parameter Optimization
Regularization	ReLISH: Reliable Label Inference via Smoothness Hypothesis
Reinforcement Learning	Tree-Based On-line Reinforcement Learning Effective Management of Electric Vehicle Storage using Smart Charging Representation Acquisition for Task‐Level Planning A Strategy-Aware Technique for Learning Behaviors from Discrete Human Feedback Natural Temporal Difference Learning Combining Multiple Correlated Reward and Shaping Signals by Measuring Confidence TacTex’13: A Champion Adaptive Power Trading Agent Decentralized Multi-Agent Reinforcement Learning in Average-Reward Dynamic DCOPs Mixing-time Regularized Policy Gradient Imitation Learning with Demonstrations and Shaping Rewards
relation learning	Convex Co-embedding
relational query optimization	Cost-Based Query Optimization via AI Planning
relative entropy	Cross-Domain Metric Learning Based on Information Theory
Relevance based method	A Relevance-Based Compilation Method for Conformant Probabilistic Planning
Replanning	Flexible and Scalable Partially Observable Planning with Linear Translations Solving Uncertain MDPs by Reusing State Information and Plans
Representation	Representation Acquisition for Task‐Level Planning
representation learning	Convex Co-embedding Knowledge Graph Embedding by Translating on Hyperplanes Supervised Hashing for Image Retrieval via Image Representation Learning
resolution	Non-Restarting SAT Solvers With Simple Preprocessing Efficiently Simulate Resolution ARIA: Asymmetry Resistant Instance Alignment
Restarts	Parallel Restarted Search
Restricted Boltzmann Machine	Deep Modeling of Group Preferences for Group-based Recommendation On the Challenges of Physical Implementations of RBMs
result re-ranking	Improving Context and Category Matching for Entity Search
retrieval	Learning Relative Similarity by Stochastic Dual Coordinate Ascent
revenue maximization	Increasing VCG Revenue by Decreasing the Quality of Items
review rating	SUIT: A Supervised User-Item based Topic model for Sentiment Analysis
Reward Shaping	Combining Multiple Correlated Reward and Shaping Signals by Measuring Confidence Imitation Learning with Demonstrations and Shaping Rewards
Risk Minimization	Doubly Regularized Portfolio with Risk Minimization
river networks	Rounded Dynamic Programming for Tree-Structured Stochastic Network Design
Robot capabilities	A Framework for Task Planning in Heterogeneous Multi Robot Systems Based on Robot Capabilities
Robot localization	GP-Localize: Persistent Mobile Robot Localization using Online Sparse Gaussian Process Observation Model
robot table tennis	Generalizing Policy Advice with Gaussian Process Bandits for Dynamic Skill Improvement
Robot Task Planning	A Framework for Task Planning in Heterogeneous Multi Robot Systems Based on Robot Capabilities
Robotic grasping	Efficient Optimization for Autonomous Manipulation of Natural Objects
Robotics	Qualitative Planning with Quantitative Constraints for Online Learning of Robotic Behaviours Learning from Unscripted Deictic Gesture and Language for Human-Robot Interactions Schedule-based Robotic Search for Multiple Residents in a Retirement Home Environment Robust Visual Robot Localization Across Seasons using Network Flows
Robust Face Recognition	Learning Low-Rank Representations with Classwise Block-Diagonal Structure for Robust Face Recognition
Robust model	Robust Bayesian Inverse Reinforcement Learning with Sparse Behavior Noise
robust neighbourhood components analysis	Robust Distance Metric Learning in the Presence of Label Noise
robust optimization	Regret-based Optimization and Preference Elicitation for Stackelberg Security Games with Uncertainty
robust principal component analysis	Exact Subspace Clustering in Linear Time
robust winner determination	Robust Winners and Winner Determination Policies under Candidate Uncertainty
role base conformity	Role-Aware Conformity Influence Modeling and Analysis in Social Networks
Room geometry	Grounding Acoustic Echoes In Single View Geometry Estimation
runoff scoring rules	On the Axiomatic Characterization of Runoff Voting Rules
S
Safe and Optimal Controller Synthesis	Saturated Path-Constrained MDP: Planning under Uncertainty and Deterministic Model-Checking Constraints
Sample complexity	PAC Rank Elicitation through Adaptive Sampling of Stochastic Pairwise Preferences
Sampling	Lazy Defenders Are Almost Optimal Against Diligent Attackers R2: An Efficient MCMC Sampler for Probabilistic Programs
Sampling Selection Bias	Best Paper Nominee: Recovering from Selection Bias in Causal and Statistical Inference
SAT	Distribution-Aware Sampling and Weighted Model Counting for SAT An Experimentally Efficient Method for (MSS,CoMSS) Partitioning
Satisfiability	Double Configuration Checking in Stochastic Local Search for Satisfiability Non-Restarting SAT Solvers With Simple Preprocessing Efficiently Simulate Resolution Relaxation Search: a Simple Way of Managing Optional Clauses
Satisfiability (SAT)	Backdoors into Heterogeneous Classes of SAT and CSP
Satisficing Planning	Adding Local Exploration to Greedy Best-First Search for Satisficing Planning Type-Based Exploration with Multiple Search Queues for Satisficing Planning
SBDS	Boosting SBDS for Partial Symmetry Breaking in Constraint Programming
Scalability	Large-Scale Supervised Multimodal Hashing with Semantic Correlation Maximization
scalable algorithm	Exact Subspace Clustering in Linear Time
scaling analysis	Parametrized Families of Hard Planning Problems from Phase Transitions
Scenario-Based Serious-Games	Generating Content for Scenario-Based Serious-Games using CrowdSourcing
Scene layout	Grounding Acoustic Echoes In Single View Geometry Estimation
Scene understanding	Grounding Acoustic Echoes In Single View Geometry Estimation
Scheduling	Chance-constrained Probabilistic Simple Temporal Problems Scheduling for Transfers in Pickup and Delivery Problems with Very Large Neighborhood Search Linear-Time Filtering Algorithms for the Disjunctive Constraint Cached Iterative Weakening for Optimal Multi-Way Number Partitioning A Scheduler for Actions with Iterated Durations
scheduling mechanisms	Mechanism Design for Scheduling with Uncertain Execution Time.
scheduling optimization	Solving the Traveling Tournament Problem by Packing Three-Vertex Paths
Scientific Computing	Supervised Scoring with Monotone Multidimensional Splines
scoring rules	A Control Dichotomy for Pure Scoring Rules
Scripts	Learning Scripts as Hidden Markov Models
Search	Cached Iterative Weakening for Optimal Multi-Way Number Partitioning
Search Control	Efficiently Implementing GOLOG with Answer Set Programming
search result diversification	Compact Aspect Embedding For Diversified Query Expansion
search snippets	Machine Translation with Real-time Web Search
seasons	Robust Visual Robot Localization Across Seasons using Network Flows
Security	Beat the Cheater: Computing Game-Theoretic Strategies for When to Kick a Gambler out of a Casino Game-theoretic Resource Allocation for Protecting Large Public Events Equilibria in Epidemic Containment Games
security game	Regret-based Optimization and Preference Elicitation for Stackelberg Security Games with Uncertainty
Security Games	Lazy Defenders Are Almost Optimal Against Diligent Attackers Solving Zero-Sum Security Games in Discretized Spatio-Temporal Domains
Selection Bias	Best Paper Nominee: Recovering from Selection Bias in Causal and Statistical Inference
Self-concordance property	Scalable Sparse Covariance Estimation via Self-Concordance
semantic composition	Adaptive Multi-Compositionality for Recursive Neural Models with Applications to Sentiment Analysis
Semantic Gap Minimization	Mind the Gap: Machine Translation by Minimizing the Semantic Gap in Embedding Space
Semantic Phrase Representation	Mind the Gap: Machine Translation by Minimizing the Semantic Gap in Embedding Space
Semantic Reasoning	Towards Scalable Exploration of Diagnoses in an Ontology Stream
Semantic Representation	On Dataless Hierarchical Text Classification
Semantic Web	How Long Will It Take? Accurate Prediction of Ontology Reasoning Performance Towards Scalable Exploration of Diagnoses in an Ontology Stream
Semantics on the web	Semantic Data Representation for Improving Tensor Factorization
Semi-supervised Kernel Learning	Improving Semi-Supervised Target Alignment via Label-Aware Base Kernels
semi-supervised learning	ReLISH: Reliable Label Inference via Smoothness Hypothesis Fused Feature Representation Discovery for High-dimensional and Sparse Data LASS: A Simple Assignment Model with Laplacian Smoothing Semi-supervised Matrix Completion for Cross-Lingual Text Classification A Convex Formulation for Semi-supervised Multi-Label Feature Selection Ranking Tweets by Labeled and Collaboratively Selected Pairs with Transitive Closure
sentence-level translation	Machine Translation with Real-time Web Search
sentiment analysis	SUIT: A Supervised User-Item based Topic model for Sentiment Analysis Acquiring Commonsense Knowledge for Sentiment Analysis through Human Computation Adaptive Multi-Compositionality for Recursive Neural Models with Applications to Sentiment Analysis
sentiment classification	Instance-based Domain Adaptation in NLP via In-target-domain Logistic Approximation
Sequential Click Prediction	Sequential Click Prediction for Sponsored Search with Recurrent Neural Networks
Sequential component model	Identifying Differences in Physician Communication Styles with a Log-Linear Transition Component Model
Shape Comparison	Towards Topological-transformation Robust Shape Comparison: A Sparse Representation Based Manifold Embedding Approach
Shape Knowledge	Sketch Recognition with Natural Correction and Editing
Shapley value	On the Structure of Synergies in Cooperative Games
Sherali-Adams Hierarchy	Lifting Relational MAP-LPs Using Cluster Signatures
Signed graph Laplacian	Signed Laplacian Embedding for Supervised Dimension Reduction
similarity learning	Learning Relative Similarity by Stochastic Dual Coordinate Ascent
similarity search	Locality Preserving Hashing Sub-Selective Quantization for Large-Scale Image Search
similarity-inducing regularizer	A Joint Optimization Model for Image Summarization Based on Image Content and Tags
Simple Temporal Networks with Uncertainty	Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty
Simulating Humans	An Agent-Based Model Studying the Acquisition of a Language System of Logical Constructions Can Agent Development Affect Developer's Strategy?
single-crossing	A Characterization of the Single-Peaked Single-Crossing Domain
single-crossing preferences	On Detecting Nearly Structured Preference Profiles
Single-peaked	Incomplete Preferences in Single-Peaked Electorates A Characterization of the Single-Peaked Single-Crossing Domain
single-peaked preferences	On Detecting Nearly Structured Preference Profiles
Singleton-based Consistencies	Adaptive Singleton-based Consistencies
situated dialogue	Collaborative Models for Referring Expression Generation in Situated Dialogue
situated interactive instruction	Learning Goal-Oriented Hierarchical Tasks from Situated Interactive Instruction
situation calculus	PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs
Sketch Recognition	Sketch Recognition with Natural Correction and Editing
small-variance asymptotics	Small-variance Asymptotics for Dirichlet Process Mixtures of SVMs
Smart Grid	Effective Management of Electric Vehicle Storage using Smart Charging TacTex’13: A Champion Adaptive Power Trading Agent Efficient Buyer Groups for Prediction-of-Use Electricity Tariffs
Smooth functions on graphs	Spectral Thompson Sampling
Soar	Learning Goal-Oriented Hierarchical Tasks from Situated Interactive Instruction
Social Choice Theory	A Generalization of Probabilistic Serial to Randomized Social Choice Extending Tournament Solutions
social conformity	Role-Aware Conformity Influence Modeling and Analysis in Social Networks
social decision schemes	A Generalization of Probabilistic Serial to Randomized Social Choice On the Incompatibility of Efficiency and Strategyproofness in Randomized Social Choice
Social Dynamics	Modeling and Predicting Popularity Dynamics via Reinforced Poisson Process
Social Explanation	Who Also Likes It? Generating the Most Persuasive Social Explanations in Recommender Systems
social image classification	Direct Semantic Analysis for Social Image Classification
Social infectivity	Learning Parametric Models for Social Infectivity in Multi-dimensional Hawkes Processes
Social Influence	Learning Temporal Dynamics of Behavior Propagation in Social Networks
Social Media	User Group Oriented Temporal Dynamics Exploration Online Social Spammer Detection
Social network	Trust Prediction with Propagation and Similarity Regularization Who Also Likes It? Generating the Most Persuasive Social Explanations in Recommender Systems
Social Network Analysis	Where and Why Users "Check In"
Social Networks	Fast and Accurate Influence Maximization on Large Networks with Pruned Monte-Carlo Simulations Lifetime Lexical Variation in Social Media Mapping Users Across Networks by Manifold Alignment on Hypergraph Learning Temporal Dynamics of Behavior Propagation in Social Networks Influence Maximization with Novelty Decay in Social Networks Context-aware Collaborative Topic Regression with Social Matrix Factorization for Recommender Systems
Social Planning	Social Planning: Achieving Goals by Altering Others' Mental States
Social Spammer	Online Social Spammer Detection
Social Welfare	Item Bidding for Combinatorial Public Projects
soft assignment	LASS: A Simple Assignment Model with Laplacian Smoothing
soft numerical constraints	Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation
Software engineering	Using Model-Based Diagnosis to Improve Software Testing
solution quality	Worst-Case Solution Quality Analysis When Not Re-Expanding Nodes in Best-First Search
Solutions concepts	Biased Games
source separation	Contextually Supervised Source Separation with Application to Energy Disaggregation
sparse	Feature Selection at the Discrete Limit Non-convex feature learning via lp,∞ operator
Sparse behavior noise	Robust Bayesian Inverse Reinforcement Learning with Sparse Behavior Noise
sparse coding	Online Multi-Task Learning via Sparse Dictionary Optimization Supervised Transfer Sparse Coding
Sparse covariance estimation	Scalable Sparse Covariance Estimation via Self-Concordance
sparse factor graph	Forecasting Potential Diabetes Complications
Sparse Methods	Sparse Compositional Metric Learning
Sparse Online Learning	SOML: Sparse Online Metric Learning with Application to Image Retrieval
Sparse random graphs	Multi-Organ Exchange: The Whole is Greater than the Sum of its Parts
Sparse Regularization	Online Classification Using a Voted RDA Method
Sparse Representation	Towards Topological-transformation Robust Shape Comparison: A Sparse Representation Based Manifold Embedding Approach
Sparsity	Encoding Tree Sparsity in Multi-Task Learning: A Probabilistic Framework Huffman Coding for Storing Non-uniformly Distributed Messages in Networks of Neural Cliques
Spatial and Temporal Reasoning	Local-To-Global Consistency Implies Tractability of Abduction
Spatial Reasoning	A Region-Based Model for Estimating Urban Air Pollution
spatial scan	Spatial Scan for Disease Mapping on a Mobile Population
spatio-temporal data mining	Spatio-Temporal Consistency as a Means to Identify Unlabeled Objects in a Continuous Data Field
spatiotemporal data mining	Modeling and Mining Spatiotemporal Patterns of Infection Risk from Heterogeneous Data for Active Surveillance Planning
Spectral bandits	Spectral Thompson Sampling
spectral clustering	Robust Multi-View Spectral Clustering via Low-Rank and Sparse Decomposition
spectral radius	Equilibria in Epidemic Containment Games
speech recognition	Improving Domain-independent Cloud-based Speech Recognition with Domain-dependent Phonetic Post-processing
Sponsored Search	Sequential Click Prediction for Sponsored Search with Recurrent Neural Networks
sports scheduling	Solving the Traveling Tournament Problem by Packing Three-Vertex Paths
Stable Matching	Preference Elicitation and Interview Minimization in Stable Matchings Internally Stable Matchings and Exchanges
Stackelberg	Beat the Cheater: Computing Game-Theoretic Strategies for When to Kick a Gambler out of a Casino
Stackelberg Games	Game-theoretic Resource Allocation for Protecting Large Public Events
state abstraction	State Aggregation in Monte Carlo Tree Search
State of Charge	Joule Counting Correction for Electric Vehicles using Artificial Neural Nets
state-space model	Monte Carlo Filtering using Kernel Embedding of Distributions
Static analysis of transactions	Managing Change in Graph-structured Data Using Description Logics
Statistical Machine Translation	Mind the Gap: Machine Translation by Minimizing the Semantic Gap in Embedding Space
Statistical relational AI	Elimination Ordering in Lifted First-Order Probabilistic Inference
Statistical Relational Learning	Lifting Relational MAP-LPs Using Cluster Signatures Relational One-Class Classification: A Non-Parametric Approach Best Paper Nominee: Tractability through Exchangeability: A New Perspective on Efficient Probabilistic Inference
Stepwise Refinement	A Propagator Design Framework for Constraints over Sequences
STNU	Chance-constrained Probabilistic Simple Temporal Problems
Stochastic Context-Free Grammar	A Hybrid Grammar-Based Approach for Learning and Recognizing Natural Hand Gestures
Stochastic Gradient Descent	Sparse Learning for Stochastic Composite Optimization
Stochastic Learning	Online and Stochastic Learning with a Human Cognitive Bias
Stochastic Local Search	Double Configuration Checking in Stochastic Local Search for Satisfiability
stochastic network design	Rounded Dynamic Programming for Tree-Structured Stochastic Network Design
Stochastic Optimization	Sparse Learning for Stochastic Composite Optimization Rounded Dynamic Programming for Tree-Structured Stochastic Network Design
Strategic Reasoning	Symbolic Model Checking Epistemic Strategy Logic
strategy evaluation	Using Response Functions to Measure Strategy Strength
Strategy Synthesis	Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty
Strategy-proofness	Two Case Studies for Trading Multiple Indivisible Goods with Indifferences
strategyproofness	On the Incompatibility of Efficiency and Strategyproofness in Randomized Social Choice Strategyproof exchange with multiple private endowments
Strong Cause	The Computational Complexity of Structure-Based Causality
Strong Equilibrium	Item Bidding for Combinatorial Public Projects
Structural Causality	The Computational Complexity of Structure-Based Causality
Structural EM	Learning Scripts as Hidden Markov Models
structural equation models	Testable Implications of Linear Structural Equation Models
Structure	Incomplete Preferences in Single-Peaked Electorates
structure learning	Learning the Structure of Probabilistic Graphical Models with an Extended Cascading Indian Buffet Process Predicting the Hardness of Learning Bayesian Networks Learning Scripts as Hidden Markov Models Tightening Bounds for Bayesian Network Structure Learning
Structured Prediction	HC-Search for Multi-Label Prediction: An Empirical Study Learning Latent Engagement Patterns of Students in Online Courses
Student online discussions	Capturing Difficulty Expressions in Student Online Q&A Discussions
student performance prediction	Capturing Difficulty Expressions in Student Online Q&A Discussions
style classification	A Machine Learning Approach to Musically Meaningful Homogeneous Style Classification
Subgoals	Identifying Hierarchies for Fast Optimal Search
subjective discriminability	Modeling Subjective Experience-based Learning under Uncertainty and Frames
subjective experience-based learning	Modeling Subjective Experience-based Learning under Uncertainty and Frames
subjective value function	Modeling Subjective Experience-based Learning under Uncertainty and Frames
submodular optimization	Diagram Understanding in Geometry Problems Feature-Cost Sensitive Learning with Submodular Trees of Classifiers Stochastic Privacy
Submodularity	Large-Scale Optimistic Adaptive Submodularity
suboptimal heuristic search	Worst-Case Solution Quality Analysis When Not Re-Expanding Nodes in Best-First Search
suboptimality	Worst-Case Solution Quality Analysis When Not Re-Expanding Nodes in Best-First Search
subselection	Sub-Selective Quantization for Large-Scale Image Search
subspace clustering	Exact Subspace Clustering in Linear Time
subspace learning	Latent Low-Rank Transfer Subspace Learning for Missing Modality Recognition
summarization	Detecting Information-Dense Texts in Multiple News Domains Automatic Construction and Natural-Language Description of Nonparametric Regression Models
supervised hashing	Supervised Hashing for Image Retrieval via Image Representation Learning
supervised learning	HC-Search for Multi-Label Prediction: An Empirical Study Learning Instance Concepts from Multiple-Instance Data with Bags as Distributions Supervised Transfer Sparse Coding
supervised machine learning	A Machine Learning Approach to Musically Meaningful Homogeneous Style Classification
Support	Bounding the Support Size in Extensive Form Games with Imperfect Information
Support Vector Machine	Supervised Transfer Sparse Coding
support vector machines	Learning with Augmented Class by Exploiting Unlabeled Data Dropout Training for Support Vector Machines
Sustainability	Supervised Scoring with Monotone Multidimensional Splines
Sustainable Energy	TacTex’13: A Champion Adaptive Power Trading Agent
SVM	Ranking Tweets by Labeled and Collaboratively Selected Pairs with Transitive Closure
switched linear dynamic systems	Symbolic Domain Predictive Control
Symbol Recognition	Sketch Recognition with Natural Correction and Editing
Symbolic AI	An Agent-Based Model Studying the Acquisition of a Language System of Logical Constructions
Symbolic Planning with Decision Diagrams	Structured Possibilistic Planning using Decision Diagrams
symmetry breaking	Boosting SBDS for Partial Symmetry Breaking in Constraint Programming
syntactic linearization	Joint Morphological Generation and Syntactic Linearization
T
Task Allocation	Dynamic Multi-Agent Task Allocation with Spatial and Temporal Constraints
task learning	Learning Goal-Oriented Hierarchical Tasks from Situated Interactive Instruction
Taxonomy	Semantic Data Representation for Improving Tensor Factorization
Taxonomy Derivation	Cross-lingual Knowledge Validation Based Taxonomy Derivation from Heterogeneous Online Wikis
Team formation	Give a Hard Problem to a Diverse Team: Exploring Large Action Spaces
Temporal Clustering	Where and Why Users "Check In"
temporal decoupling	Optimal Decomposition in Linear Constraint Systems
temporal difference learning	Natural Temporal Difference Learning
Temporal Dynamics	User Group Oriented Temporal Dynamics Exploration Learning Temporal Dynamics of Behavior Propagation in Social Networks
Temporal Planning	A Framework for Task Planning in Heterogeneous Multi Robot Systems Based on Robot Capabilities Schedule-based Robotic Search for Multiple Residents in a Retirement Home Environment
tensor	Low-Rank Tensor Learning with Discriminant Analysis for Action Classification and Image Recovery
Tensor completion	Hybrid Singular Value Thresholding for Tensor Completion Low-Rank Tensor Completion with Spatio-Temporal Consistency
Tensor decomposition	Generalized Higher-Order Tensor Decomposition via Parallel ADMM
Tensor Factorization	Semantic Data Representation for Improving Tensor Factorization
testable implications	Testable Implications of Linear Structural Equation Models
Testing	Using Model-Based Diagnosis to Improve Software Testing
text categorization	Instance-based Domain Adaptation in NLP via In-target-domain Logistic Approximation
Text Classification	Source Free Transfer Learning for Text Classification
Text Mining	Chinese Zero Pronoun Resolution: An Unsupervised Approach Combining Ranking and Integer Linear Programming Chinese Overt Pronoun Resolution: A Bilingual Approach
Text processing	Experiments on Visual Information Extraction with the Faces of Wikipedia
The Doors Game	Can Agent Development Affect Developer's Strategy?
the Nystrom method	Using The Matrix Ridge Approximation to Speedup Determinantal Point Processes Sampling Algorithms
theoretical analysis	Backdoors into Heterogeneous Classes of SAT and CSP
Thompson Sampling	Spectral Thompson Sampling
time series clustering	Decomposing Activities of Daily Living to Discover Routine Clusters
time-varying feature	Learning Parametric Models for Social Infectivity in Multi-dimensional Hawkes Processes
Timed Game Automata	Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty
topic model	SUIT: A Supervised User-Item based Topic model for Sentiment Analysis Best Paper Nominee: Manifold Learning for Jointly Modeling Topic and Visualization
Topic Modeling	User Intent Identification from Online Discussions using a Joint Aspect-Action Topic Model User Group Oriented Temporal Dynamics Exploration Context-aware Collaborative Topic Regression with Social Matrix Factorization for Recommender Systems
topology	Manifold Spanning Graphs
tournament fixing problem	Fixing a Balanced Knockout Tournament
Tournament Solutions	Extending Tournament Solutions
Trace Norm Regularization	Compact Aspect Embedding For Diversified Query Expansion
tractable reasoning	Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Trading agents competition	TacTex’13: A Champion Adaptive Power Trading Agent
Traffic Light Control	Combining Multiple Correlated Reward and Shaping Signals by Measuring Confidence
Trajectory Constraints in Planning	Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness
transfer learning	Online Multi-Task Learning via Sparse Dictionary Optimization Latent Low-Rank Transfer Subspace Learning for Missing Modality Recognition Cross-Domain Metric Learning Based on Information Theory Source Free Transfer Learning for Text Classification Adaptive Knowledge Transfer for Multiple Instance Learning in Image Classification Supervised Transfer Sparse Coding Kernelized Bayesian Transfer Learning Hybrid Heterogeneous Transfer Learning through Deep Learning
transfers	Scheduling for Transfers in Pickup and Delivery Problems with Very Large Neighborhood Search
transitive closure	Ranking Tweets by Labeled and Collaboratively Selected Pairs with Transitive Closure
translation	Computing General First-order Parallel and Prioritized Circumscription
trauma	Evaluating Trauma Patients: Addressing Missing Covariates with Joint Optimization
traveling tournament problem	Solving the Traveling Tournament Problem by Packing Three-Vertex Paths
tree-based learning	Feature-Cost Sensitive Learning with Submodular Trees of Classifiers
triple store	Pay-as-you-go OWL Query Answering Using a Triple Store
trust games	Leveraging Fee-Based, Imperfect Advisors in Human-Agent Games of Trust
Trust prediction	Trust Prediction with Propagation and Similarity Regularization
Trust propagation	Trust Prediction with Propagation and Similarity Regularization
Trust tendency	Trust Prediction with Propagation and Similarity Regularization
trust theory	Leveraging Decomposed Trust in Probabilistic Matrix Factorization for Effective Recommendation
Tuple Variables	A Propagator Design Framework for Constraints over Sequences
U
Uncertain data	Novel Density-based Clustering Algorithms for Uncertain Data
Uncertain MDPs	Solving Uncertain MDPs by Reusing State Information and Plans
Uncertain Task Rewards	Regret-Based Multi-Agent Coordination with Uncertain Task Rewards
uncertainity	Mechanism Design for Scheduling with Uncertain Execution Time.
Uncertainty and Stochasticity	Saturated Path-Constrained MDP: Planning under Uncertainty and Deterministic Model-Checking Constraints
Uncertainty in AI	Schedule-based Robotic Search for Multiple Residents in a Retirement Home Environment
Uncorrelated constraint	Uncorrelated Multi-View Discrimination Dictionary Learning for Recognition
Uncorrelated MFDDL (UMFDDL)	Uncorrelated Multi-View Discrimination Dictionary Learning for Recognition
Uniform Delivery	Delivering Guaranteed Display Ads under Reach and Frequency Requirements
unlabeled data	Learning with Augmented Class by Exploiting Unlabeled Data
Unsupervised learning	Globally and Locally Consistent Unsupervised Projection Partial Multi-View Clustering
Unsupervised Video Alignment	Unsupervised Alignment of Natural Language Instructions with Video Segments
Urban Air Quality	A Region-Based Model for Estimating Urban Air Pollution
User generated content	Incentivizing High-Quality Content from Heterogeneous Users: On the Existence of Nash Equilibrium
user group	User Group Oriented Temporal Dynamics Exploration
User Interface	Sketch Recognition with Natural Correction and Editing
User Mapping	Mapping Users Across Networks by Manifold Alignment on Hypergraph
User-generated videos	Predicting Emotions in User-Generated Videos
V
V2G	Congestion Games for V2G-Enabled EV Charging
Valuation Function	Item Bidding for Combinatorial Public Projects
Value function approximation	Point-Based POMDP Solving with Factored Value Function Approximation
value of information	Stochastic Privacy Efficient Object Detection via Adaptive Online Selection of Sensor-Array Elements
variational approximation	Kernelized Bayesian Transfer Learning
Variational inference	Robust Bayesian Inverse Reinforcement Learning with Sparse Behavior Noise
VCG	Increasing VCG Revenue by Decreasing the Quality of Items
Verification	Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs
verma constraints	Testable Implications of Linear Structural Equation Models
Video completion	Low-Rank Tensor Completion with Spatio-Temporal Consistency
viral marketing	Fast and Accurate Influence Maximization on Large Networks with Pruned Monte-Carlo Simulations
Vision	On Hair Recognition in the Wild by Machine
vision and audio	Learning Compositional Sparse Models of Bimodal Percepts
visual localization	Robust Visual Robot Localization Across Seasons using Network Flows
visual recognition	Exploiting Competition Relationship for Robust Visual Recognition
Visual Representations	Confident Reasoning on Raven’s Progressive Matrices Tests
Visual Salience	Deep Salience: Visual Salience Modeling via Deep Belief Propagation
visualization	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability
Voted Dual Averaging Method	Online Classification Using a Voted RDA Method
voting	A Characterization of the Single-Peaked Single-Crossing Domain A Generalization of Probabilistic Serial to Randomized Social Choice Voting with Rank Dependent Scoring Rules Robust Winners and Winner Determination Policies under Candidate Uncertainty
voting systems	A Control Dichotomy for Pure Scoring Rules
W
Weakly-Supervised Learning	Semantic Graph Construction for Weakly-Supervised Image Parsing
Web	User Intent Identification from Online Discussions using a Joint Aspect-Action Topic Model
Web data classification	Quality-based Learning for Web Data Classification
Web mining	Experiments on Visual Information Extraction with the Faces of Wikipedia
web search personalization	Stochastic Privacy
web-based machine translation	Machine Translation with Real-time Web Search
Weight Generation	Distribution-Aware Sampling and Weighted Model Counting for SAT
Weighted Model Counting	Distribution-Aware Sampling and Weighted Model Counting for SAT Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics
weighted partial MaxSAT	Maximum Satisfiability using core-guided MaxSAT Resolution
Weighted voting games	On the Structure of Synergies in Cooperative Games
Wide Data	A Spatially Sensitive Kernel to Predict Cognitive Performance from Short-Term Changes in Neural Structure
word ambiguity	Learning Word Representation Considering Proximity and Ambiguity
word embedding	Pre-trained Multi-view Word Embedding using Two-side Neural Network
word proximity	Learning Word Representation Considering Proximity and Ambiguity
word sense disambiguation	Acquiring Comparative Commonsense Knowledge from the Web
worst-case analysis	Worst-Case Solution Quality Analysis When Not Re-Expanding Nodes in Best-First Search
writing style	Detecting Information-Dense Texts in Multiple News Domains
X
XML transformations	Programming by Example using Least General Generalizations
Z
Zero Pronouns	Chinese Zero Pronoun Resolution: An Unsupervised Approach Combining Ranking and Integer Linear Programming
Zero-Sum Games	Solving Zero-Sum Security Games in Discretized Spatio-Temporal Domains