Table of Contents

• Social Context-Aware Trust Network Discovery in Complex Contextual Social NetworksGuanfeng Liu, Yan Wang, Mehmet A. Orgun. [doi]
• Transportability of Causal Effects: Completeness ResultsElias Bareinboim, Judea Pearl. [doi]
• Repeated Sequential Auctions with Dynamic Task ClustersBradford Gregory John Heap, Maurice Pagnucco. [doi]
• Document Summarization Based on Data ReconstructionZhanying He, Chun Chen, Jiajun Bu, Can Wang, Lijun Zhang 0005, Deng Cai, Xiaofei He. [doi]
• Towards a Cognitive System that Can Recognize Spatial Regions Based on ContextNick Hawes, Matthew Klenk, Kate Lockwood, Graham S. Horn, John D. Kelleher. [doi]
• Filtering Algorithms Based on the Word-RAM ModelPhilippe Van Kessel, Claude-Guy Quimper. [doi]
• Coordinated Multi-Robot Exploration Under Communication Constraints Using Decentralized Markov Decision ProcessesLaëtitia Matignon, Laurent Jeanpierre, Abdel-Illah Mouaddib. [doi]
• Configuration Checking with Aspiration in Local Search for SATShaowei Cai, Kaile Su. [doi]
• Pre-Symptomatic Prediction of Plant Drought Stress Using Dirichlet-Aggregation Regression on Hyperspectral ImagesKristian Kersting, Zhao Xu, Mirwaes Wahabzada, Christian Bauckhage, Christian Thurau, Christoph Römer, Agim Ballvora, Uwe Rascher, Jens Leon, Lutz Plümer. [doi]
• Goal Recognition with Markov Logic Networks for Player-Adaptive GamesEun Y. Ha, Jonathan P. Rowe, Bradford W. Mott, James C. Lester. [doi]
• Non-Intrusive Load Monitoring Using Prior Models of General Appliance TypesOliver Parson, Siddhartha Ghosh, Mark Weal, Alex Rogers. [doi]
• Social Cognition: Memory Decay and Adaptive Information Filtering for Robust Information MaintenanceDavid Reitter, Christian Lebiere. [doi]
• A Spin-Glass Model for Semi-Supervised Community DetectionEric Eaton, Rachael Mansbach. [doi]
• Catch Me If You Can: Pursuit and Capture in Polygonal Environments with ObstaclesKyle Klein, Subhash Suri. [doi]
• A Theoretical Framework of the Graph Shift AlgorithmXuhui Fan, Longbing Cao. [doi]
• A Multi-Domain Evaluation of Scaling in a General Episodic MemoryNate Derbinsky, Justin Li, John E. Laird. [doi]
• An Investigation of Sensitivity on Bagging Predictors: An Empirical ApproachGuohua Liang. [doi]
• The Deployment-to-Saturation Ratio in Security GamesManish Jain, Kevin Leyton-Brown, Milind Tambe. [doi]
• Learning Transformation Rules by ExamplesBo Wu, Pedro A. Szekely, Craig A. Knoblock. [doi]
• Classification of Sparse Time Series via Supervised Matrix FactorizationJosif Grabocka, Alexandros Nanopoulos, Lars Schmidt-Thieme. [doi]
• Usage-Centric Benchmarking of RDF Triple StoresMohamed Morsey, Jens Lehmann, Sören Auer, Axel-Cyrille Ngonga Ngomo. [doi]
• A Dichotomy for 2-Constraint Forbidden CSP PatternsMartin C. Cooper, Guillaume Escamocher. [doi]
• Convex Kernelized SortingNemanja Djuric, Mihajlo Grbovic, Slobodan Vucetic. [doi]
• Possible Winners in Noisy ElectionsKrzysztof Wojtas, Piotr Faliszewski. [doi]
• Interactive Narrative: A Novel Application of Artificial Intelligence for Computer GamesMark Riedl, Vadim Bulitko. [doi]
• Opportunities and Challenges for Constraint ProgrammingBarry O'Sullivan. [doi]
• Last-Mile Restoration for Multiple Interdependent InfrastructuresCarleton Coffrin, Pascal Van Hentenryck, Russell Bent. [doi]
• Reformulating Temporal Action Logics in Answer Set ProgrammingJoohyung Lee, Ravi Palla. [doi]
• Searching for Optimal Off-Line Exploration Paths in Grid Environments for a Robot with Limited VisibilityAlberto Quattrini Li, Francesco Amigoni, Nicola Basilico. [doi]
• Symbolic Variable Elimination for Discrete and Continuous Graphical ModelsScott Sanner, Ehsan Abbasnejad. [doi]
• Multinomial Relation Prediction in Social Data: A Dimension Reduction ApproachNozomi Nori, Danushka Bollegala, Hisashi Kashima. [doi]
• Conflict-Based Search For Optimal Multi-Agent Path FindingGuni Sharon, Roni Stern, Ariel Felner, Nathan R. Sturtevant. [doi]
• A Robust Bayesian Truth Serum for Small PopulationsJens Witkowski, David C. Parkes. [doi]
• Scheduling Conservation Designs via Network Cascade OptimizationShan Xue, Alan Fern, Daniel Sheldon. [doi]
• Conditioning in First-Order Knowledge Compilation and Lifted Probabilistic InferenceGuy Van den Broeck, Jesse Davis. [doi]
• Advances in Lifted Importance SamplingVibhav Gogate, Abhay Kumar Jha, Deepak Venugopal. [doi]
• Dynamically Switching between Synergistic Workflows for CrowdsourcingChristopher H. Lin, Mausam, Daniel S. Weld. [doi]
• Computing Stackelberg Equilibria in Discounted Stochastic GamesYevgeniy Vorobeychik, Satinder P. Singh. [doi]
• A Bregman Divergence Optimization Framework for Ranking on Data Manifold and Its New ExtensionsBin Xu, Jiajun Bu, Chun Chen, Deng Cai. [doi]
• Search-Based Path Planning with Homotopy Class Constraints in 3DSubhrajit Bhattacharya, Maxim Likhachev, Vijay Kumar. [doi]
• Competing with Humans at Fantasy Football: Team Formation in Large Partially-Observable DomainsTim Matthews, Sarvapali D. Ramchurn, Georgios Chalkiadakis. [doi]
• Improving Hybrid Vehicle Fuel Efficiency Using Inverse Reinforcement LearningAdam Vogel, Deepak Ramachandran, Rakesh Gupta, Antoine Raux. [doi]
• Sense Sentiment Similarity: An AnalysisMitra Mohtarami, Hadi Amiri, Man Lan, Thanh Phu Tran, Chew Lim Tan. [doi]
• Building Collaborative Strategies via ImitationSaleha Raza. [doi]
• Polynomially Decomposable Global Cost Functions in Weighted Constraint SatisfactionJimmy Ho-Man Lee, Ka Lun Leung, Yi Wu. [doi]
• A Bayesian Approach to the Data Description ProblemAlireza Ghasemi, Hamid R. Rabiee, Mohammad Taghi Manzuri, Mohammad Hossein Rohban. [doi]
• Knapsack Based Optimal Policies for Budget-Limited Multi-Armed BanditsLong Tran-Thanh, Archie C. Chapman, Alex Rogers, Nicholas R. Jennings. [doi]
• Rule Ensemble Learning Using Hierarchical Kernels in Structured Output SpacesNaveen Nair, Amrita Saha, Ganesh Ramakrishnan, Shonali Krishnaswamy. [doi]
• Learning Qualitative Models by DemonstrationThomas R. Hinrichs, Kenneth D. Forbus. [doi]
• Fairness and Welfare Through Redistribution When Utility Is TransferableRuggiero Cavallo. [doi]
• Exploring Mixed-Initiative Interaction for Learning with Situated Instruction in Cognitive AgentsShiwali Mohan, John E. Laird. [doi]
• Benchmarking Ontology-Based Query Rewriting SystemsMartha Imprialou, Giorgos Stoilos, Bernardo Cuenca Grau. [doi]
• Generating Chinese Classical Poems with Statistical Machine Translation ModelsJing He, Ming Zhou, Long Jiang. [doi]
• Predicting Disease Transmission from Geo-Tagged Micro-Blog DataAdam Sadilek, Henry A. Kautz, Vincent Silenzio. [doi]
• Exploring the Duality in Conflict-Directed Model-Based DiagnosisRoni Tzvi Stern, Meir Kalech, Alexander Feldman, Gregory M. Provan. [doi]
• Strategic Advice Provision in Repeated Human-Agent Interactions (Abstract)Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Claudia V. Goldman, Ya'akov Gal. [doi]
• Congestion Games with Agent FailuresReshef Meir, Moshe Tennenholtz, Yoram Bachrach, Peter Key. [doi]
• Lagrangian Relaxation Techniques for Scalable Spatial Conservation PlanningAkshat Kumar, XiaoJian Wu, Shlomo Zilberstein. [doi]
• Manifold Warping: Manifold Alignment over TimeHoa Trong Vu, Clifton Carey, Sridhar Mahadevan. [doi]
• Predicting Satisfiability at the Phase TransitionLin Xu, Holger H. Hoos, Kevin Leyton-Brown. [doi]
• Occupancy Grid Models for Robot Mapping in Changing EnvironmentsDaniel Meyer-Delius, Maximilian Beinhofer, Wolfram Burgard. [doi]
• Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect RecallXiaowei Huang, Kaile Su, Chenyi Zhang. [doi]
• Lessons Learned From a Rational Reconstruction of MinstrelBrandon Robert Tearse, Peter A. Mawhorter, Michael Mateas, Noah Wardrip-Fruin. [doi]
• Computing Equilibria with Two-Player Zero-Sum Continuous Stochastic Games with Switching ControllerGuido Bonomi, Nicola Gatti, Fabio Panozzo, Marcello Restelli. [doi]
• Symmetry Breaking Constraints: Recent ResultsToby Walsh. [doi]
• Algorithmic and Human Teaching of Sequential Decision TasksMaya Cakmak, Manuel Lopes. [doi]
• Music-Inspired Texture RepresentationBen Horsburgh, Susan Craw, Stewart Massie. [doi]
• Trap Avoidance in Local Search Using Pseudo-Conflict LearningDuc Nghia Pham, Thach-Thao Duong, Abdul Sattar. [doi]
• Similarity Is Not Entailment - Jointly Learning Similarity Transformation for Textual EntailmentKen-ichi Yokote, Danushka Bollegala, Mitsuru Ishizuka. [doi]
• Bayesian Unification of Sound Source Localization and Separation with Permutation ResolutionTakuma Otsuka, Katsuhiko Ishiguro, Hiroshi Sawada, Hiroshi G. Okuno. [doi]
• A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint AtomsYisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You. [doi]
• Evaluating Temporal Plans in Incomplete DomainsDaniel Morwood, Daniel Bryce. [doi]
• Hierarchical Double Dirichlet Process Mixture of Gaussian ProcessesAditya Tayal, Pascal Poupart, Yuying Li. [doi]
• Frugal Coordinate Descent for Large-Scale NNLSVamsi K. Potluru. [doi]
• Mirror Perspective-Taking with a Humanoid RobotJustin Wildrick Hart, Brian Scassellati. [doi]
• Evaluating Resistance to False-Name Manipulations in ElectionsBo Waggoner, Lirong Xia, Vincent Conitzer. [doi]
• Bayes-Adaptive Interactive POMDPsBrenda Ng, Kofi Boakye, Carol Meyers, Andrew Wang. [doi]
• Identifying Bullies with a Computer GameJuan Fernando Mancilla-Caceres, Wen Pu, Eyal Amir, Dorothy Espelage. [doi]
• Abductive Metareasoning for Truth-Seeking AgentsJoshua Eckroth. [doi]
• Improving Convergence of CMA-ES Through Structure-Driven Discrete RecombinationTim Brys, Ann Nowé. [doi]
• Kernel-Based Reinforcement Learning on Representative StatesBranislav Kveton, Georgios Theocharous. [doi]
• Symmetric Subgame Perfect Equilibria in Resource AllocationLudek Cigler, Boi Faltings. [doi]
• Solution Diversity in PlanningAlexandra Coman. [doi]
• Ensemble Feature Weighting Based on Local Learning and DiversityYun Li, Su-Yan Gao, Songcan Chen. [doi]
• On Finding Optimal PolytreesSerge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider. [doi]
• A Hybrid Algorithm for Coalition Structure GenerationTalal Rahwan, Tomasz P. Michalak, Nicholas R. Jennings. [doi]
• Semi-Supervised Kernel Matching for Domain AdaptationMin Xiao, Yuhong Guo. [doi]
• PROTECT: An Application of Computational Game Theory for the Security of the Ports of the United StatesEric Anyung Shieh, Bo An, Rong Yang, Milind Tambe, Craig Baldwin, Joseph DiRenzo, Ben Maule, Garrett Meyer. [doi]
• Multi-Label Learning on Tensor Product GraphJonathan Jiang. [doi]
• Symbolic Dynamic Programming for Continuous State and Action MDPsZahra Zamani, Scott Sanner, Cheng Fang. [doi]
• Online Task Assignment in Crowdsourcing MarketsChien-Ju Ho, Jennifer Wortman Vaughan. [doi]
• Modeling Textual Cohesion for Event ExtractionRuihong Huang, Ellen Riloff. [doi]
• Query Rewriting for Horn-SHIQ Plus RulesThomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao. [doi]
• Iterative Resource Allocation for Memory Intensive Parallel Search Algorithms on Clouds, Grids, and Shared ClustersAlex Fukunaga, Akihiro Kishimoto, Adi Botea. [doi]
• Symmetric Rendezvous in Planar Environments With and Without ObstaclesDeniz Ozsoyeller, Volkan Isler, Andrew Beveridge. [doi]
• Discovering Constraints for Inductive Process ModelingLjupco Todorovski, Will Bridewell, Pat Langley. [doi]
• Unsupervised Feature Selection Using Nonnegative Spectral AnalysisZechao Li, Yi Yang, Jing Liu, Xiaofang Zhou, Hanqing Lu. [doi]
• On Maxsum Fair Cake DivisionsSteven J. Brams, Michal Feldman, John K. Lai, Jamie Morgenstern, Ariel D. Procaccia. [doi]
• Action Selection for MDPs: Anytime AO* Versus UCTBlai Bonet, Hector Geffner. [doi]
• The Parameterized Complexity of AbductionMichael R. Fellows, Andreas Pfandler, Frances A. Rosamond, Stefan Rümmele. [doi]
• Learning Actions and Action Verbs from Human-Agent InteractionShiwali Mohan. [doi]
• Large Scale Temporal RDFS Reasoning Using MapReduceChang Liu, Guilin Qi, Yong Yu. [doi]
• Stochastic Safest and Shortest Path ProblemsFlorent Teichteil-Königsbuch. [doi]
• Content Recommendation for Attention Management in Unified Social MessagingHongxia Jin. [doi]
• Learning Names for RFID-Tagged Objects in Activity VideosIan E. Perera, James F. Allen. [doi]
• Visibility Induction for Discretized Pursuit-Evasion GamesAhmed Abdelkader Abdelrazek, Hazem M. El-Alfy. [doi]
• A Parameterized Runtime Analysis of Evolutionary Algorithms for the Euclidean Traveling Salesperson ProblemAndrew M. Sutton, Frank Neumann. [doi]
• Teaching Machines to Learn by MetaphorsOmer Levy, Shaul Markovitch. [doi]
• Functional Interactions Between Memory and Recognition JudgmentsJustin Li, Nate Derbinsky, John E. Laird. [doi]
• Choosing Linguistics over Vision to Describe ImagesAnkush Gupta, Yashaswi Verma, C. V. Jawahar. [doi]
• Compressed Least-Squares Regression on Sparse SpacesMahdi Milani Fard, Yuri Grinberg, Joelle Pineau, Doina Precup. [doi]
• Informed Initial Policies for Learning in Dec-POMDPsLandon Kraemer, Bikramjit Banerjee. [doi]
• A Dynamic Rationalization of Distance RationalizabilityCraig Boutilier, Ariel D. Procaccia. [doi]
• Capabilities in Heterogeneous Multi-Robot SystemsJennifer Elisabeth Buehler. [doi]
• Dynamic Multiagent Resource Allocation: Integrating Auctions and MDPs for Real-Time DecisionsHadi Hosseini. [doi]
• Relative Attributes for Enhanced Human-Machine CommunicationDevi Parikh, Adriana Kovashka, Amar Parkash, Kristen Grauman. [doi]
• A Tractable First-Order Probabilistic LogicPedro Domingos, William Austin Webb. [doi]
• Ordered Completion for Logic Programs with AggregatesVernon Asuncion, Yan Zhang, Yi Zhou. [doi]
• MAXSAT Heuristics for Cost Optimal PlanningLei Zhang, Fahiem Bacchus. [doi]
• Learning the Kernel Matrix with Low-Rank Multiplicative ShapingTomer Levinboim, Fei Sha. [doi]
• Enriching Chatter Bots With Semantic Conversation ControlChayan Chakrabarti. [doi]
• Computing the Nucleolus of Matching, Cover and Clique GamesNing Chen, Pinyan Lu, Hongyang Zhang. [doi]
• HyperPlay: A Solution to General Game Playing with Imperfect InformationMichael John Schofield, Timothy Joseph Cerexhe, Michael Thielscher. [doi]
• Equality-Friendly Well-Founded Semantics and Applications to Description LogicsGeorg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz. [doi]
• A Grounded Cognitive Model for Metaphor AcquisitionSushobhan Nayak, Amitabha Mukerjee. [doi]
• An Efficient Simulation-Based Approach to Ambulance Fleet Allocation and Dynamic RedeploymentYisong Yue, Lavanya Marla, Ramayya Krishnan. [doi]
• A Distributed Approach to Summarizing Spaces of Multiagent SchedulesJames C. Boerkoel Jr., Edmund H. Durfee. [doi]
• Recommending Related Microblogs: A Comparison Between Topic and WordNet based ApproachesXing Chen, Lin Li, Guandong Xu, Zhenglu Yang, Masaru Kitsuregawa. [doi]
• Context Tree MaximizingPhuong Minh Nguyen, Peter Sunehag, Marcus Hutter. [doi]
• Learning to Learn: Algorithmic Inspirations from Human Problem SolvingAshish Kapoor, Bongshin Lee, Desney S. Tan, Eric Horvitz. [doi]
• Ontology-Based Data Access with Dynamic TBoxes in DL-LiteFloriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. [doi]
• Leveraging Domain Knowledge in Multitask Bayesian Network Structure LearningDiane Oyen, Terran Lane. [doi]
• Table Header Detection and ClassificationJing Fang, Prasenjit Mitra, Zhi Tang, C. Lee Giles. [doi]
• Large-Scale Mapping and Navigation in VirtualWorlds: Thesis SummaryKatrina Samperi. [doi]
• Hierarchical Modeling with Tensor InputsYada Zhu, Jingrui He, Rick Lawrence. [doi]
• Matching State-Based Sequences with Rich Temporal AspectsAihua Zheng, Jixin Ma, Jin Tang, Bin Luo. [doi]
• Using Expectations to Drive Cognitive BehaviorUnmesh Kurup, Christian Lebiere, Anthony Stentz, Martial Hebert. [doi]
• A Bucket Elimination Approach for Determining Strong Controllability of Temporal Plans with Uncontrollable ChoicesPedro Henrique Rodrigues Quemel e Assis Santana, Brian Charles Williams. [doi]
• Parsing Outdoor Scenes from Streamed 3D Laser Data Using Online Clustering and Incremental Belief UpdatesRudolph Triebel, Rohan Paul, Daniela Rus, Paul M. Newman. [doi]
• Structural Patterns Beyond Forks: Extending the Complexity Boundaries of Classical PlanningMichael Katz, Emil Keyder. [doi]
• Markov Network Structure Learning: A Randomized Feature Generation ApproachJan Van Haaren, Jesse Davis. [doi]
• The Price of Neutrality for the Ranked Pairs MethodMarkus Brill, Felix A. Fischer. [doi]
• Fine-Grained Entity RecognitionXiao Ling, Daniel S. Weld. [doi]
• Generating Coherent Summaries with Textual AspectsRenxian Zhang, Wenjie Li, Dehong Gao. [doi]
• Fine-Grained Photovoltaic Output Prediction Using a Bayesian EnsemblePrithwish Chakraborty, Manish Marwah, Martin F. Arlitt, Naren Ramakrishnan. [doi]
• Effects of Representation on Solving Complex Spatial-Temporal ProblemsBaylor Wetzel. [doi]
• Using the Web to Interactively Learn to Find ObjectsMehdi Samadi, Thomas Kollar, Manuela M. Veloso. [doi]
• Combining Hashing and Abstraction in Sparse High Dimensional Feature SpacesCornelia Caragea, Adrian Silvescu, Prasenjit Mitra. [doi]
• Information Set Generation in Partially Observable GamesMark Richards, Eyal Amir. [doi]
• Conservative and Greedy Approaches to Classification-Based Policy IterationMohammad Ghavamzadeh, Alessandro Lazaric. [doi]
• A Novel and Scalable Spatio-Temporal Technique for Ocean Eddy MonitoringJames H. Faghmous, Yashu Chamber, Shyam Boriah, Frode Vikebø, Stefan Liess, Michel dos Santos Mesquita, Vipin Kumar. [doi]
• Filtering Decomposable Global Cost FunctionsDavid Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex. [doi]
• Tree-Based Solution Methods for Multiagent POMDPs with Delayed CommunicationFrans Adriaan Oliehoek, Matthijs T. J. Spaan. [doi]
• Identifying Adverse Drug Events by Relational LearningDavid Page, Vítor Santos Costa, Sriraam Natarajan, Aubrey Barnard, Peggy L. Peissig, Michael Caldwell. [doi]
• Learning from Demonstration for Goal-Driven AutonomyBen George Weber, Michael Mateas, Arnav Jhala. [doi]
• A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited ReasoningYi Fan, Minghui Cai, Naiqi Li, Yongmei Liu. [doi]
• Estimation of Suitable Action to Realize Given Novel Effect with Given Tool Using Bayesian Tool AffordancesRaghvendra Jain, Tetsunari Inamura. [doi]
• Approximate Policy Iteration with Linear Action ModelsHengshuai Yao, Csaba Szepesvári. [doi]
• Width and Complexity of Belief Tracking in Non-Deterministic Conformant and Contingent PlanningBlai Bonet, Hector Geffner. [doi]
• REWOrD: Semantic Relatedness in the Web of DataGiuseppe Pirrò. [doi]
• Complex Task Learning from Unstructured DemonstrationsScott Niekum. [doi]
• Stability Via Convexity and LP Duality in OCF GamesYair Zick, Evangelos Markakis, Edith Elkind. [doi]
• LRTDP Versus UCT for Online Probabilistic PlanningAndrey Kolobov, Mausam, Daniel S. Weld. [doi]
• Querying Linked Ontological Data through Distributed SummarizationAchille Fokoue, Felipe Meneguzzi, Murat Sensoy, Jeff Z. Pan. [doi]
• SPARQL Query Containment Under SHI AxiomsMelisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. 10-16 [doi]
• Fused Matrix Factorization with Geographical and Social Influence in Location-Based Social NetworksChen Cheng, Haiqin Yang, Irwin King, Michael R. Lyu. 17-23 [doi]
• Building Contextual Anchor Text Representation using Graph RegularizationNa Dai. 24-30 [doi]
• Quality Expectation-Variance Tradeoffs in Crowdsourcing ContestsXi Alice Gao, Yoram Bachrach, Peter Key, Thore Graepel. 38-44 [doi]
• ET-LDA: Joint Topic Modeling for Aligning Events and their Twitter FeedbackYuheng Hu, Ajita John, Fei Wang, Subbarao Kambhampati. 59-65 [doi]
• Predictive Mining of Comparable Entities from the WebMyungha Jang, Jin-Woo Park, Seung-won Hwang. 66-72 [doi]
• A Convex Formulation for Learning from CrowdsHiroshi Kajino, Yuta Tsuboi, Hisashi Kashima. 73-79 [doi]
• Diagnosing Changes in An Ontology Stream: A DL Reasoning ApproachFreddy Lécué. 80-86 [doi]
• BabelRelate! A Joint Multilingual Approach to Computing Semantic RelatednessRoberto Navigli, Simone Paolo Ponzetto. 108-114 [doi]
• Adaptive Polling for Information AggregationThomas Pfeiffer, Xi Alice Gao, Yiling Chen, Andrew Mao, David G. Rand. 122-128 [doi]
• A Mouse-Trajectory Based Model for Predicting Query-URL RelevanceHengjie Song, Ruoxue Liao, Xiangliang Zhang, Chunyan Miao, Qiang Yang. 143-149 [doi]
• Improved Convergence of Iterative Ontology Alignment using Block-Coordinate DescentUthayasanker Thayasivam, Prashant Doshi. 150-156 [doi]
• Ontological Smoothing for Relation Extraction with Minimal SupervisionCongle Zhang, Raphael Hoffmann, Daniel S. Weld. 157-163 [doi]
• A Data-Driven Approach to Question Subjectivity Identification in Community Question AnsweringTom Chao Zhou, Xiance Si, Edward Y. Chang, Irwin King, Michael R. Lyu. 164-170 [doi]
• Discovering Spammers in Social NetworksYin Zhu, Xiao Wang, ErHeng Zhong, Nathan Nan Liu, He Li, Qiang Yang. 171-177 [doi]
• Towards Automated Choreographing of Web Services Using PlanningGuobing Zou, Yixin Chen, You Xu, Ruoyun Huang, Yang Xiang. 178-184 [doi]
• Sentic Activation: A Two-Level Affective Common Sense Reasoning FrameworkErik Cambria, Daniel Olsher, Kenneth Kwok. 186-192 [doi]
• Crossing Boundaries: Multi-Level Introspection in a Complex Robotic Architecture for Automatic Performance ImprovementsEvan A. Krause, Paul W. Schermerhorn, Matthias Scheutz. 214-220 [doi]
• The Automated Vacuum Waste Collection Optimization ProblemRamón Béjar, Cèsar Fernández, Carles Mateu, Felip Manyà, Francina Sole-Mauri, David Vidal. 264-266 [doi]
• MOMDPs: A Solution for Modelling Adaptive Management ProblemsIadine Chades, Josie Carwardine, Tara G. Martin, Samuel Nicol, Régis Sabbadin, Olivier Buffet. 267-273 [doi]
• Learning Non-Stationary Space-Time Models for Environmental MonitoringSahil Garg, Amarjeet Singh 0003, Fabio Ramos. 288-294 [doi]
• Patrol Strategies to Maximize Pristine Forest AreaMatthew Paul Johnson, Fei Fang, Milind Tambe. 295-301 [doi]
• An Intelligent Battery Controller Using Bias-Corrected Q-learningDonghun Lee, Warren B. Powell. 316-322 [doi]
• Sensing the Air We Breathe - The OpenSense Zurich DatasetJason Jingshi Li, Boi Faltings, Olga Saukh, David Hasenfratz, Jan Beutel. 323-325 [doi]
• Sustaining Economic Exploitation of Complex Ecosystems in Computational Models of Coupled Human-Natural NetworksNeo D. Martinez, Perrine Tonnin, Barbara Bauer, Rosalyn C. Rael, Rahul Singh, Sanghyuk Yoon, Ilmi Yoon, Jennifer A. Dunne. 326-334 [doi]
• Global Climate Model Tracking Using Geospatial NeighborhoodsScott McQuade, Claire Monteleoni. 335-341 [doi]
• Coupling Spatiotemporal Disease Modeling with DiagnosisMartin Gordon Mubangizi, Caterine Ikae, Athina Spiliopoulou, John A. Quinn. 342-348 [doi]
• Prediction and Fault Detection of Environmental Signals with Uncharacterised FaultsMichael A. Osborne, Roman Garnett, Kevin Swersky, Nando de Freitas. 349-355 [doi]
• Factored Models for Multiscale Decision-Making in Smart Grid CustomersPrashant P. Reddy, Manuela M. Veloso. 363-369 [doi]
• Cooperative Virtual Power Plant Formation Using Scoring RulesValentin Robu, Ramachandra Kota, Georgios Chalkiadakis, Alex Rogers, Nicholas R. Jennings. 370-376 [doi]
• Robust Cuts Over Time: Combatting the Spread of Invasive Species with Unreliable Biological ControlGwen Spencer. 377-383 [doi]
• Solving Dots-And-BoxesJoseph Kelly Barker, Richard E. Korf. 414-419 [doi]
• Solving Peg Solitaire with Bidirectional BFIDAJoseph Kelly Barker, Richard E. Korf. 420-426 [doi]
• Optimization and Controlled Systems: A Case Study on Thermal Aware Workload DispatchingAndrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini. 427-433 [doi]
• Two New Local Search Strategies for Minimum Vertex CoverShaowei Cai, Kaile Su, Abdul Sattar. 441-447 [doi]
• Solving Temporal Problems Using SMT: Weak ControllabilityAlessandro Cimatti, Andrea Micheli, Marco Roveri. 448-454 [doi]
• Partial-Expansion A* with Selective Node GenerationAriel Felner, Meir Goldenberg, Guni Sharon, Roni Stern, Tal Beja, Nathan R. Sturtevant, Jonathan Schaeffer, Robert Holte. 471-477 [doi]
• Don't Be Strict in Local Search!Serge Gaspers, Eun Jung Kim 0002, Sebastian Ordyniak, Saket Saurabh, Stefan Szeider. 486-492 [doi]
• Non-Model-Based Search Guidance for Set Partitioning ProblemsSerdar Kadioglu, Yuri Malitsky, Meinolf Sellmann. 493-498 [doi]
• From Streamlined Combinatorial Search to Efficient Constructive ProceduresRonan LeBras, Carla P. Gomes, Bart Selman. 499-506 [doi]
• Fast and Accurate Predictions of IDA*'s PerformanceLevi Lelis, Sandra Zilles, Robert C. Holte. 514-520 [doi]
• On the Relation of Constraint Answer Set Programming Languages and AlgorithmsYuliya Lierler. 521-527 [doi]
• DUCT: An Upper Confidence Bound Approach to Distributed Constraint Optimization ProblemsBrammert Ottens, Christos Dimitrakakis, Boi Faltings. 528-534 [doi]
• An Efficient Higher-Order Consistency Algorithm for Table ConstraintsAnastasia Paparrizou, Kostas Stergiou. 535-541 [doi]
• Alpha-Beta Pruning for Games with Simultaneous MovesAbdallah Saffidine, Hilmar Finnsson, Michael Buro. 556-562 [doi]
• MCTS Based on Simple RegretDavid Tolpin, Solomon Eyal Shimony. 570-576 [doi]
• Time-Critical Influence Maximization in Social Networks with Time-Delayed Diffusion ProcessWei Chen, Wei Lu, Ning Zhang. 591-598 [doi]
• On Completeness Classes for Query Evaluation on Linked DataAndreas Harth, Sebastian Speiser. 613-619 [doi]
• Double-Bit Quantization for HashingWeihao Kong, Wu-Jun Li. 634-640 [doi]
• Random Projection with Filtering for Nearly Duplicate SearchYue Lin, Rong Jin, Deng Cai, Xiaofei He. 641-647 [doi]
• Improving Twitter Retrieval by Exploiting Structural InformationZhunchen Luo, Miles Osborne, Sasa Petrovic, Ting Wang. 648-654 [doi]
• Low-Rank Matrix Recovery via Efficient Schatten p-Norm MinimizationFeiping Nie, Heng Huang, Chris H. Q. Ding. 655-661 [doi]
• Transfer Learning in Collaborative Filtering with Uncertain RatingsWeike Pan, Evan Wei Xiang, Qiang Yang. 662-668 [doi]
• Modeling the Evolution of Knowledge in Learning SystemsAbhishek Sharma, Kenneth D. Forbus. 669-675 [doi]
• A Sequential Decision Approach to Ordinal Preferences in Recommender SystemsTruyen Tran, Dinh Q. Phung, Svetha Venkatesh. 676-682 [doi]
• Generating Pictorial Storylines Via Minimum-Weight Connected Dominating Set Approximation in Multi-View GraphsDingding Wang, Tao Li, Mitsunori Ogihara. 683-689 [doi]
• On the Complexity of Consistent Query Answering in the Presence of Simple OntologiesMeghyn Bienvenu. 705-711 [doi]
• Symbolic Synthesis of Observability Requirements for DiagnosabilityBenjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive. 712-718 [doi]
• Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion GamesXiaowei Huang, Ron van der Meyden. 772-778 [doi]
• Compiling Model-Based Diagnosis to Boolean SatisfactionAmit Metodi, Roni Stern, Meir Kalech, Michael Codish. 793-799 [doi]
• Conflict-Based Belief Revision Operators in Possibilistic LogicGuilin Qi, Kewen Wang. 800-806 [doi]
• Concept-Based Approach to Word-Sense DisambiguationAriel Raviv, Shaul Markovitch. 807-813 [doi]
• Far Out: Predicting Long-Term Human MobilityAdam Sadilek, John Krumm. 814-820 [doi]
• FLP Semantics Without Circular Justifications for General Logic ProgramsYi-Dong Shen, Kewen Wang. 821-827 [doi]
• Basing Decisions on Sentences in Decision DiagramsYexiang Xue, Arthur Choi, Adnan Darwiche. 842-849 [doi]
• Towards Population Scale Activity Recognition: A Framework for Handling Data DiversitySaeed Abdullah, Nicholas D. Lane, Tanzeem Choudhury. 851-857 [doi]
• Weighted ClusteringMargareta Ackerman, Shai Ben-David, Simina Brânzei, David Loker. 858-863 [doi]
• Investigating Contingency Awareness Using Atari 2600 GamesMarc G. Bellemare, Joel Veness, Michael Bowling. 864-871 [doi]
• Adaptive Step-Size for Online Temporal Difference LearningWilliam Dabney, Andrew G. Barto. 872-878 [doi]
• Clustering Documents Along Multiple DimensionsSajib Dasgupta, Richard M. Golden, Vincent Ng. 879-885 [doi]
• TD-DeltaPi: A Model-Free Algorithm for Efficient ExplorationBruno C. da Silva, Andrew G. Barto. 886-892 [doi]
• Efficient Multi-Stage Conjugate Gradient for Trust Region StepPinghua Gong, Changshui Zhang. 921-928 [doi]
• Sparse Principal Component Analysis with ConstraintsMihajlo Grbovic, Christopher R. Dance, Slobodan Vucetic. 935-941 [doi]
• Learning SVM Classifiers with Indefinite KernelsSuicheng Gu, Yuhong Guo. 942-948 [doi]
• Multi-Label Learning by Exploiting Label Correlations LocallySheng-Jun Huang, Zhi-Hua Zhou. 949-955 [doi]
• Learning Games from Videos Guided by Descriptive ComplexityLukasz Kaiser. 963-969 [doi]
• Probabilistic Models for Common Spatial Patterns: Parameter-Expanded EM and Variational BayesHyohyeong Kang, Seungjin Choi. 970-976 [doi]
• Topic Correlation Analysis for Cross-Domain Text ClassificationLianghao Li, Xiaoming Jin, Mingsheng Long. 998-1004 [doi]
• Sparse Probabilistic Relational ProjectionWu-Jun Li, Dit-Yan Yeung. 1005-1011 [doi]
• Towards Discovering What Patterns Trigger What LabelsYu-Feng Li, Ju-Hua Hu, Yuang Jiang, Zhi-Hua Zhou. 1012-1018 [doi]
• Transfer Learning with Graph Co-RegularizationMingsheng Long, Jianmin Wang 0001, Guiguang Ding, Dou Shen, Qiang Yang. 1033-1039 [doi]
• Margin-Based Feature Selection in Incomplete DataQiang Lou, Zoran Obradovic. 1040-1046 [doi]
• Design and Optimization of an Omnidirectional Humanoid Walk: A Winning Approach at the RoboCup 2011 3D Simulation CompetitionPatrick MacAlpine, Samuel Barrett, Daniel Urieli, Victor Vu, Peter Stone. 1047-1053 [doi]
• Counting-MLNs: Learning Relational Structure for Decision MakingAniruddh Nath, Matthew Richardson. 1068-1074 [doi]
• Learning Behavior Models for Hybrid Timed SystemsOliver Niggemann, Benno Stein, Asmir Vodencarevic, Alexander Maier, Hans Kleine Büning. 1083-1090 [doi]
• Sequence Labeling with Non-Negative Weighted Higher Order FeaturesXian Qian, Yang Liu. 1098-1104 [doi]
• Investigating the Effectiveness of Laplacian-Based Kernels in Hub ReductionIkumi Suzuki, Kazuo Hara, Masashi Shimbo, Yuji Matsumoto, Marco Saerens. 1112-1118 [doi]
• Convex Matching Pursuit for Large-Scale Sparse Coding and Subset SelectionMingkui Tan, Ivor W. Tsang, Li Wang, Xinming Zhang. 1119-1125 [doi]
• Name-Ethnicity Classification and Ethnicity-Sensitive Name MatchingPucktada Treeratpituk, C. Lee Giles. 1141-1147 [doi]
• Discriminative Clustering via Generative Feature MappingLiwei Wang, Xiong Li, Zhuowen Tu, Jiaya Jia. 1162-1168 [doi]
• Colorization by Matrix CompletionShusen Wang, Zhihua Zhang. 1169-1175 [doi]
• Online Kernel Selection: Algorithms and EvaluationsTianbao Yang, Mehrdad Mahdavi, Rong Jin, Jinfeng Yi, Steven C. H. Hoi. 1197-1203 [doi]
• Pairwise Exemplar ClusteringYingzhen Yang, Xinqi Chu, Feng Liang, Thomas S. Huang. 1204-1211 [doi]
• Efficient Online Learning for Large-Scale Sparse Kernel Logistic RegressionLijun Zhang 0005, Rong Jin, Chun Chen, Jiajun Bu, Xiaofei He. 1219-1225 [doi]
• Supervised Probabilistic Robust Embedding with Sparse NoiseYu Zhang, Dit-Yan Yeung, Eric P. Xing. 1226-1232 [doi]
• Security Games with Limited SurveillanceBo An, David Kempe, Christopher Kiekintveld, Eric Shieh, Satinder P. Singh, Milind Tambe, Yevgeniy Vorobeychik. 1241-1248 [doi]
• Housing Markets with Indifferences: A Tale of Two MechanismsHaris Aziz, Bart de Keijzer. 1249-1255 [doi]
• Sample Bounded Distributed Reinforcement Learning for Decentralized POMDPsBikramjit Banerjee, Jeremy Lyle, Landon Kraemer, Rajesh Yellamraju. 1256-1262 [doi]
• Optimal Proportional Cake Cutting with Connected PiecesXiaohui Bei, Ning Chen, Xia Hua, Biaoshuai Tao, Endong Yang. 1263-1269 [doi]
• A Multivariate Complexity Analysis of Lobbying in Multiple ReferendaRobert Bredereck, Jiehua Chen, Sepp Hartung, Rolf Niedermeier, Ondrej Suchý, Stefan Kratsch. 1292-1298 [doi]
• Approximately Revenue-Maximizing Auctions for Deliberative AgentsL. Elisa Celis, Anna R. Karlin, Kevin Leyton-Brown, C. Thach Nguyen, David Robert Martin Thompson. 1313-1318 [doi]
• Eliminating the Weakest Link: Making Manipulation Intractable?Jessica Davies, Nina Narodytska, Toby Walsh. 1333-1339 [doi]
• Dynamic Matching via Weighted Myopia with Application to Kidney ExchangeJohn P. Dickerson, Ariel D. Procaccia, Tuomas Sandholm. 1340-1346 [doi]
• Optimizing Payments in Dominant-Strategy Mechanisms for Multi-Parameter DomainsLachlan Thomas Dufton, Victor Naroditskiy, Maria Polukarov, Nicholas R. Jennings. 1347-1354 [doi]
• Generalized Sampling and Variance in Counterfactual Regret MinimizationRichard G. Gibson, Marc Lanctot, Neil Burch, Duane Szafron, Michael Bowling. 1355-1361 [doi]
• Finding Optimal Abstract Strategies in Extensive-Form GamesMichael Johanson, Nolan Bard, Neil Burch, Michael Bowling. 1371-1379 [doi]
• Computing Optimal Strategies to Commit to in Stochastic GamesJoshua Letchford, Liam MacDermed, Vincent Conitzer, Ronald Parr, Charles L. Isbell. 1380-1386 [doi]
• Characterizing Multi-Agent Team Behavior from Partial Team Tracings: Evidence from the English Premier LeaguePatrick Lucey, Alina Bialkowski, Peter Carr, Eric Foote, Iain Matthews. 1387-1393 [doi]
• Influence-Based Abstraction for Multiagent SystemsFrans Adriaan Oliehoek, Stefan J. Witwicki, Leslie Pack Kaelbling. 1422-1428 [doi]
• A Complexity-of-Strategic-Behavior Comparison between Schulze's Rule and Ranked PairsDavid C. Parkes, Lirong Xia. 1429-1435 [doi]
• A Scalable Message-Passing Algorithm for Supply Chain FormationToni Penya-Alba, Meritxell Vinyals, Jesús Cerquides, Juan Antonio Rodriguez-Aguilar. 1436-1442 [doi]
• Negotiation in Exploration-Based EnvironmentIsrael Sofer, David Sarne, Avinatan Hassidim. 1450-1456 [doi]
• Optimal Auctions for Spiteful BiddersPingzhong Tang, Tuomas Sandholm. 1457-1463 [doi]
• Security Games for Controlling ContagionJason Tsai, Thanh Hong Nguyen, Milind Tambe. 1464-1470 [doi]
• Decision Support for Agent Populations in Uncertain and Congested EnvironmentsPradeep Varakantham, Shih-Fen Cheng, Geoffrey J. Gordon, Asrar Ahmed. 1471-1477 [doi]
• Automated Strategies for Determining Rewards for Human WorkAmos Azaria, Yonatan Aumann, Sarit Kraus. 1514-1521 [doi]
• Strategic Advice Provision in Repeated Human-Agent InteractionsAmos Azaria, Zinovi Rabinovich, Sarit Kraus, Claudia V. Goldman, Ya'akov Gal. 1522-1528 [doi]
• An Object-Based Bayesian Framework for Top-Down Visual AttentionAli Borji, Dicky N. Sihite, Laurent Itti. 1529-1535 [doi]
• Three Controversial Hypotheses Concerning Computation in the Primate CortexThomas L. Dean, Greg Corrado, Jonathon Shlens. 1543-1549 [doi]
• Generalized Monte-Carlo Tree Search Extensions for General Game PlayingHilmar Finnsson. 1550-1556 [doi]
• Agent-Human Coordination with Communication Costs Under UncertaintyAsaf Frieder, Raz Lin, Sarit Kraus. 1557-1563 [doi]
• Construction of New Medicines via Game Proof SearchAbraham Heifets, Igor Jurisica. 1564-1570 [doi]
• Performance and Preferences: Interactive Refinement of Machine Learning ProceduresAshish Kapoor, Bongshin Lee, Desney S. Tan, Eric Horvitz. 1578-1584 [doi]
• Visual Saliency Map from Tensor AnalysisBing Li, Weihua Xiong, Weiming Hu. 1585-1591 [doi]
• Unsupervised Detection of Music Boundaries by Time Series Structure FeaturesJoan Serrà, Meinard Müller, Peter Grosche, Josep Lluís Arcos. 1613-1619 [doi]
• Automatically Generating Algebra ProblemsRohit Singh, Sumit Gulwani, Sriram K. Rajamani. 1620-1628 [doi]
• Cruising with a Battery-Powered Vehicle and Not Getting StrandedSabine Storandt, Stefan Funke. 1628-1634 [doi]
• Heart Rate Topic ModelsAlexander Van Esbroeck, Chih-Chun Chia, Zeeshan Syed. 1635-1641 [doi]
• Simple Robust Grammar Induction with Combinatory Categorial GrammarsYonatan Bisk, Julia Hockenmaier. 1643-1649 [doi]
• Using First-Order Logic to Compress SentencesMinlie Huang, Xing Shi, Feng Jin, Xiaoyan Zhu. 1657-1663 [doi]
• Opinion Target Extraction Using a Shallow Semantic Parsing FrameworkShoushan Li, Rongyang Wang, Guodong Zhou. 1671-1677 [doi]
• Emoticon Smoothed Language Models for Twitter Sentiment AnalysisKun-Lin Liu, Wu-Jun Li, Minyi Guo. 1678-1684 [doi]
• Collective Nominal Semantic Role Labeling for TweetsXiaohua Liu, Zhongyang Fu, Furu Wei, Ming Zhou. 1685-1691 [doi]
• Exacting Social Events for Tweets Using a Factor GraphXiaohua Liu, Xiangyang Zhou, Zhongyang Fu, Furu Wei, Ming Zhou. 1692-1698 [doi]
• Query-Oriented Multi-Document Summarization via Unsupervised Deep LearningYan Liu, Sheng-hua Zhong, Wenjie Li. 1699-1705 [doi]
• Sembler: Ensembling Crowd Sequential Labeling for Improved QualityXian Wu, Wei Fan, Yong Yu. 1713-1719 [doi]
• The Complexity of Planning Revisited - A Parameterized AnalysisChrister Bäckström, Yue Chen, Peter Jonsson, Sebastian Ordyniak, Stefan Szeider. 1735-1741 [doi]
• Improving Hierarchical Planning Performance by the Use of LandmarksMohamed Elkawkagy, Pascal Bercher, Bernd Schattenberg, Susanne Biundo. 1763-1769 [doi]
• The Linear Distance Traveling Tournament ProblemRichard Hoshino, Ken-ichi Kawarabayashi. 1770-1778 [doi]
• Planning in Factored Action Spaces with Symbolic Dynamic ProgrammingAswin Raghavan, Saket Joshi, Alan Fern, Prasad Tadepalli, Roni Khardon. 1802-1808 [doi]
• Incremental Management of Oversubscribed Vehicle Schedules in Dynamic Dial-A-Ride ProblemsZachary B. Rubinstein, Stephen F. Smith, Laura Barbulescu. 1809-1815 [doi]
• POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration TestingCarlos Sarraute, Olivier Buffet, Jörg Hoffmann. 1816-1824 [doi]
• Efficient Approximate Value Iteration for Continuous Gaussian POMDPsJur van den Berg, Sachin Patil, Ron Alterovitz. 1832-1838 [doi]
• Covering Number as a Complexity Measure for POMDP Planning and LearningZongzhang Zhang, Michael L. Littman, Xiaoping Chen. 1853-1859 [doi]
• Lifted MEU by Weighted Model CountingUdi Apsel, Ronen I. Brafman. 1861-1867 [doi]
• A Multi-Path Compilation Approach to Contingent PlanningRonen I. Brafman, Guy Shani. 1868-1874 [doi]
• Exact Lifted Inference with Distinct Soft Evidence on Every ObjectHung B. Bui, Tuyen N. Huynh, Rodrigo de Salvo Braz. 1875-1881 [doi]
• Approximating the Sum Operation for Marginal-MAP InferenceQiang Cheng, Feng Chen, Jianwu Dong, Wenli Xu, Alexander T. Ihler. 1882-1887 [doi]
• A Search Algorithm for Latent Variable Models with Unbounded DomainsMichael Chiang, David Poole. 1888-1894 [doi]
• Search Algorithms for m Best Solutions for Graphical ModelsRina Dechter, Natalia Flerova, Radu Marinescu 0002. 1895-1901 [doi]
• I'm Doing as Well as I Can: Modeling People as Rational Finite AutomataJoseph Y. Halpern, Rafael Pass, Lior Seeman. 1917-1923 [doi]
• Using Sliding Windows to Generate Action Abstractions in Extensive-Form GamesJohn Alexander Hawkin, Robert Holte, Duane Szafron. 1924-1930 [doi]
• Sequential Decision Making with Rank Dependent Utility: A Minimax Regret ApproachGildas Jeantet, Patrice Perny, Olivier Spanjaard. 1931-1937 [doi]
• Modeling Context Aware Dynamic Trust Using Hidden Markov ModelXin Liu, Anwitaman Datta. 1938-1944 [doi]
• Time-Consistency of Optimization ProblemsTakayuki Osogami, Tetsuro Morimura. 1945-1953 [doi]
• Belief Functions on Distributive LatticesChunlai Zhou. 1968-1974 [doi]
• Efficient Optimization of Control LibrariesDebadeepta Dey, Tian-Yu Liu, Boris Sofman, James Andrew Bagnell. 1983-1989 [doi]
• Visual Saliency Estimation through Manifold LearningRichard M. Jiang, Danny Crookes. 2003-2009 [doi]
• Improving Request Compliance through Robot AffectLilia Moshkina. 2031-2037 [doi]
• Automatic Targetless Extrinsic Calibration of a 3D Lidar and Camera by Maximizing Mutual InformationGaurav Pandey, James R. McBride, Silvio Savarese, Ryan Eustice. 2053-2059 [doi]
• Mobile Robot Planning to Seek Help with Spatially-Situated TasksStephanie Rosenthal, Manuela M. Veloso. 2067-2073 [doi]
• Model Learning and Real-Time Tracking Using Multi-Resolution Surfel MapsJörg Stückler, Sven Behnke. 2081-2087 [doi]
• SMT-Based Verification of Hybrid SystemsAlessandro Cimatti, Sergio Mover, Stefano Tonetta. 2100-2105 [doi]
• Computing Game-Theoretic Solutions and Applications to SecurityVincent Conitzer. 2106-2112 [doi]
• Seven Challenges in Parallel SAT SolvingYoussef Hamadi, Christoph M. Wintersteiger. 2120-2125 [doi]
• Semi-Relaxed Plan HeuristicsEmil Ragip Keyder, Jörg Hoffmann, Patrik Haslum. 2126-2128 [doi]
• Research Challenges in Combinatorial SearchRichard E. Korf. 2129-2133 [doi]
• Optimal Manipulation of Voting RulesSvetlana Obraztsova, Edith Elkind. 2141-2147 [doi]
• Delivering the Smart Grid: Challenges for Autonomous Agents and Multi-Agent Systems ResearchAlex Rogers, Sarvapali D. Ramchurn, Nicholas R. Jennings. 2166-2172 [doi]
• Planning as an Iterative ProcessDavid E. Smith. 2180-2185 [doi]
• Heuristic Search Comes of AgeNathan R. Sturtevant, Ariel Felner, Maxim Likhachev, Wheeler Ruml. 2186-2191 [doi]
• Planning Under Time PressureEthan Andrew Burns. 2382-2383 [doi]
• Acquiring Domain Specific Knowledge and Coreference Cues for Coreference ResolutionNathan Gilbert. 2390-2391 [doi]
• A Multi-Agent Control Architecture for a Rescue RobotAdam Haber. 2392-2393 [doi]
• Generalizing and Executing PlansChristian J. Muise. 2398-2399 [doi]
• Iterative Voting under Uncertainty for Group Recommender Systems (Research Abstract)Lihi Naamani Dery. 2400-2401 [doi]
• Temporally Expressive Planning Based on Answer Set Programming with ConstraintsForrest Sheng Bao, Yuanlin Zhang. 2413-2414 [doi]
• Active Learning from Oracle with Knowledge Blind SpotMeng Fang, Xingquan Zhu, Chengqi Zhang. 2421-2422 [doi]
• A New Operator for ABox Revision in DL-LiteSibei Gao, Guilin Qi, Haofen Wang. 2423-2424 [doi]
• Exploiting Shared Resource Dependencies in Spectrum Based Plan DiagnosisShekhar Gupta, Nico Roos, Cees Witteveen, Bob Price, Johan de Kleer. 2425-2426 [doi]
• A Market-Based Coordination Mechanism for Resource Planning Under UncertaintyHadi Hosseini, Jesse Hoey, Robin Cohen. 2427-2428 [doi]
• Failure Handling In a Planning FrameworkSertac Karapinar, Sanem Sariel Talay. 2431-2432 [doi]
• Real-Time Collaborative Planning with the CrowdWalter S. Lasecki, Jeffrey P. Bigham, James F. Allen, George Ferguson. 2435-2436 [doi]
• Online Sequence Alignment for Real-Time Audio Transcription by Non-ExpertsWalter S. Lasecki, Christopher D. Miller, Donato Borrello, Jeffrey P. Bigham. 2437-2438 [doi]
• Mining Context-Aware Significant Travel Sequences from Geotagged Social MediaAbdul Majid, Ling Chen, Hamid Turab Mirza, Ibrar Hussain, Gencai Chen. 2443-2444 [doi]
• Threats and Trade-Offs in Resource Critical Crowdsourcing Tasks Over NetworksSwaprava Nath, Pankaj Dayama, Dinesh Garg, Y. Narahari, James Y. Zou. 2447-2448 [doi]
• CCE: A Coupled Framework of Clustering EnsemblesZhong She, Can Wang, Longbing Cao. 2455-2456 [doi]
• A Testbed for Learning by Demonstration from Natural Language and RGB-Depth VideoYoung Chol Song, Henry A. Kautz. 2457-2458 [doi]
• Combining Probabilistic Planning and Logic Programming on Mobile RobotsShiQi Zhang, Forrest Sheng Bao, Mohan Sridharan. 2461-2462 [doi]