aaai87

aaai 2015 论文列表

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA.

Data Science for Social Good - 2014 KDD Highlights.
RoboCup@Home - Benchmarking Domestic Service Robots.
AIBIRDS: The Angry Birds Artificial Intelligence Competition.
What Is Hot in CHI.
What's Hot in the SAT and ASP Competitions.
BDDs Strike Back (in AI Planning).
What's Hot in Crowdsourcing and Human Computation.
Knowledge Representation and Reasoning: What's Hot.
Interactive Narrative Planning in The Best Laid Plans.
Using Social Relationships to Control Narrative Generation.
LOL - Laugh Out Loud.
SimSensei Demonstration: A Perceptive Virtual Human Interviewer for Healthcare Applications.
Scheherazade: Crowd-Powered Interactive Narrative Generation.
Cerebella: Automatic Generation of Nonverbal Behavior for Virtual Humans.
Crowd Motion Monitoring with Thermodynamics-Inspired Feature.
Circumventing Robots' Failures by Embracing Their Faults: A Practical Approach to Planning for Autonomous Construction.
Inferring Latent User Properties from Texts Published in Social Media.
DeepTutor: An Effective, Online Intelligent Tutoring System That Promotes Deep Learning.
The Network Data Repository with Interactive Graph Analytics and Visualization.
World WordNet Database Structure: An Efficient Schema for Storing Information of WordNets of the World.
Gene Selection in Microarray Datasets Using Progressively Refined PSO Scheme.
Salient Object Detection via Objectness Proposals.
Visualization Techniques for Topic Model Checking.
Bottom-Up Demand Response by Following Local Energy Generation Voluntarily.
Visualizing Inference.
Cognitive Master Teacher.
Multi-Agent Dynamic Coupling for Cooperative Vehicles Modeling.
VecLP: A Realtime Video Recommendation System for Live TV Programs.
CrowdMR: Integrating Crowdsourcing with MapReduce for AI-Hard Problems.
Tartanian7: A Champion Two-Player No-Limit Texas Hold'em Poker-Playing Program.
Towards Cognitive Automation of Data Science.
On Correcting Misspelled Queries in Email Search.
A Planning-Based Assistance System for Setting Up a Home Theater.
Risk-Aware Scheduling throughout Planning and Execution.
Scaling-Up Inference in Markov Logic.
Multi-Agent Team Formation: Solving Complex Problems by Aggregating Opinions.
Optimal Multi-Agent Pathfinding Algorithms.
Explaining Answer Set Programming in Argumentative Terms.
Scalable Agent Modeling for Large Multiagent Systems.
HVAC-Aware Occupancy Scheduling (Extended Abstract).
Transfer Learning-Based Co-Run Scheduling for Heterogeneous Datacenters.
Non-Classical Planning for Robotic Applications.
Entity Resolution in a Big Data Framework.
Probabilistic Planning with Risk-Sensitive Criterion.
Multivariate Conditional Anomaly Detection and Its Clinical Application.
Social Hierarchical Learning.
Realistic Assumptions for Attacks on Elections.
Exploiting the Structure of Distributed Constraint Optimization Problems.
Modeling Eye Movements when Reading Microblogs.
Touchless Telerobotic Surgery - Is It Possible at All?
Global Policy Construction in Modular Reinforcement Learning.
Accelerating SAT Solving by Common Subclause Elimination.
What Is the Longest River in the USA? Semantic Parsing for Aggregation Questions.
Combining Machine Learning and Crowdsourcing for Better Understanding Commodity Reviews.
Handling Uncertainty in Answer Set Programming.
Self-Organized Collective Decision-Making in a 100-Robot Swarm.
Time-Sensitive Opinion Mining for Prediction.
Improving Microblog Retrieval from Exterior Corpus by Automatically Constructing Microblogging Corpus.
Multimedia Data for the Visually Impaired.
Spatio-Temporal Signatures of User-Centric Data: How Similar Are We?
Actionable Combined High Utility Itemset Mining.
Graphical Representation of Assumption-Based Argumentation.
Representation Discovery for MDPs Using Bisimulation Metrics.
Improving Cross-Domain Recommendation through Probabilistic Cluster-Level Latent Factor Model.
Combining Ontology Class Expression Generation with Mathematical Modeling for Ontology Learning.
Planning with Numeric Timed Initial Fluents.
GEF: A Self-Programming Robot Using Grammatical Evolution.
A New Computational Intelligence Model for Long-Term Prediction of Solar and Geomagnetic Activity.
"Is It Rectangular?" Using I Spy as an Interactive, Game-Based Approach to Multimodal Robot Learning.
Designing Vaccines that Are Robust to Virus Escape.
Active Advice Seeking for Inverse Reinforcement Learning.
Every Team Deserves a Second Chance: Identifying When Things Go Wrong (Student Abstract Version).
Just-in-Time Hierarchical Constraint Decomposition.
Learning Word Vectors Efficiently Using Shared Representations and Document Representations.
Acronym Disambiguation Using Word Embedding.
Effect of Spatial Pooler Initialization on Column Activity in Hierarchical Temporal Memory.
Sorted Neighborhood for the Semantic Web.
Coupled Collaborative Filtering for Context-aware Recommendation.
Language Independent Feature Extractor.
On Manipulablity of Random Serial Dictatorship in Sequential Matching with Dynamic Preferences.
Dealing with Trouble: A Data-Driven Model of a Repair Type for a Conversational Agent.
Finding Meaningful Gaps to Guide Data Acquisition for a Radiation Adjudication System.
Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators.
Placing Influencing Agents in a Flock.
Active Learning for Informative Projection Retrieval.
Modelling Individual Negative Emotion Spreading Process with Mobile Phones.
Predicting the Quality of User Experiences to Improve Productivity and Wellness.
A Sequence Labeling Approach to Deriving Word Variants.
A Multi-Pass Sieve for Name Normalization.
Query Abduction for ELH Ontologies.
Stochastic Blockmodeling for Online Advertising.
Leveraging Common Structure to Improve Prediction across Related Datasets.
A Goal-Based Model of Personality for Planning-Based Narrative Generation.
A Succinct Conceptualization of the Foundations for a Network Organization Paradigm.
Semantic Representation.
Abstraction for Solving Large Incomplete-Information Games.
On the Diagnosis of Cyber-Physical Production Systems.
Compile!
Languages for Learning and Mining.
Towards User-Adaptive Information Visualization.
Achieving Intelligence Using Prototypes, Composition, and Analogy.
Building Strong Semi-Autonomous Systems.
Machine Teaching: An Inverse Problem to Machine Learning and an Approach Toward Optimal Education.
Explaining Watson: Polymath Style.
Challenges in Resource and Cost Allocation.
Conducting Neuroscience to Guide the Development of AI.
Towards a Programmer's Apprentice (Again).
Steering Evolution Strategically: Computational Game Theory and Opponent Exploitation for Treatment Planning, Drug Design, and Synthetic Biology.
Impact of Modeling Languages on the Theory and Practice in Planning Research.
Blended Planning and Acting: Preliminary Approach, Research Challenges.
Emerging Architectures for Global System Science.
Mechanism Learning with Mechanism Induced Data.
Intelligent Agents for Rehabilitation and Care of Disabled and Chronic Patients.
Speech Adaptation in Extended Ambient Intelligence Environments.
The Winograd Schema Challenge: Evaluating Progress in Commonsense Reasoning.
Time-Varying Clusters in Large-Scale Flow Cytometry.
Elementary School Science and Math Tests as a Driver for AI: Take the Aristo Challenge!
SKILL: A System for Skill Identification and Normalization.
Preventing HIV Spread in Homeless Populations Using PSINET.
Maestoso: An Intelligent Educational Sketching Tool for Learning Music Theory.
A Robust and Extensible Tool for Data Integration Using Data Type Models.
HACKAR: Helpful Advice for Code Knowledge and Attack Resilience.
Leveraging Ontologies to Improve Model Generalization Automatically with Online Data Sources.
Aggregating User Input in Ecology Citizen Science Projects.
Design and Experiment of a Collaborative Planning Service for NetCentric International Brigade Command.
Capturing Human Route Preferences From Track Information: New Results.
Day-Ahead Hail Prediction Integrating Machine Learning with Storm-Scale Numerical Weather Models.
Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data.
Automated Problem List Generation from Electronic Medical Records in IBM Watson.
Named Entity Recognition in Travel-Related Search Queries.
Process Diagnosis System (PDS) - A 30 Year History.
Planned Protest Modeling in News and Social Media.
Graph Analysis for Detecting Fraud, Waste, and Abuse in Healthcare Data.
Position Assignment on an Enterprise Level Using Combinatorial Optimization.
Robust System for Identifying Procurement Fraud.
Activity Planning for a Lunar Orbital Mission.
A Boosted Multi-Task Model for Pedestrian Detection with Occlusion Handling.
Learning Face Hallucination in the Wild.
Metric Learning Driven Multi-Task Structured Output Optimization for Robust Keypoint Tracking.
Learning to Describe Video with Weak Supervision by Exploiting Negative Sentential Information.
Deep Representation Learning with Target Coding.
Complex Event Detection via Event Oriented Dictionary Learning.
Multi-View Point Registration via Alternating Optimization.
Robust Subspace Clustering via Thresholding Ridge Regression.
Automatic Topic Discovery for Multi-Object Tracking.
Surpassing Human-Level Face Verification Performance on LFW with GaussianFace.
Sparse Deep Stacking Network for Image Classification.
Compute Less to Get More: Using ORC to Improve Sparse Filtering.
A Local Sparse Model for Matching Problem.
Learning Predictable and Discriminative Attributes for Visual Recognition.
Building Effective Representations for Sketch Recognition.
Exploring Semantic Inter-Class Relationships (SIR) for Zero-Shot Action Recognition.
A Bayesian Approach to Perceptual 3D Object-Part Decomposition Using Skeleton-Based Representations.
Online Detection of Abnormal Events Using Incremental Coding Length.
The Extendable-Triple Property: A New CSP Tractable Class beyond BTP.
SAT-Based Strategy Extraction in Reachability Games.
Binarisation via Dualisation for Valued Constraints.
SMT-Based Validation of Timed Failure Propagation Graphs.
Strong Bounds Consistencies and Their Application to Linear Constraints.
On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts.
SAT Modulo Monotonic Theories.
Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs.
Robot Learning Manipulation Action Plans by "Watching" Unconstrained Videos from the World Wide Web.
Spatio-Spectral Exploration Combining In Situ and Remote Measurements.
Intent Prediction and Trajectory Forecasting via Predictive Inverse Linear-Quadratic Regulation.
This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction.
Proximal Operators for Multi-Agent Path Planning.
An Exact Algorithm for Solving Most Relevant Explanation in Bayesian Networks.
On Fairness in Decision-Making under Uncertainty: Definitions, Computation, and Comparison.
Nonparametric Scoring Rules.
Learning to Reject Sequential Importance Steps for Continuous-Time Bayesian Networks.
Chance-Constrained Scheduling via Conflict-Directed Risk Allocation.
Hierarchical Monte-Carlo Planning.
Just Count the Satisfied Groundings: Scalable Local-Search and Sampling Based Inference in MLNs.
Lifted Probabilistic Inference for Asymmetric Graphical Models.
On Interruptible Pure Exploration in Multi-Armed Bandits.
Lifting Model Sampling for General Game Playing to Incomplete-Information Models.
Representation Discovery for MDPs Using Bisimulation Metrics.
On the Decreasing Power of Kernel and Distance Based Nonparametric Hypothesis Tests in High Dimensions.
Knowledge-Based Probabilistic Logic Learning.
Tighter Value Function Bounds for Bayesian Reinforcement Learning.
Reward Shaping for Model-Based Bayesian Reinforcement Learning.
Better Be Lucky than Good: Exceeding Expectations in MDP Evaluation.
Approximately Optimal Risk-Averse Routing Policies via Adaptive Discretization.
An Improved Lower Bound for Bayesian Network Structure Learning.
Bayesian Networks Specified Using Propositional and Relational Constructs: Combined, Data, and Domain Complexity.
Submodular Surrogates for Value of Information.
Value of Information Based on Decision Robustness.
Optimal Cost Almost-Sure Reachability in POMDPs.
Representing Aggregators in Relational Probabilistic Models.
Egalitarian Collective Decision Making under Qualitative Possibilistic Uncertainty: Principles and Characterization.
Recovering Causal Effects from Selection Bias.
Stable Model Counting and Its Application in Probabilistic Logic Programming.
Linear-Time Gibbs Sampling in Piecewise Graphical Models.
Solving Uncertain MDPs with Objectives that Are Separable over Instantiations of Model Uncertainty.
Loss-Calibrated Monte Carlo Action Selection.
Crowdsourced Action-Model Acquisition for Planning.
An Efficient Forest-Based Tabu Search Algorithm for the Split-delivery Vehicle Routing Problem.
Resolving Over-Constrained Probabilistic Temporal Problems through Chance Constraint Relaxation.
Multi-Objective MDPs with Conditional Lexicographic Reward Preferences.
tBurton: A Divide and Conquer Temporal Planner.
Real-Time Symbolic Dynamic Programming.
Tractability of Planning with Loops.
Improving Exploration in UCT Using Local Manifolds.
Factored Symmetries for Merge-and-Shrink Abstractions.
Heuristics and Symmetries in Classical Planning.
Automatic Configuration of Sequential Planning Portfolios.
Exploiting Submodular Value Functions for Faster Dynamic Sensor Selection.
Discretization of Temporal Models with Application to Planning with SMT.
Approximate Linear Programming for Constrained Partially Observable Markov Decision Processes.
From Non-Negative to General Operator Cost Partitioning.
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach.
Information Gathering and Reward Exploitation of Subgoals for POMDPs.
Preference Planning for Markov Decision Processes.
Variable-Deletion Backdoors to Planning.
Goal Recognition Design for Non-Optimal Agents.
A Generalization of Sleep Sets Based on Operator Sequence Redundancy.
Efficient Bounds in Heuristic Search Algorithms for Stochastic Shortest Path Problems.
Measuring Plan Diversity: Pathologies in Existing Approaches and A New Plan Distance Metric.
Transition Constraints for Parallel Planning.
Factored MCTS for Large Scale Stochastic Planning.
Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach.
SMT-Based Nonlinear PDDL+ Planning.
Robustness in Probabilistic Temporal Planning.
Some Fixed Parameter Tractability Results for Planning with Non-Acyclic Domain-Transition Graphs.
Tractable Cost-Optimal Planning over Restricted Polytree Causal Graphs.
10, 000+ Times Accelerated Robust Subset Selection.
A Reduction of the Elastic Net to Support Vector Machines with an Application to GPU Computing.
Cross-Modal Similarity Learning via Pairs, Preferences, and Active Supervision.
Self-Paced Learning for Matrix Factorization.
SoF: Soft-Cluster Matrix Factorization for Probabilistic Clustering.
Multi-Task Learning and Algorithmic Stability.
Constrained NMF-Based Multi-View Clustering on Unmapped Data.
Online Dictionary Learning on Symmetric Positive Definite Manifolds with Vision Applications.
Online Bandit Learning for a Special Class of Non-Convex Losses.
Multi-Source Domain Adaptation: A Causal View.
Exact Recoverability of Robust PCA via Outlier Pursuit with Tight Recovery Bounds.
A Mathematical Programming-Based Approach to Determining Objective Functions from Qualitative and Subjective Comparisons.
Non-Linear Regression for Bag-of-Words Data via Gaussian Process Latent Variable Set Model.
OMNI-Prop: Seamless Node Classification on Arbitrary Label Correlation.
Nystrom Approximation for Sparse Kernel Methods: Theoretical Analysis and Empirical Evaluation.
Active Manifold Learning via Gershgorin Circle Guided Sample Selection.
Dictionary Learning with Mutually Reinforcing Group-Graph Structures.
Bayesian Model Averaging Naive Bayes (BMA-NB): Averaging over an Exponential Number of Feature Models in Linear Time.
Improving Approximate Value Iteration with Complex Returns by Bounding.
Optimal Estimation of Multivariate ARMA Models.
Transfer Feature Representation via Multiple Kernel Learning.
Learning to Hash on Structured Data.
Learning Robust Locality Preserving Projection via p-Order Minimization.
Relational Stacked Denoising Autoencoder for Tag Recommendation.
Convex Batch Mode Active Sampling via α-Relative Pearson Divergence.
Online Boosting Algorithms for Anytime Transfer and Multitask Learning.
Gaussian Cardinality Restricted Boltzmann Machines.
Improving Multi-Step Prediction of Learned Time Series Models.
Compress and Control.
TODTLER: Two-Order-Deep Transfer Learning.
High-Confidence Off-Policy Evaluation.
Optimizing the CVaR via Sampling.
Agnostic System Identification for Monte Carlo Planning.
Unsupervised Feature Learning through Divergent Discriminative Feature Accumulation.
Spectral Label Refinement for Noisy and Missing Text Labels.
SP-SVM: Large Margin Classifier for Data on Multiple Manifolds.
Clustering Longitudinal Clinical Marker Trajectories from Electronic Health Data: Applications to Phenotyping and Endotype Discovery.
Doubly Robust Covariate Shift Correction.
Leveraging Features and Networks for Probabilistic Tensor Decomposition.
Pareto Ensemble Pruning.
Multi-Objective Reinforcement Learning with Continuous Pareto Frontier Approximation.
Adaptive Sampling with Optimal Cost for Class-Imbalance Learning.
Detecting Change Points in the Large-Scale Structure of Evolving Networks.
Detecting and Tracking Concept Class Drift and Emergence in Non-Stationary Fast Data Streams.
Obtaining Well Calibrated Probabilities Using Bayesian Binning.
Probabilistic Attributed Hashing.
Tensor-Variate Restricted Boltzmann Machines.
Learning Relational Sum-Product Networks.
Using Machine Teaching to Identify Optimal Training-Set Attacks on Machine Learners.
The Boundary Forest Algorithm for Online Supervised and Unsupervised Learning.
V-MIN: Efficient Reinforcement Learning through Demonstrations and Relaxed Reward Demands.
The Queue Method: Handling Delay, Heuristics, Prior Data, and Evaluation in Bandits.
UT Austin Villa 2014: RoboCup 3D Simulation League Champion via Overlapping Layered Learning.
The Hybrid Nested/Hierarchical Dirichlet Process and its Application to Topic Modeling with Word Differentiation.
Noise-Robust Semi-Supervised Learning by Large-Scale Sparse Coding.
Parallel Gaussian Process Regression for Big Data: Low-Rank Representation Meets Markov Approximation.
Eigenvalues Ratio for Kernel Selection of Kernel Methods.
Absent Multiple Kernel Learning.
Large Margin Metric Learning for Multi-Label Prediction.
Low-Rank Similarity Metric Learning in High Dimensions.
Support Consistency of Direct Sparse-Change Learning in Markov Networks.
Low-Rank Multi-View Learning in Matrix Completion for Multi-Label Image Classification.
Unidimensional Clustering of Discrete Data Using Latent Tree Models.
Shift-Pessimistic Active Learning Using Robust Bias-Aware Prediction.
Integrating Features and Similarities: Flexible Models for Heterogeneous Multiview Data.
Large-Scale Multi-View Spectral Clustering via Bipartite Graph.
Multi-tensor Completion with Common Structures.
On the Equivalence of Linear Discriminant Analysis and Least Squares.
Don't Fall for Tuning Parameters: Tuning-Free Variable Selection in High Dimensions With the TREX.
A Generalized Reduced Linear Program for Markov Decision Processes.
Spectral Learning of Predictive State Representations with Insufficient Statistics.
Fast Gradient Descent for Drifting Least Squares Regression, with Application to Bandits.
Outlier-Robust Convex Segmentation.
Self-Paced Curriculum Learning.
The Dynamic Chinese Restaurant Process via Birth and Death Processes.
Maximin Separation Probability Clustering.
Approximate MaxEnt Inverse Optimal Control and Its Application for Mental Simulation of Human Interactions.
Kernelized Online Imbalanced Learning with Fixed Budgets.
Active Learning by Learning.
Expressing Arbitrary Reward Functions as Potential-Based Advice.
Localized Centering: Reducing Hubness in Large-Sample Data.
Learning Multi-Level Task Groups in Multi-Task Learning.
Discriminative Feature Grouping.
Concurrent PAC RL.
Pathway Graphical Lasso.
Spectral Clustering Using Multilinear SVD: Analysis, Approximations and Applications.
Learning Sparse Representations from Datasets with Uncertain Group Structures: Model, Algorithm and Applications.
Optimizing Bag Features for Multiple-Instance Retrieval.
Modelling Class Noise with Symmetric and Asymmetric Distributions.
Bayesian Maximum Margin Principal Component Analysis.
Graph-Sparse LDA: A Topic Model with Structured Sparsity.
An Adaptive Gradient Method for Online AUC Maximization.
Random Gradient Descent Tree: A Combinatorial Approach for SVM with Outliers.
Collaborative Filtering with Localised Ranking.
Policy Tree: Adaptive Representation for Policy Gradient.
Learning Relational Kalman Filtering.
A Convex Formulation for Spectral Shrunk Clustering.
Structural Learning with Amortized Inference.
Deep Modeling Complex Couplings within Financial Markets.
Aligning Mixed Manifolds.
Unsupervised Cross-Domain Transfer in Policy Gradient Reinforcement Learning via Manifold Alignment.
Model-Based Reinforcement Learning in Continuous Environments Using Real-Time Constrained Optimization.
Budgeted Prediction with Expert Advice.
Efficient Active Learning of Halfspaces via Query Synthesis.
A Probabilistic Covariate Shift Assumption for Domain Adaptation.
An Unsupervised Framework of Exploring Events on Twitter: Filtering, Extraction and Categorization.
Extracting Adverse Drug Reactions from Social Media.
Learning to Recommend Quotes for Writing.
Using Frame Semantics for Knowledge Extraction from Twitter.
Word Segmentation for Chinese Novels.
Semantic Lexicon Induction from Twitter with Pattern Relatedness and Flexible Term Length.
Towards Knowledge-Driven Annotation.
Topical Word Embeddings.
Extracting Verb Expressions Implying Negative Opinions.
A Neural Probabilistic Model for Context Based Citation Recommendation.
Generating Event Causality Hypotheses through Semantic Relations.
Mining User Consumption Intention from Social Media Using Domain Adaptive Convolutional Neural Network.
Gazetteer-Independent Toponym Resolution Using Geographic Word Profiles.
Chinese Common Noun Phrase Resolution: An Unsupervised Probabilistic Model Rivaling Supervised Resolvers.
English Light Verb Construction Identification Using Lexical Knowledge.
Target-Dependent Churn Classification in Microblogs.
Ordering-Sensitive and Semantic-Aware Topic Modeling.
Jointly Modeling Deep Video and Compositional Text to Bridge Vision and Language in a Unified Framework.
Learning Greedy Policies for the Easy-First Framework.
Microblog Sentiment Classification with Contextual Knowledge Regularization.
Online Bayesian Models for Personal Analytics in Social Media.
A Family of Latent Variable Convex Relaxations for IBM Model 2.
The Utility of Text: The Case of Amicus Briefs and the Supreme Court.
Never-Ending Learning.
Contrastive Unsupervised Word Alignment with Non-Local Features.
Learning to Mediate Perceptual Differences in Situated Human-Robot Dialogue.
Fast and Accurate Prediction of Sentence Specificity.
Joint Anaphoricity Detection and Coreference Resolution with Constrained Latent Structures.
Recurrent Convolutional Neural Networks for Text Classification.
Local Context Sparse Coding.
Unsupervised Phrasal Near-Synonym Generation from Text Corpora.
Weakly-Supervised Grammar-Informed Bayesian CCG Parser Learning.
A Stratified Strategy for Efficient Kernel-Based Learning.
Topic Segmentation with an Ordering-Based Topic Model.
Dataless Text Classification with Descriptive LDA.
Unsupervised Word Sense Disambiguation Using Markov Random Field and Dependency Parser.
A Novel Neural Topic Model and Its Supervised Extension.
Predicting Peer-to-Peer Loan Rates Using Bayesian Non-Linear Regression.
Phrase Type Sensitive Tensor Indexing Model for Semantic Composition.
Sense-Aaware Semantic Analysis: A Multi-Prototype Word Representation Model Using Wikipedia.
Learning Entity and Relation Embeddings for Knowledge Graph Completion.
Automatically Creating a Large Number of New Bilingual Dictionaries.
Surveyor: A System for Generating Coherent Survey Articles for Scientific Topics.
Refer-to-as Relations as Semantic Knowledge.
Ranking with Recursive Neural Networks and Its Application to Multi-Document Summarization.
Learning Word Representations from Relational Graphs.
Solving Games with Functional Regret Estimation.
Finding a Collective Set of Items: From Proportional Multirepresentation to Group Recommendation.
Fully Proportional Representation with Approval Ballots: Approximating the MaxCover Problem with Bounded Frequencies in FPT Time.
Distributing Coalition Value Calculations to Coalition Members.
Multi-Robot Auctions for Allocation of Tasks with Temporal Constraints.
Plurality Voting Under Uncertainty.
SCRAM: Scalable Collision-avoiding Role Assignment with Minimal-Makespan for Formational Positioning.
Generalization Analysis for Game-Theoretic Machine Learning.
A Counter Abstraction Technique for the Verification of Robot Swarms.
Distributed Multiplicative Weights Methods for DCOP.
Fast Convention Formation in Dynamic Networks Using Topological Knowledge.
Automated Analysis of Commitment Protocols Using Probabilistic Model Checking.
Cupid: Commitments in Relational Algebra.
Elections with Few Voters: Candidate Control Can Be Easy.
Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications.
Verification of Relational Multiagent Systems with Data Types.
Multi-Agent Path Finding on Strongly Biconnected Digraphs.
Cognitive Social Learners: An Architecture for Modeling Normative Behavior.
Cooperating with Unknown Teammates in Complex Domains: A Robot Soccer Case Study of Ad Hoc Teamwork.
Multi-Agent Pathfinding as a Combinatorial Auction.
Scalable Planning and Learning for Multiagent POMDPs.
An Empirical Study on the Practical Impact of Prior Beliefs over Policy Types.
A Nonconvex Relaxation Approach for Rank Minimization Problems.
A Closed Form Solution to Multi-View Low-Rank Regression.
Sparse Bayesian Multiview Learning for Simultaneous Association Discovery and Diagnosis of Alzheimer's Disease.
Colorization by Patch-Based Local Low-Rank Matrix Completion.
Bayesian Approach to Modeling and Detecting Communities in Signed Network.
On Machine Learning towards Predictive Sales Pipeline Analytics.
Temporally Adaptive Restricted Boltzmann Machine for Background Modeling.
Exploiting Task-Feature Co-Clusters in Multi-Task Learning.
Large-Margin Multi-Label Causal Feature Learning.
Forecasting Collector Road Speeds Under High Percentage of Missing Data.
Stable Feature Selection from Brain sMRI.
Integrating Image Clustering and Codebook Learning.
Mining User Interests from Personal Photos.
An SVD and Derivative Kernel Approach to Learning from Geometric Data.
Swiss-System Based Cascade Ranking for Gait-Based Person Re-Identification.
Modeling Status Theory in Trust Prediction.
Exploring Social Context for Topic Identification in Short and Noisy Texts.
Coupled Interdependent Attribute Analysis on Mixed Data.
Transaction Costs-Aware Portfolio Optimization via Fast Lowner-John Ellipsoid Approximation.
Learning Hybrid Models with Guarded Transitions.
On Vectorization of Deep Convolutional Neural Networks for Vision Tasks.
Propagating Ranking Functions on a Graph: Algorithms and Applications.
Algorithm Selection via Ranking.
Inertial Hidden Markov Models: Modeling Change in Multivariate Time Series.
Lazier Than Lazy Greedy.
Generalized Singular Value Thresholding.
A Regularized Linear Dynamical System Framework for Multivariate Time Series Analysis.
Sub-Merge: Diving Down to the Attribute-Value Level in Statistical Schema Matching.
Tensor-Based Learning for Predicting Stock Movements.
Nonstationary Gaussian Process Regression for Evaluating Repeated Clinical Laboratory Tests.
Learning to Uncover Deep Musical Structure.
Scalable and Interpretable Data Representation for High-Dimensional, Complex Data.
Exploiting Determinism to Scale Relational Inference.
Identifying At-Risk Students in Massive Open Online Courses.
PD Disease State Assessment in Naturalistic Environments Using Deep Learning.
Automatic Assessment of OCR Quality in Historical Documents.
Constructing Models of User and Task Characteristics from Eye Gaze Data for User-Adaptive Information Highlighting.
Content-Aware Point of Interest Recommendation on Location-Based Social Networks.
Structured Sparsity with Group-Graph Regularization.
Marginalized Denoising for Link Prediction and Multi-Label Learning.
A Sparse Combined Regression-Classification Formulation for Learning a Physiological Alternative to Clinical Post-Traumatic Stress Disorder Scores.
Sample-Targeted Clinical Trial Adaptation.
Variational Inference for Nonparametric Bayesian Quantile Regression.
Existential Rule Languages with Finite Chase: Complexity and Expressiveness.
A Logic for Reasoning About Game Strategies.
Structured Embedding via Pairwise Relations and Long-Range Interactions in Knowledge Base.
Instance-Driven Ontology Evolution in DL-Lite.
Knowledge Forgetting in Circumscription: A Preliminary Report.
On the Role of Canonicity in Knowledge Compilation.
A Comparison of Qualitative and Metric Spatial Relation Models for Scene Understanding.
The Relative Expressiveness of Abstract Argumentation and Logic Programming.
How Many Diagnoses Do We Need?
Answering Conjunctive Queries over EL Knowledge Bases with Transitive and Reflexive Roles.
Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence.
Interactive Query-Based Debugging of ASP Programs.
Belief Revision Games.
Projection in the Epistemic Situation Calculus with Belief Conditionals.
Minimizing User Involvement for Accurate Ontology Matching Problems.
Logic Programming in Assumption-Based Argumentation Revisited - Semantics and Graphical Representation.
Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm.
Belief Revision with General Epistemic States.
From Classical to Consistent Query Answering under Existential Rules.
Learning Partial Lexicographic Preference Trees over Combinatorial Domains.
An Abstract View on Modularity in Knowledge Representation.
XPath for DL Ontologies.
On Elementary Loops and Proper Loops for Disjunctive Logic Programs.
Splitting a Logic Program Revisited.
Parallelized Hitting Set Computation for Model-Based Diagnosis.
On Computing Explanations in Argumentation.
Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies.
A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs.
Exploiting Parallelism for Hard Problems in Abstract Argumentation.
asprin: Customizing Answer Set Preferences without a Headache.
Solving and Explaining Analogy Questions Using Semantic Networks.
Grounded Fixpoints.
Pearl's Causality in a Logical Setting.
Partial Meet Revision and Contraction in Logic Programs.
LARS: A Logic-Based Framework for Analyzing Reasoning over Streams.
Action Language BC+: Preliminary Report.
Tractable Interval Temporal Propositional and Description Logics.
Ontology Module Extraction via Datalog Reasoning.
Tackling Mental Health by Integrating Unobtrusive Multimodal Sensing.
CORPP: Commonsense Reasoning and Probabilistic Planning, as Applied to Dialog with a Mobile Robot.
Going Beyond Literal Command-Based Instructions: Extending Robotic Natural Language Interaction Capabilities.
Integration and Evaluation of a Matrix Factorization Sequencer in Large Commercial ITS.
Toward Mobile Robots Reasoning Like Humans.
Pattern-Based Variant-Best-Neighbors Respiratory Motion Prediction Using Orthogonal Polynomials Approximation.
Game-Theoretic Approach for Non-Cooperative Planning.
RANSAC versus CS-RANSAC.
Bayesian Active Learning-Based Robot Tutor for Children's Word-Reading Skills.
Learning to Manipulate Unknown Objects in Clutter by Reinforcement.
Predicting Emotion Perception Across Domains: A Study of Singing and Speaking.
Providing Arguments in Discussions Based on the Prediction of Human Argumentative Behavior.
When Suboptimal Rules.
Efficient Task Sub-Delegation for Crowdsourcing.
Crowdsourcing Complex Workflows under Budget Constraints.
On the Impossibility of Convex Inference in Human Computation.
CrowdWON: A Modelling Language for Crowd Processes based on Workflow Nets.
Collaboration in Social Problem-Solving: When Diversity Trumps Network Efficiency.
Incentive Networks.
Acquiring Speech Transcriptions Using Mismatched Crowdsourcing.
Novel Mechanisms for Online Crowdsourcing with Unreliable, Strategic Agents.
Massively Parallel A* Search on a GPU.
TDS+: Improving Temperature Discovery Search.
Resilient Upgrade of Electrical Distribution Grids.
Exploiting Variable Associations to Configure Efficient Local Search in Large-Scale Set Partitioning Problems.
BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems.
Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization.
A Theoretical Analysis of Optimization by Gaussian Continuation.
Improved Local Search for Binary Matrix Factorization.
On Unconstrained Quasi-Submodular Function Optimization.
Value-Directed Compression of Large-Scale Assignment Problems.
Solving Distributed Constraint Optimization Problems Using Logic Programming.
Pruning Game Tree by Rollouts.
Reusing Previously Found A* Paths for Fast Goal-Directed Navigation in Dynamic Terrain.
Recursive Best-First Search with Bounded Overhead.
Lagrangian Decomposition Algorithm for Allocating Marketing Channels.
Stochastic Local Search for Satisfiability Modulo Theories.
Initializing Bayesian Hyperparameter Optimization via Meta-Learning.
Convergent Plans for Large-Scale Evacuations.
Efficient Benchmarking of Hyperparameter Optimizers via Surrogates.
Two Weighting Local Search for Minimum Vertex Cover.
Complexity Results for Compressing Optimal Paths.
Incremental Weight Elicitation for Multiobjective State Space Search.
Limitations of Front-To-End Bidirectional Heuristic Search.
Optimal Column Subset Selection by A-Star Search.
Optimal Machine Strategies to Commit to in Two-Person Repeated Games.
Balanced Trade Reduction for Dual-Role Exchange Markets.
Exploring Information Asymmetry in Two-Stage Security Games.
Mechanism Design for Team Formation.
A Stackelberg Game Approach for Incentivizing Participation in Online Educational Forums with Heterogeneous Student Population.
A Graphical Representation for Games in Partition Function Form.
Truthful Mechanisms without Money for Non-Utilitarian Heterogeneous Facility Location.
Envy-Free Cake-Cutting in Two Dimensions.
Incentives for Subjective Evaluations with Private Beliefs.
Analysis of Equilibria in Iterative Voting Schemes.
Voting Rules As Error-Correcting Codes.
On the Convergence of Iterative Voting: How Restrictive Should Restricted Dynamics Be?
Congestion Games with Distance-Based Strict Uncertainty.
Cooperative Game Solution Concepts that Maximize Stability under Noise.
The Pricing War Continues: On Competitive Multi-Item Pricing.
Stable Invitations.
Optimal Personalized Filtering Against Spear-Phishing Attacks.
Controlled School Choice with Soft Bounds and Overlapping Types.
On a Competitive Secretary Problem.
Matching with Dynamic Ordinal Preferences.
Hedonic Coalition Formation in Networks.
Strategy-Proof and Efficient Kidney Exchange Using a Credit Mechanism.
Security Games with Protection Externalities.
A Complexity Approach for Core-Selecting Exchange with Multiple Indivisible Goods under Lexicographic Preferences.
Elicitation for Aggregation.
Facility Location with Double-Peaked Preferences.
A Mechanism Design Approach to Measure Awareness.
Do Capacity Constraints Constrain Coalitions?
A Unifying Hierarchy of Valuations with Complements and Substitutes.
The Complexity of Recognizing Incomplete Single-Crossing Preferences.
Conventional Machine Learning for Social Choice.
Fair Information Sharing for Treasure Hunting.
Computing Nash Equilibrium in Interdependent Defense Games.
Price Evolution in a Continuous Double Auction Prediction Market With a Scoring-Rule Based Market Maker.
A Faster Core Constraint Generation Algorithm for Combinatorial Auctions.
Strategic Voting and Strategic Candidacy.
Combining Compact Representation and Incremental Generation in Large Games with Sequential Strategies.
Sequence-Form Algorithm for Computing Stackelberg Equilibria in Extensive-Form Games.
Learning Valuation Distributions from Partial Observation.
Audit Games with Multiple Defender Resources.
Justified Representation in Approval-Based Committee Voting.
Approximating Optimal Social Choice under Metric Preferences.
Online Learning and Profit Maximization from Revealed Preferences.
Assessing the Robustness of Cremer-McLean with Automated Mechanism Design.
Continuity Editing for 3D Animation.
Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games.
Real-Time Predictive Optimization for Energy Management in a Hybrid Electric Vehicle.
A Simulator of Human Emergency Mobility Following Disasters: Knowledge Transfer from Big Disaster Data.
Incentivizing Users for Balancing Bike Sharing Systems.
SmartShift: Expanded Load Shifting Incentive Mechanism for Risk-Averse Consumers.
Predisaster Preparation of Transportation Networks.
Risk Based Optimization for Improving Emergency Medical Systems.
Towards Optimal Solar Tracking: A Dynamic Programming Approach.
Data Analysis and Optimization for (Citi)Bike Sharing.
HVAC-Aware Occupancy Scheduling.
Energy Usage Behavior Modeling in Energy Disaggregation via Marked Hawkes Process.
Aggregating Electric Cars to Sustainable Virtual Power Plants: The Value of Flexibility in Future Electricity Markets.
Power System Restoration With Transient Stability.
A Nonparametric Online Model for Air Quality Prediction.
Learning Large-Scale Dynamic Discrete Choice Models of Spatio-Temporal Preferences with Application to Migratory Pastoralism in East Africa.
Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery.
Energy Disaggregation via Learning Powerlets and Sparse Coding.
FutureMatch: Combining Human Value Judgments and Machine Learning to Match in Dynamic Environments.
Best-Response Planning of Thermostatically Controlled Loads under Power Constraints.
Sharing Rides with Friends: A Coalition Formation Algorithm for Ridesharing.
Influence-Driven Model for Time Series Prediction from Partial Observations.
An Association Network for Computing Semantic Relatedness.
An Entorhinal-Hippocampal Model for Simultaneous Cognitive Map Building.
Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner.
Automatic Ellipsis Resolution: Recovering Covert Information from Text.
Extending Analogical Generalization with Near-Misses.
Ontology-Based Information Extraction with a Cognitive Agent.
Learning Plausible Inferences from Semantic Web Knowledge by Combining Analogical Generalization with Structured Logistic Regression.
Spontaneous Retrieval from Long-Term Memory for a Cognitive Architecture.
Heuristic Induction of Rate-Based Process Models.
Bayesian Affect Control Theory of Self.
Automated Construction of Visual-Linguistic Knowledge via Concept Learning from Cartoon Videos.
Dialogue Understanding in a Logic of Action and Belief.
AffectiveSpace 2: Enabling Affective Intuition for Concept-Level Sentiment Analysis.
Moral Decision-Making by Analogy: Generalizations versus Exemplars.
An Agent-Based Model of the Emergence and Transmission of a Language System for the Expression of Logical Combinations.
Kickback Cuts Backprop's Red-Tape: Biologically Plausible Credit Assignment in Neural Networks.
Learning User-Specific Latent Influence and Susceptibility from Information Cascades.
Embedded Unsupervised Feature Selection.
Efficient Computation of Semivalues for Game-Theoretic Network Centrality.
Probabilistic Graphical Models for Boosting Cardinal and Ordinal Peer Grading in MOOCs.
A Multivariate Timeseries Modeling Approach to Severity of Illness Assessment and Forecasting in ICU with Sparse, Heterogeneous Clinical Data.
Personalized Tag Recommendation through Nonlinear Tensor Factorization Using Gaussian Kernel.
R1SVM: A Randomised Nonlinear Approach to Large-Scale Anomaly Detection.
Person Identification Using Anthropometric and Gait Data from Kinect Sensor.
Representation Learning for Aspect Category Detection in Online Reviews.
Exploring Key Concept Paraphrasing Based on Pivot Language Translation for Question Retrieval.
Retweet Behavior Prediction Using Hierarchical Dirichlet Process.
Incorporating Implicit Link Preference Into Overlapping Community Detection.
Are Features Equally Representative? A Feature-Centric Recommendation.
Robust Image Sentiment Analysis Using Progressively Trained and Domain Transferred Deep Networks.
Collaborative Topic Ranking: Leveraging Item Meta-Data for Sparsity Reduction.
RAIN: Social Role-Aware Information Diffusion.
On the Scalable Learning of Stochastic Blockmodel.
A Probabilistic Model for Bursty Topic Discovery in Microblogs.
DynaDiffuse: A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization.
Mining Query Subtopics from Questions in Community Question Answering.
Clustering-Based Collaborative Filtering for Link Prediction.
Burst Time Prediction in Cascades.
Mining User Intents in Twitter: A Semi-Supervised Approach to Inferring Intent Categories for Tweets.
Relating Romanized Comments to News Articles by Inferring Multi-Glyphic Topical Correspondence.
Sampling Representative Users from Large Social Networks.
Causal Inference via Sparse Additive Models with Application to Online Advertising.
Recommending Positive Links in Signed Social Networks by Optimizing a Generalized AUC.
A Hybrid Approach of Classifier and Clustering for Solving the Missing Node Problem.
Question/Answer Matching for CQA System via Combining Lexical and Sequential Information.
Extracting Bounded-Level Modules from Deductive RDF Triplestores.
Leveraging Social Foci for Information Seeking in Social Media.
Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice.
Using Description Logics for RDF Constraint Checking and Closed-World Recognition.
Incorporating Assortativity and Degree Dependence into Scalable Network Models.
Handling Owl: sameAs via Rewriting.
A Tri-Role Topic Model for Domain-Specific Question Answering.
Content-Based Collaborative Filtering for News Topic Recommendation.
Effectively Predicting Whether and When a Topic Will Become Prevalent in a Social Network.
COT: Contextual Operating Tensor for Context-Aware Recommender Systems.
Multi-Document Summarization Based on Two-Level Sparse Representation Model.
Consistent Knowledge Discovery from Evolving Ontologies.
Using Matched Samples to Estimate the Effects of Exercise on Mental Health via Twitter.
Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes.
Estimating Temporal Dynamics of Human Emotions.
Modeling with Node Degree Preservation Can Accurately Find Communities.
Cross-Modal Image Clustering via Canonical Correlation Analysis.
Kernel Density Estimation for Text-Based Geolocation.
Prajna: Towards Recognizing Whatever You Want from Images without Image Labeling.
A Stochastic Model for Detecting Heterogeneous Link Communities in Complex Networks.
TrustSVD: Collaborative Filtering with Both the Explicit and Implicit Influence of User Trust and of Item Ratings.
FACES: Diversity-Aware Entity Summarization Using Incremental Hierarchical Conceptual Clustering.
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies.
Extended Property Paths: Writing More SPARQL Queries in a Succinct Way.
Trust Models for RDF Data: Semantics and Complexity.
An EBMC-Based Approach to Selecting Types for Entity Filtering.
High-Performance Distributed ML at Scale through Parameter Server Consistency Models.
Predicting the Demographics of Twitter Users from Website Traffic Data.
Perceiving Group Themes from Collective Social and Behavioral Information.
An Axiomatic Approach to Link Prediction.
A New Granger Causal Model for Influence Evolution in Dynamic Social Networks: The Case of DBLP.
Visually Interpreting Names as Demographic Attributes by Exploiting Click-Through Data.
On Information Coverage for Location Category Based Point-of-Interest Recommendation.
VELDA: Relating an Image Tweet's Text and Images.
Will You "Reconsume" the Near Past? Fast Prediction on Short-Term Reconsumption Behaviors.
A Personalized Interest-Forgetting Markov Model for Recommendations.
Inferring Same-As Facts from Linked Data: An Iterative Import-by-Query Approach.
Efficient Top-k Shortest-Path Distance Queries on Large Networks by Pruned Landmark Labeling.