default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th IJCAI 2016: New York, NY, USA
- Subbarao Kambhampati:
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016. IJCAI/AAAI Press 2016, ISBN 978-1-57735-770-4
Frontmatter
- Subbarao Kambhampati, Gerhard Brewka:
Preface. xxxiii-xxxiv - Conference Organization. xxxv-xxvi
- Program Committee. xxxvii-lii
- Conference Organizers and Sponsors. liii-liv
- Awards and Distinguished Papers. lv-lvi
- IJCAI Organization. lvii-liix
- Past IJCAI Conferences. lix
Papers
- Andrés Abeliuk, Haris Aziz
, Gerardo Berbeglia, Serge Gaspers, Petr Kalina, Nicholas Mattei, Dominik Peters, Paul Stursberg, Pascal Van Hentenryck, Toby Walsh:
Interdependent Scheduling Games. 2-9 - Pritee Agrawal, Pradeep Varakantham, William Yeoh:
Scalable Greedy Algorithms for Task/Resource Constrained Multi-Agent Stochastic Planning. 10-16 - Nirav Ajmeri, Jiaming Jiang, Rada Chirkova, Jon Doyle, Munindar P. Singh:
Coco: Runtime Reasoning about Conflicting Commitments. 17-23 - Natasha Alechina, Mehdi Dastani, Brian Logan:
Verifying Existence of Resource-Bounded Coalition Uniform Strategies. 24-30 - Georgios Amanatidis, Georgios Birmpas, Evangelos Markakis:
On Truthful Mechanisms for Maximin Share Allocations. 31-37 - Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri:
Modeling and Reasoning about NTU Games via Answer Set Programming. 38-45 - Elliot Anshelevich, John Postl:
Randomized Social Choice Functions under Metric Preferences. 46-59 - Vincenzo Auletta, Ioannis Caragiannis, Diodato Ferraioli, Clemente Galdi, Giuseppe Persiano:
Generalized Discrete Preference Games. 53-59 - Haris Aziz, Jérôme Lang, Jérôme Monnot:
Computing Pareto Optimal Committees. 60-66 - Haris Aziz, Ildikó Schlotter, Toby Walsh:
Control of Fair Division. 67-73 - Yoram Bachrach, Yuval Filmus, Joel Oren, Yair Zick:
A Characterization of Voting Power for Discrete Weight Distributions. 74-80 - Yoram Bachrach, Omer Lev, Yoad Lewenberg, Yair Zick:
Misrepresentation in District Voting. 81-87 - Nathanaël Barrot, Jérôme Lang:
Conditional and Sequential Approval Voting on Combinatorial Domains. 88-94 - Francesco Belardinelli, Andreas Herzig:
On Logics of Strategic Ability Based on Propositional Control. 95-101 - Bernhard Bliem, Robert Bredereck, Rolf Niedermeier:
Complexity of Efficient and Envy-Free Resource Allocation: Few Agents, Resources, or Utility Levels. 102-108 - Édouard Bonnet:
The Complexity of Playing Durak. 109-115 - Florian Brandl, Felix Brandt, Christian Geist:
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving. 116-122 - Simina Brânzei, Yuezhou Lv, Ruta Mehta:
To Give or Not to Give: Fair Division for Single Minded Valuations. 123-129 - Markus Brill, Edith Elkind, Ulle Endriss, Umberto Grandi:
Pairwise Diffusion of Preference Rankings in Social Networks. 130-136 - Qingpeng Cai, Aris Filos-Ratsikas, Pingzhong Tang:
Facility Location with Minimax Envy. 137-143 - Ioannis Caragiannis, Laurent Gourvès, Jérôme Monnot:
Achieving Proportional Representation in Conference Programs. 144-150 - Ioannis Caragiannis, Swaprava Nath, Ariel D. Procaccia, Nisarg Shah:
Subset Selection via Implicit Utilitarian Voting. 151-157 - Mithun Chakraborty, Sanmay Das:
Trading on a Rigged Game: Outcome Manipulation in Prediction Markets. 158-164 - Hau Chan, Albert Xin Jiang:
Congestion Games with Polytopal Strategy Spaces. 165-171 - Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Josef Tkadlec:
Robust Draws in Balanced Knockout Tournaments. 172-179 - Taolue Chen, Fu Song, Zhilin Wu:
Verifying Pushdown Multi-Agent Systems against Strategy Logics. 180-186 - Yukun Cheng, Xiaotie Deng, Qi Qi, Xiang Yan:
Truthfulness of a Proportional Sharing Mechanism in Resource Exchange. 187-193 - Yun Kuen Cheung:
Better Strategyproof Mechanisms without Payments or Prior - An Analytic Approach. 194-200 - Ross Conroy, Yifeng Zeng, Jing Tang:
Approximating Value Equivalence in Interactive Dynamic Influence Diagrams Using Behavioral Coverage. 201-207 - Natalia Criado, Jose M. Such:
Selective Norm Monitoring. 208-214 - Palash Dey, Neeldhara Misra:
Elicitation for Preferences Single Peaked on Trees. 215-221 - Palash Dey, Neeldhara Misra:
Preference Elicitation for Single Crossing Domain. 222-228 - Palash Dey, Neeldhara Misra, Y. Narahari:
Complexity of Manipulation with Partial Information in Voting. 229-235 - Ulle Endriss, Svetlana Obraztsova, Maria Polukarov, Jeffrey S. Rosenschein:
Strategic Voting with Incomplete Information. 236-242 - Piotr Faliszewski, Arkadii M. Slinko, Nimrod Talmon:
Voting-Based Group Formation. 243-249 - Piotr Faliszewski, Piotr Skowron, Arkadii Slinko, Nimrod Talmon:
Committee Scoring Rules: Axiomatic Classification and Hierarchy. 250-256 - Piotr Faliszewski, Laurent Gourvès, Jérôme Lang, Julien Lesca, Jérôme Monnot:
How Hard Is It for a Party to Nominate an Election Winner?. 257-263 - Wenyi Fang, Pingzhong Tang, Song Zuo:
Digital Good Exchange. 264-270 - Paolo Felli, Brian Logan, Sebastian Sardiña:
Parallel Behavior Composition for Manufacturing. 271-278 - Dimitris Fotakis, Dimitris Palyvos-Giannas, Stratis Skoulakis:
Opinion Dynamics with Local Interactions. 279-285 - Enrico H. Gerding, Sebastian Stein, Sofia Ceppi, Valentin Robu:
Online Mechanism Design for Vehicle-to-Grid Car Parks. 286-293 - Julio Godoy, Ioannis Karamouzas, Stephen J. Guy, Maria L. Gini:
Moving in a Crowd: Safe and Efficient Navigation among Heterogeneous Agents. 294-300 - Umberto Grandi, Paolo Turrini:
A Network-Based Rating System and Its Resistance to Bribery. 301-307 - Nika Haghtalab, Fei Fang, Thanh Hong Nguyen, Arunesh Sinha, Ariel D. Procaccia, Milind Tambe:
Three Strategies to Success: Learning Adversary Models in Security Games. 308-314 - Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su:
Reconfigurability in Reactive Multiagent Systems. 315-321 - Hooyeon Lee, Ashish Goel:
Probabilistic Matrix Inspection and Group Scheduling. 322-328 - Yuqian Li, Vincent Conitzer, Dmytro Korzhyk:
Catcher-Evader Games. 329-337 - Thanasis Lianeas, Evdokia Nikolova, Nicolás E. Stier Moses:
Asymptotically Tight Bounds for Inefficiency in Risk-Averse Selfish Routing. 338-344 - Hongyao Ma, Reshef Meir, David C. Parkes:
Social Choice for Agents with General Utilities. 345-351 - Hongyao Ma, Valentin Robu, Na Li, David C. Parkes:
Incentivizing Reliability in Demand-Side Response. 352-358 - Erika Mackin, Lirong Xia:
Allocating Indivisible Items in Categorized Domains. 359-365 - Debmalya Mandal, David C. Parkes:
Correlated Voting. 366-372 - Mehdi Mashayekhi, Hongying Du, George F. List, Munindar P. Singh:
Silk: A Simulation Study of Regulating Open Normative Multiagent Systems. 373-379 - Georgios Methenitis, Michael Kaisers, Han La Poutré:
Incentivizing Intelligent Customer Behavior in Smart-Grids: A Risk-Sharing Tariff & Optimal Strategies. 380-386 - Vahab S. Mirrokni, Renato Paes Leme, Pingzhong Tang, Song Zuo:
Dynamic Auctions with Bank Accounts. 387-393 - Reuth Mirsky, Ya'akov (Kobi) Gal:
SLIM: Semi-Lazy Inference Mechanism for Plan Recognition. 394-400 - Reuth Mirsky, Roni Stern, Ya'akov (Kobi) Gal, Meir Kalech:
Sequential Plan Recognition. 401-407 - Jayanth Krishna Mogali, Stephen F. Smith, Zachary B. Rubinstein:
Distributed Decoupling of Multiagent Simple Temporal Problems. 408-415 - Catherine Moon, Vincent Conitzer:
Role Assignment for Game-Theoretic Cooperation. 416-423 - Dmitry Moor, Sven Seuken, Tobias Grubenmann, Abraham Bernstein:
Core-Selecting Payment Rules for Combinatorial Auctions with Uncertain Availability of Goods. 424-432 - Harikrishna Narasimhan, Shivani Agarwal, David C. Parkes:
Automated Mechanism Design without Money via Machine Learning. 433-439 - Svetlana Obraztsova, Zinovi Rabinovich, Edith Elkind, Maria Polukarov, Nicholas R. Jennings:
Trembling Hand Equilibria of Plurality Voting. 440-446 - Steven Okamoto, Roie Zivan, Aviv Nahon:
Distributed Breakout: Beyond Satisfaction. 447-453 - Tenda Okimoto, Tony Ribeiro, Damien Bouchabou, Katsumi Inoue:
Mission Oriented Robust Multi-Team Formation and Its Application to Robot Rescue Simulation. 454-460 - James Parker, Maria L. Gini:
Controlling Growing Tasks with Heterogeneous Agents. 461-467 - Pierre Rust, Gauthier Picard, Fano Ramparany:
Using Message-Passing DCOP Algorithms to Solve Energy-Efficient Smart Environment Configuration Problems. 468-474 - Wen Shen, Cristina V. Lopes, Jacob W. Crandall:
An Online Mechanism for Ridesharing in Autonomous Mobility-on-Demand Systems. 475-481 - Sunil Simon, Dominik Wojtczak:
Efficient Local Search in Coordination Games on Graphs. 482-488 - Warut Suksompong:
Assigning a Small Agreeable Set of Indivisible Items to Multiple Players. 489-495 - Tamir Tassa, Roie Zivan, Tal Grinshpoun:
Preserving Privacy in Region Optimal DCOP Algorithms. 496-502 - Nicolas Troquard:
Nash Equilibria and Their Elimination in Resource Games. 503-509 - Elaine Wah, Sébastien Lahaie, David M. Pennock:
An Empirical Game-Theoretic Analysis of Price Discovery in Prediction Markets. 510-516 - Kyle Hollins Wray, Luis Enrique Pineda, Shlomo Zilberstein:
Hierarchical Approach to Transfer of Control in Semi-Autonomous Systems. 517-523 - Feng Wu, Sarvapali D. Ramchurn, Xiaoping Chen:
Coordinating Human-UAV Teams in Disaster Response. 524-530 - Yue Yin, Bo An:
Efficient Resource Allocation for Protecting Coral Reef Ecosystems. 531-537 - Yue Yin, Yevgeniy Vorobeychik, Bo An, Noam Hazon:
Optimally Protecting Elections. 538-545 - Ruohan Zhang, Yue Yu, Mahmoud El Chamie, Behçet Açikmese, Dana H. Ballard:
Decision-Making Policies for Heterogeneous Autonomous Multi-Agent Systems with Safety Constraints. 546-553 - Steven Adriaensen, Ann Nowé:
Towards a White Box Approach to Automated Algorithm Design. 554-560 - Zaheen Farraz Ahmad, Robert C. Holte, Michael Bowling:
Action Selection for Hammer Shots in Curling. 561-567 - Shaowei Cai, Jinkun Lin:
Fast Solving Maximum Weight Clique Problem in Massive Graphs. 568-574 - Thomas Guyet, Yves Moinard, Jacques Nicolas, René Quiniou:
Packing Graphs with ASP for Landscape Simulation. 575-581 - David P. Hofmeyr:
On the Topology of Genetic Algorithms. 582-588 - Takashi Imamichi, Takayuki Osogami, Rudy Raymond:
Truncating Shortest Path Search for Efficient Map-Matching. 589-595 - Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker:
Relevance for SAT(ID). 596-602 - Kustaa Kangas, Teemu Hankala, Teppo Mikael Niinimäki, Mikko Koivisto:
Counting Linear Extensions of Sparse Posets. 603-609 - Richard E. Korf:
Comparing Search Algorithms Using Sorting and Hashing on Disk and in Memory. 610-616 - Javier Larrosa, Emma Rollon, Rina Dechter:
Limited Discrepancy AND/OR Search and Its Application to Optimization Tasks in Graphical Models. 617-623 - Kangwei Liu, Junge Zhang, Peipei Yang, Kaiqi Huang:
FastLCD: Fast Label Coordinate Descent for the Efficient Optimization of 2D Label MRFs. 624-630 - Ciaran McCreesh, Patrick Prosser, James Trimble:
Heuristics and Really Hard Instances for Subgraph Isomorphism Problems. 631-638 - Ole J. Mengshoel, Youssef Ahres, Tong Yu:
Markov Chain Analysis of Noise and Restart in Stochastic Local Search. 639-646 - Abdelkader Ouali, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Albrecht Zimmermann, Lakhdar Loukil:
Efficiently Finding Conceptual Clustering Models with Integer Linear Programming. 647-654 - Fei Peng, Tuomas Sandholm:
Scalable Segment Abstraction Method for Advertising Campaign Admission and Inventory Allocation Optimization. 655-661 - André Grahl Pereira, Robert Holte, Jonathan Schaeffer, Luciana S. Buriol, Marcus Ritt:
Improved Heuristic and Tie-Breaking for Optimally Solving Sokoban. 662-668 - Masoud Safilian, S. Mehdi Hashemi, Sepehr Eghbali, Aliakbar Safilian:
An Approximation Algorithm for the Subpath Planning Problem. 669-675 - Nathan R. Sturtevant, Jingwei Chen:
External Memory Bidirectional Search. 676-682 - Nathan R. Sturtevant, Steve Rabin:
Canonical Orderings on Grids. 683-689 - Timothy Yee, Viliam Lisý, Michael H. Bowling:
Monte Carlo Tree Search in Continuous Action Spaces with Execution Uncertainty. 690-697 - Robin Arcangioli, Christian Bessiere, Nadjib Lazaar:
Multiple Constraint Acquisition. 698-704 - Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh:
Ranking Constraints. 705-711 - Chris Cameron, Holger H. Hoos, Kevin Leyton-Brown:
Bias in Algorithm Portfolio Performance Evaluation. 712-719 - Abderrazak Daoudi, Younes Mechqrane, Christian Bessiere, Nadjib Lazaar, El-Houssine Bouyakhf:
Constraint Acquisition with Recommendation Queries. 720-726 - Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi:
Combining the k-CNF and XOR Phase-Transitions. 727-734 - Azadeh Farzan, Zachary Kincaid:
Linear Arithmetic Satisfiability via Strategy Improvement. 735-743 - Zeynep Kiziltan, Marco Lippi, Paolo Torroni:
Constraint Detection in Natural Language Problem Descriptions. 744-750 - Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis:
Improving Model Counting by Leveraging Definability. 751-757 - Jimmy H. M. Lee, Zichen Zhu:
Static Symmetry Breaking with the Reflex Ordering. 758-765 - Chu Min Li, Felip Manyà, Joan Ramon Soler:
A Clause Tableau Calculus for MaxSAT. 766-772 - Thierry Petit, Lolita Petit:
Optimizing Molecular Cloning of Multiple Plasmids. 773-779 - Sam Snodgrass, Santiago Ontañón:
Controllable Procedural Content Generation via Constrained Multi-Dimensional Markov Chain Sampling. 780-786 - Ruiwei Wang, Wei Xia, Roland H. C. Yap, Zhanshan Li:
Optimizing Simple Tabular Reduction with a Bitwise Representation. 787-795 - Ofra Amir, Barbara J. Grosz, Krzysztof Z. Gajos:
Mutual Influence Potential Networks: Enabling Information Sharing in Loosely-Coupled Extended-Duration Teamwork. 796-803 - Ofra Amir, Ece Kamar, Andrey Kolobov, Barbara J. Grosz:
Interactive Teaching Strategies for Agent Training. 804-811 - Kai Chen, Fangkai Yang, Xiaoping Chen:
Planning with Task-Oriented Knowledge Acquisition for a Service Robot. 812-818 - Shaofei Chen, Tim Baarslag, Dengji Zhao, Jing Chen, Lincheng Shen:
A Polynomial Time Optimal Algorithm for Robot-Human Search under Uncertainty. 819-825 - Matthew C. Gombolay, Reed Jensen, Jessica Stigile, Sung-Hyun Son, Julie A. Shah:
Apprenticeship Scheduling: Learning to Schedule from Human Experts. 826-833 - Eun-Sol Kim, Kyoung-Woon On, Byoung-Tak Zhang:
DeepSchema: Automatic Schema Acquisition from Wearable Sensor Data in Restaurant Situations. 834-840 - Ashish Kulkarni, Pushpak Burange, Ganesh Ramakrishnan:
Interactive Martingale Boosting. 841-847 - Thomas M. Moerland, Joost Broekens, Catholijn M. Jonker:
Fear and Hope Emerge from Anticipation in Model-Based Reinforcement Learning. 848-854 - Zahra Nazari, Jonathan Gratch:
Predictive Models of Malicious Behavior in Human Negotiations. 855-861 - Stephanie Rosenthal, Sai P. Selvaraj, Manuela M. Veloso:
Verbalization: Narration of Autonomous Robot Experience. 862-868 - Ngoc Cuong Truong, Tim Baarslag, Sarvapali D. Ramchurn, Long Tran-Thanh:
Interactive Scheduling of Appliance Usage in the Home. 869-877 - Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus:
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. 878-885 - Mario Alviano, Carmine Dodaro:
Completion of Disjunctive Logic Programs. 886-892 - Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom:
Query Answering with Transitive and Linear-Ordered Data. 893-899 - Leila Amgoud, Jonathan Ben-Naim:
Evaluation of Arguments from Support Relations: Axioms and Semantics. 900-906 - Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña:
Incomplete Causal Laws in the Situation Calculus Using Free Fluents. 907-914 - Evgenii Balai, Michael Gelfond:
On the Relationship between P-log and LPMLN. 915-921 - Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Online Agent Supervision in the Situation Calculus. 922-928 - Harald Beck, Minh Dao-Tran, Thomas Eiter:
Equivalent Stream Reasoning Programs. 929-935 - Christoph Benzmüller, Bruno Woltzenlogel Paleo:
The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics. 936-942 - Gerald Berger, Andreas Pieris:
Ontology-Mediated Queries Distributing over Components. 943-949 - Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds:
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. 950-956 - Meghyn Bienvenu, Camille Bourgaux, François Goasdoué:
Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases. 957-964 - Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter:
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. 965-971 - Benjamin Bittner, Marco Bozzano, Alessandro Cimatti:
Automated Synthesis of Timed Failure Propagation Graphs. 972-978 - Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran:
ASP for Anytime Dynamic Programming on Tree Decompositions. 979-986 - Richard Booth, Jake Chandler:
Extending the Harper Identity to Iterated Belief Change. 987-993 - Stefan Borgwardt, Bettina Fazzinga, Thomas Lukasiewicz, Akanksha Shrivastava, Oana Tifrea-Marciuska:
Preferential Query Answering over the Semantic Web with Possibilistic Networks. 994-1000 - Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query-Based Entailment and Inseparability for ALC Ontologies. 1001-1007 - Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky:
Knowledge Compilation Meets Communication Complexity. 1008-1014 - Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub:
An ASP Semantics for Default Reasoning with Constraints. 1015-1021 - Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy:
Plan Synthesis for Knowledge and Action Bases. 1022-1029 - Tristan Charrier, Bastien Maubert, François Schwarzentruber:
On the Impact of Modal Depth in Epistemic Planning. 1030-1036 - Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio:
Imperfect-Information Games and Generalized Planning. 1037-1043 - Giuseppe De Giacomo, Moshe Y. Vardi:
LTLf and LDLf Synthesis under Partial Observability. 1044-1050 - Paul E. Dunne, Christof Spanring, Thomas Linsbichler, Stefan Woltran:
Investigating the Relationship between Argumentation Semantics via Signatures. 1051-1057 - Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl:
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. 1058-1065 - Liangda Fang, Yongmei Liu, Hans van Ditmarsch:
Forgetting in Multi-Agent Modal Logics. 1066-1073 - Xiaoyu Ge, Jae Hee Lee, Jochen Renz, Peng Zhang:
Trend-Based Prediction of Spatial Change. 1074-1080 - Anne-Marie George, Nic Wilson, Barry O'Sullivan:
Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models. 1081-1087 - Maciej Grabon, Jakub Michaliszyn, Jan Otop, Piotr Wieczorek:
Querying Data Graphs with Arithmetical Regular Expressions. 1088-1094 - Éric Grégoire, Sébastien Konieczny, Jean-Marie Lagniez:
On Consensus Extraction. 1095-1101 - Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov:
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries. 1102-1108 - Adrian Haret, Jean-Guy Mailly, Stefan Woltran:
Distributing Knowledge into Simple Bases. 1109-1115 - Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber:
Epistemic Boolean Games Based on a Logic of Visibility and Control. 1116-1122 - Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su:
Normative Multiagent Systems: The Dynamic Generalization. 1123-1129 - Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu:
Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding. 1130-1137 - Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang:
Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games. 1138-1144 - Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Peter Clark, Oren Etzioni, Dan Roth:
Question Answering via Integer Programming over Semi-Structured Knowledge. 1145-1152 - Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative Rewritability of Description Logic TBoxes. 1153-1159 - Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev:
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. 1160-1166 - Ondrej Kuzelka, Jesse Davis, Steven Schockaert:
Learning Possibilistic Logic Theories from Default Rules. 1167-1173 - Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi:
Answering Metaqueries over Hi (OWL 2 QL) Ontologies. 1174-1180 - Yuliya Lierler, Benjamin Susman:
Constraint Answer Set Programming versus Satisfiability Modulo Theories. 1181-1187 - Xin Liu, Yong Liu, Xiaoli Li:
Exploring the Context of Locations for Personalized Location Recommendations. 1188-1194 - Yao Liu, Zhenhua Duan, Cong Tian:
A Decision Procedure for a Fragment of Linear Time Mu-Calculus. 1195-1201 - Zhiguo Long, Michael Sioutis, Sanjiang Li:
Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks. 1202-1208 - Tim Miller, Christian J. Muise:
Belief Update for Proper Epistemic Knowledge Bases. 1209-1215 - Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo:
Optimal Status Enforcement in Abstract Argumentation. 1216-1222 - Alexandre Niveau, Bruno Zanuttini:
Efficient Representations for the Modal Logic S5. 1223-1229 - Sebastian Rudolph, Michaël Thomazo:
Expressivity of Datalog Variants - Completing the Picture. 1230-1236 - Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis:
Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?. 1237-1243 - Zohreh Shams, Marina De Vos, Nir Oren, Julian A. Padget:
Normative Practical Reasoning via Argumentation and Dialogue. 1244-1250 - Kostyantyn M. Shchekotykhin, Thomas Schmitz, Dietmar Jannach:
Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses. 1251-1257 - Jason St. Jacques, David Toman, Grant E. Weddell:
Object-Relational Queries over CFDInc Knowledge Bases: OBDA for the SQL-Literate. 1258-1264 - Xingyu Su, Marina Zanella, Alban Grastien:
Diagnosability of Discrete-Event Systems with Uncertain Observations. 1265-1271 - Michael Thielscher:
Sampling-Based Belief Revision. 1272-1278 - Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos:
Efficient Query Answering over Expressive Inconsistent Description Logics. 1279-1285 - Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker:
Distributed Autoepistemic Logic and its Application to Access Control. 1286-1292 - Zhigang Wang, Juan-Zi Li:
Text-Enhanced Representation Learning for Knowledge Graph. 1293-1299 - Jianfeng Wen, Jianxin Li, Yongyi Mao, Shini Chen, Richong Zhang:
On the Representation and Embedding of Knowledge Bases beyond Binary Relations. 1300-1307 - Diedrich Wolter, Jae Hee Lee:
Connecting Qualitative Spatial and Temporal Representations by Propositional Closure. 1308-1314 - Han Xiao, Minlie Huang, Xiaoyan Zhu:
From One Point to a Manifold: Knowledge Graph Embedding for Precise Link Prediction. 1315-1321 - Liping Xiong, Yongmei Liu:
Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus. 1322-1329 - Heng Zhang, Yan Zhang, Jia-Huai You:
Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering. 1330-1337 - Yuanlin Zhang, Maede Rayatidamavandi:
A Characterization of the Semantics of Logic Programs with Aggregates. 1338-1344 - Yizheng Zhao, Renate A. Schmidt:
Forgetting Concept and Role Symbols in ALCOIHµ+(∇, ⊓)-Ontologies. 1345-1353 - Irman Abdic, Lex Fridman, Daniel McDuff, Erik Marchi, Bryan Reimer, Björn W. Schuller:
Driver Frustration Detection from Audio and Video in the Wild. 1354-1360 - Eisa Alanazi, Malek Mouhoub, Sandra Zilles:
The Complexity of Learning Acyclic CP-Nets. 1361-1367 - Cesare Alippi, Giacomo Boracchi, Diego Carrera, Manuel Roveri:
Change Detection in Multivariate Datastreams: Likelihood and Detectability Loss. 1368-1374 - Ehsan Mohammady Ardehaly, Aron Culotta, Vivek Sundararaman, Alwar Narayanan:
Cold-Start Recommendations for Audio News Stories Using Matrix Factorization. 1375-1381 - Chao Chen, Dongsheng Li, Qin Lv, Junchi Yan, Stephen M. Chu, Li Shang:
MPMA: Mixture Probabilistic Matrix Approximation for Collaborative Filtering. 1382-1388 - Feng Chen, Baojian Zhou:
A Generalized Matching Pursuit Approach for Graph-Structured Sparsity. 1389-1395 - Ting Chen, Lu-An Tang, Yizhou Sun, Zhengzhang Chen, Kai Zhang:
Entity Embedding-Based Anomaly Detection for Heterogeneous Categorical Events. 1396-1403 - Yu Chen, Tom Diethe, Peter A. Flach:
ADL™: A Topic Model for Discovery of Activities of Daily Living in a Smart Home. 1404-1410 - Yu-An Chung, Hsuan-Tien Lin, Shao-Wen Yang:
Cost-Aware Pre-Training for Multiclass Cost-Sensitive Deep Learning. 1411-1417 - Andrew Cropper, Stephen H. Muggleton:
Learning Higher-Order Logic Programs through Abstraction and Invention. 1418-1424 - Gary Doran, Andrew Latham, Soumya Ray:
A Unifying Framework for Learning Bag Labels from Generalized Multiple-Instance Data. 1425-1431 - Finale Doshi-Velez, George Dimitri Konidaris:
Hidden Parameter Markov Decision Processes: A Semiparametric Regression Approach for Discovering Latent Task Parametrizations. 1432-1440 - Ahmed Elbagoury, Rania Ibrahim, Mohamed S. Kamel, Fakhri Karray:
EBEK: Exemplar-Based Kernel Preserving Embedding. 1441-1447 - Karen Braga Enes, Saulo Moraes Villela, Raul Fonseca Neto:
Version Space Reduction Based on Ensembles of Dissimilar Balanced Perceptrons. 1448-1454 - Sarah M. Erfani, Mahsa Baktashmotlagh, Masud Moshtaghi, Vinh Nguyen, Christopher Leckie, James Bailey, Kotagiri Ramamohanarao:
Robust Domain Generalisation by Enforcing Distribution Invariance. 1455-1461 - Xuhui Fan, Richard Yi Da Xu, Longbing Cao:
Copula Mixed-Membership Stochastic Blockmodel. 1462-1468 - Jie Fu, Hongyin Luo, Jiashi Feng, Kian Hsiang Low, Tat-Seng Chua:
DrMAD: Distilling Reverse-Mode Automatic Differentiation for Optimizing Hyperparameters of Deep Neural Networks. 1469-1475 - Junning Gao, Makoto Yamada, Samuel Kaski, Hiroshi Mamitsuka, Shanfeng Zhu:
A Robust Convex Formulation for Ensemble Clustering. 1476-1482 - Li Gao, Jia Wu, Hong Yang, Zhi Qiao, Chuan Zhou, Yue Hu:
Semi-Data-Driven Network Coarsening. 1483-1489 - Tian Gao, Qiang Ji:
Constrained Local Latent Variable Discovery. 1490-1496 - Martin Gebser, Thomas Guyet, René Quiniou, Javier Romero, Torsten Schaub:
Knowledge-Based Sequence Mining with ASP. 1497-1504 - Clement Gehring, Yangchen Pan, Martha White:
Incremental Truncated LSTD. 1505-1511 - Hongliang Guo, Jie Zhang:
A Distributed and Scalable Machine Learning Approach for Big Data. 1512-1518 - Xiaoxiao Guo, Satinder Singh, Richard L. Lewis, Honglak Lee:
Deep Learning for Reward Design to Improve Monte Carlo Tree Search in ATARI Games. 1519-1525 - Yuchen Guo, Guiguang Ding, Yue Gao, Jianmin Wang:
Semi-Supervised Active Learning with Cross-Class Sample Transfer. 1526-1532 - Nils Y. Hammerla, Shane Halloran, Thomas Plötz:
Deep, Convolutional, and Recurrent Models for Human Activity Recognition Using Wearables. 1533-1540 - Tao Han, Hailong Sun, Yangqiu Song, Yili Fang, Xudong Liu:
Incorporating External Knowledge into Crowd Intelligence for More Specific Knowledge Acquisition. 1541-1547 - Yufei Han, Yun Shen:
Partially Supervised Graph Embedding for Positive Unlabelled Feature Selection. 1548-1554 - Jia He, Changying Du, Fuzhen Zhuang, Xin Yin, Qing He, Guoping Long:
Online Bayesian Max-Margin Subspace Multi-View Learning. 1555-1561 - Hoda Heidari, Michael J. Kearns, Aaron Roth:
Tight Policy Regret Bounds for Improving and Decaying Bandits. 1562-1570 - Teakgyu Hong, Jongmin Lee, Kee-Eung Kim, Pedro A. Ortega, Daniel D. Lee:
Bayesian Reinforcement Learning with Behavioral Feedback. 1571-1577 - Zhiting Hu, Gang Luo, Mrinmaya Sachan, Eric P. Xing, Zaiqing Nie:
Grounding Topic Models with Knowledge Bases. 1578-1584 - Long-Kai Huang, Sinno Jialin Pan:
Class-Wise Supervised Hashing with Label Embedding and Active Bits. 1585-1591 - Sheng-Jun Huang, Songcan Chen:
Transfer Learning with Active Queries from Source Domain. 1592-1598 - Wen-bing Huang, Le-le Cao, Fuchun Sun, Deli Zhao, Huaping Liu, Shanshan Yu:
Learning Stable Linear Dynamical Systems with the Weighted Least Square Method. 1599-1605 - Xuan Huo, Ming Li, Zhi-Hua Zhou:
Learning Unified Features from Natural and Programming Languages for Locating Buggy Source Code. 1606-1612 - Tsuyoshi Idé, Dzung T. Phan, Jayant Kalagnanam:
Change Detection Using Directional Statistics. 1613-1619 - David Isele, Mohammad Rostami, Eric Eaton:
Using Task Features for Zero-Shot Knowledge Transfer in Lifelong Learning. 1620-1626 - Ling Jian, Jundong Li, Kai Shu, Huan Liu:
Multi-Label Informed Feature Selection. 1627-1633 - Bo Jiang, Chris H. Q. Ding, Bin Luo:
Robust Out-of-Sample Data Recovery. 1634-1639 - Nan Jiang, Satinder Singh, Ambuj Tewari:
On Structural Properties of MDPs that Bound Loss Due to Shallow Planning. 1640-1647 - George Dimitri Konidaris:
Constructing Abstraction Hierarchies Using a Skill-Symbol Loop. 1648-1654 - Ondrej Kuzelka, Yuyi Wang, Jan Ramon:
Bounds for Learning from Evolutionary-Related Data in the Realizable Case. 1655-1661 - Lucas Langer, Borja Balle, Doina Precup:
Learning Multi-Step Predictive State Representations. 1662-1668 - Sang-Woo Lee, Chung-yeon Lee, Dong-Hyun Kwak, Jiwon Kim, Jeonghee Kim, Byoung-Tak Zhang:
Dual-Memory Deep Learning Architectures for Lifelong Learning of Everyday Human Behaviors. 1669-1675 - Yoad Lewenberg, Yoram Bachrach, Sukrit Shankar, Antonio Criminisi:
Predicting Personal Traits from Facial Images Using Convolutional Neural Networks Augmented with Facial Landmark Information. 1676-1682 - Huayu Li, Richang Hong, Defu Lian, Zhiang Wu, Meng Wang, Yong Ge:
A Relaxed Ranking-Based Factor Model for Recommender System from Implicit Feedback. 1683-1689 - Jia Li, Kaiser Asif, Hong Wang, Brian D. Ziebart, Tanya Y. Berger-Wolf:
Adversarial Sequence Tagging. 1690-1696 - Jingjing Li, Jidong Zhao, Ke Lu:
Joint Feature Selection and Structure Preservation for Domain Adaptation. 1697-1703 - Miaomiao Li, Xinwang Liu, Lei Wang, Yong Dou, Jianping Yin, En Zhu:
Multiple Kernel Clustering with Local Kernel Alignment Maximization. 1704-1710 - Wu-Jun Li, Sheng Wang, Wang-Cheng Kang:
Feature Learning Based Deep Supervised Hashing with Pairwise Labels. 1711-1717 - Yingming Li, Ming Yang, Zenglin Xu, Zhongfei (Mark) Zhang:
Multi-View Learning with Limited and Noisy Tagging. 1718-1724 - Yufeng Li, Shao-Bo Wang, Zhi-Hua Zhou:
Graph Quality Judgement: A Large Margin Expedition. 1725-1731 - Defu Lian, Yong Ge, Nicholas Jing Yuan, Xing Xie, Hui Xiong:
Sparse Bayesian Content-Aware Collaborative Filtering for Implicit Feedback. 1732-1738 - Jian Liang, Ran He, Zhenan Sun, Tieniu Tan:
Group-Invariant Cross-Modal Subspace Learning. 1739-1745 - Junwei Liang, Lu Jiang, Deyu Meng, Alexander G. Hauptmann:
Learning to Detect Concepts from Webly-Labeled Video Data. 1746-1752 - Shaohui Lin, Rongrong Ji, Xiaowei Guo, Xuelong Li:
Towards Convolutional Neural Networks Compression via Global Error Reconstruction. 1753-1759 - Bo Liu, Xiao-Tong Yuan, Shaoting Zhang, Qingshan Liu, Dimitris N. Metaxas:
Efficient k-Support-Norm Regularized Minimization via Fully Corrective Frank-Wolfe Method. 1760-1766 - Hong Liu, Rongrong Ji, Yongjian Wu, Gang Hua:
Supervised Matrix Factorization for Cross-Modality Hashing. 1767-1773 - Li Liu, William K. Cheung, Xin Li, Lejian Liao:
Aligning Users across Social Networks Using Network Embedding. 1774-1780 - Li-Ping Liu, Thomas G. Dietterich, Nan Li, Zhi-Hua Zhou:
Transductive Optimization of Top k Precision. 1781-1787 - Qi Liu, Hongtao Lu:
Natural Supervised Hashing. 1788-1794 - Mario Lucic, Olivier Bachem, Andreas Krause:
Linear-Time Outlier Detection via Sensitivity. 1795-1801 - Minnan Luo, Feiping Nie, Xiaojun Chang, Yi Yang, Alexander G. Hauptmann, Qinghua Zheng:
Avoiding Optimal Mean Robust PCA/2DPCA with Non-greedy ℓ1-Norm Maximization. 1802-1808 - Yong Luo, Yonggang Wen, Dacheng Tao:
On Combining Side Information and Unlabeled Data for Heterogeneous Multi-Task Metric Learning. 1809-1815 - Weizhi Ma, Min Zhang, Yiqun Liu, Shaoping Ma:
Multi-Grained Role Labeling Based on Multi-Modality Information for Real Customer Service Telephone Conversation. 1816-1822 - Tong Man, Huawei Shen, Shenghua Liu, Xiaolong Jin, Xueqi Cheng:
Predict Anchor Links across Social Networks via an Embedding Approach. 1823-1829 - Travis Mandel, Yun-En Liu, Emma Brunskill, Zoran Popovic:
Efficient Bayesian Clustering for Reinforcement Learning. 1830-1838 - Liang Mao, Shiliang Sun:
Soft Margin Consistency Based Scalable Multi-View Maximum Entropy Discrimination. 1839-1845 - Mazen Melibari, Pascal Poupart, Prashant Doshi:
Sum-Product-Max Networks for Tractable Decision Making. 1846-1852 - Qi Meng, Wei Chen, Jingcheng Yu, Taifeng Wang, Zhiming Ma, Tie-Yan Liu:
Asynchronous Accelerated Stochastic Gradient Descent. 1853-1859 - Yadong Mu, Wei Liu, Cheng Deng, Zongting Lv, Xinbo Gao:
Coordinate Discrete Optimization for Efficient Cross-View Image Retrieval. 1860-1866 - Syed Abbas Zilqurnain Naqvi, Shandian Zhe, Yuan Qi, Yifan Yang, Jieping Ye:
Fast Laplace Approximation for Sparse Bayesian Spike and Slab Models. 1867-1973 - Feiping Nie, Heng Huang:
Subspace Clustering via New Low-Rank Model with Discrete Group Structure Constraint. 1874-1880 - Feiping Nie, Jing Li, Xuelong Li:
Parameter-Free Auto-Weighted Multiple Graph Learning: A Framework for Multiview Clustering and Semi-Supervised Classification. 1881-1887 - Shohei Ohsawa, Yachiko Obara, Takayuki Osogami:
Gated Probabilistic Matrix Factorization: Learning Users' Attention from Missing Values. 1888-1894 - Shirui Pan, Jia Wu, Xingquan Zhu, Chengqi Zhang, Yang Wang:
Tri-Party Deep Network Representation. 1895-1901 - Guansong Pang, Longbing Cao, Ling Chen:
Outlier Detection in Complex Categorical Data by Modeling the Feature Value Couplings. 1902-1908 - Giorgio Patrini, Richard Nock, Stephen Hardy, Tibério S. Caetano:
Fast Learning from Distributed Datasets without Entity Matching. 1909-1917 - Hanyang Peng, Yong Fan:
Direct Sparsity Optimization Based Feature Selection for Multi-Class Classification. 1918-1924 - Xi Peng, Shijie Xiao, Jiashi Feng, Wei-Yun Yau, Zhang Yi:
Deep Subspace Clustering with Sparsity Prior. 1925-1931 - Te Pi, Xi Li, Zhongfei Zhang, Deyu Meng, Fei Wu, Jun Xiao, Yueting Zhuang:
Self-Paced Boost Learning for Classification. 1932-1938 - Chao Qian, Jing-Cheng Shi, Yang Yu, Ke Tang, Zhi-Hua Zhou:
Parallel Pareto Optimization for Subset Selection. 1939-1945 - Hong Qian, Yi-Qi Hu, Yang Yu:
Derivative-Free Optimization of High-Dimensional Non-Convex Functions by Sequential Random Embeddings. 1946-1952 - Peng Qian, Xipeng Qiu, Xuanjing Huang:
Bridging LSTM Architecture and the Neural Dynamics during Reading. 1953-1959 - Wei Qian, Bin Hong, Deng Cai, Xiaofei He, Xuelong Li:
Non-Negative Matrix Factorization with Sinkhorn Distance. 1960-1966 - Vaibhav Rajan, Sakyajit Bhattacharya:
Dependency Clustering of Mixed Data with Gaussian Mixture Copulas. 1967-1973 - Daniel P. Robinson, Suchi Saria:
Trading-Off Cost of Deployment Versus Accuracy in Learning Predictive Models. 1974-1982 - Weiwei Shen, Jun Wang:
Portfolio Blending via Thompson Sampling. 1983-1989 - Zebang Shen, Hui Qian, Tengfei Zhou, Tongzhou Mu:
Adaptive Variance Reducing for Stochastic Gradient Descent. 1990-1996 - Lei Shi, Yi-Dong Shen:
Diversifying Convex Transductive Experimental Design for Active Learning. 1997-2003 - Weiwei Shi, Yihong Gong, Jinjun Wang:
Improving CNN Performance with Min-Max Objective. 2004-2010 - Harold Soh:
Distance-Preserving Probabilistic Embeddings with Side Information: Variational Bayesian Multidimensional Scaling Gaussian Process. 2011-2017 - Dongjin Song, Wei Liu, David A. Meyer:
Fast Structural Binary Coding. 2018-2024 - Young Chol Song, Iftekhar Naim, Abdullah Al Mamun, Kaustubh Kulkarni, Parag Singla, Jiebo Luo, Daniel Gildea, Henry A. Kautz:
Unsupervised Alignment of Actions in Video with Text Descriptions. 2025-2031 - Ivan Stojkovic, Vladisav Jelisavcic, Veljko Milutinovic, Zoran Obradovic:
Distance Based Modeling of Interactions in Structured Regression. 2032-2038 - Sanatan Sukhija, Narayanan Chatapuram Krishnan, Gurkanwal Singh:
Supervised Heterogeneous Domain Adaptation via Random Forests. 2039-2045 - Jun Suzuki, Masaaki Nagata:
Learning Compact Neural Word Embeddings by Parameter Space Sharing. 2046-2052 - Hao Tang, Hong Liu:
A Novel Feature Matching Strategy for Large Scale Image Retrieval. 2053-2059 - Joseph G. Taylor, Viktoriia Sharmanska, Kristian Kersting, David Weir, Novi Quadrianto:
Learning Using Unselected Features (LUFe). 2060-2066 - Stefano Teso, Andrea Passerini, Paolo Viappiani:
Constructive Preference Elicitation by Setwise Max-Margin Learning. 2067-2073 - Arun Venkatraman, Wen Sun, Martial Hebert, Byron Boots, J. Andrew Bagnell:
Inference Machines for Nonparametric Filter Learning. 2074-2081 - Aäron Verachtert, Hendrik Blockeel, Jesse Davis:
Dynamic Early Stopping for Naive Bayes. 2082-2088 - Ngo Anh Vien, Peter Englert, Marc Toussaint:
Policy Search in Reproducing Kernel Hilbert Space. 2089-2096 - Boyu Wang, Joelle Pineau:
Generalized Dictionary for Multitask Learning with Boosting. 2097-2103 - De Wang, Feiping Nie, Heng Huang:
Fast Robust Non-Negative Matrix Factorization for Large-Scale Human Action Data Clustering. 2104-2110 - Lu Wang, Zhi-Hua Zhou:
Cost-Saving Effect of Crowdsourcing Learning. 2111-2117 - Shuo Wang, Leandro L. Minku, Xin Yao:
Dealing with Multiple Classes in Online Class Imbalance Learning. 2118-2124 - Shuyang Wang, Zhengming Ding, Yun Fu:
Coupled Marginalized Auto-Encoders for Cross-Domain Multi-View Learning. 2125-2131 - William Yang Wang, William W. Cohen:
Learning First-Order Logic Embeddings via Matrix Factorization. 2132-2138 - Xin Wang, Congfu Xu, Yunhui Guo, Hui Qian:
Constrained Preference Embedding for Item Recommendation. 2139-2145 - Xuezhi Wang, Junier B. Oliva, Jeff G. Schneider, Barnabás Póczos:
Nonparametric Risk and Stability Analysis for Multi-Task Learning Problems. 2146-2152 - Yang Wang, Wenjie Zhang, Lin Wu, Xuemin Lin, Meng Fang, Shirui Pan:
Iterative Views Agreement: An Iterative Low-Rank Based Structured Optimization Method to Multi-View Spectral Clustering. 2153-2159 - Yi Wang, Bin Li, Xuhui Fan, Yang Wang, Fang Chen:
Bayesian Optimization of Partition Layouts for Mondrian Processes. 2160-2166 - Yisen Wang, Qingtao Tang, Shu-Tao Xia, Jia Wu, Xingquan Zhu:
Bernoulli Random Forests: Closing the Gap between Theoretical Consistency and Empirical Soundness. 2167-2173 - Zhangyang Wang, Yingzhen Yang, Shiyu Chang, Qing Ling, Thomas S. Huang:
Learning A Deep ℓ∞ Encoder for Hashing. 2174-2180 - Zhe Wang, Ling-Yu Duan, Junsong Yuan, Tiejun Huang, Wen Gao:
To Project More or to Quantize More: Minimize Reconstruction Bias for Learning Compact Binary Codes. 2181-2188 - Pengfei Wei, Yiping Ke, Chi Keong Goh:
Deep Nonlinear Feature Coding for Unsupervised Domain Adaptation. 2189-2195 - Felix Weninger, Fabien Ringeval, Erik Marchi, Björn W. Schuller:
Discriminatively Trained Recurrent Neural Networks for Continuous Dimensional Emotion Recognition from Audio. 2196-2202 - Nic Wilson, Mojtaba Montazery:
Preference Inference through Rescaling Preference Learning. 2203-2209 - Yingce Xia, Tao Qin, Weidong Ma, Nenghai Yu, Tie-Yan Liu:
Budgeted Multi-Armed Bandits with Multiple Plays. 2210-2216 - Liping Xie, Dacheng Tao, Haikun Wei:
Multi-View Exclusive Unsupervised Dimension Reduction for Video-Based Facial Expression Recognition. 2217-2223 - Jinglin Xu, Junwei Han, Kai Xiong, Feiping Nie:
Robust and Sparse Fuzzy K-Means Clustering. 2224-2230 - Yasunori Yamada, Tetsuro Morimura:
Weight Features for Predicting Future Model Performance of Deep Neural Networks. 2231-2237 - Rui Yan:
i, Poet: Automatic Poetry Composition through Recurrent Neural Networks with Iterative Polishing Schema. 2238-2244 - Xiaoqiang Yan, Yangdong Ye, Xueying Qiu:
Unsupervised Human Action Categorization with Consensus Information Bottleneck Method. 2245-2251 - Liang Yang, Xiaochun Cao, Dongxiao He, Chuan Wang, Xiao Wang, Weixiong Zhang:
Modularity Based Community Detection with Deep Learning. 2252-2258 - Xu Yang, Xin Geng, Deyu Zhou:
Sparsity Conditional Energy Label Distribution Learning for Age Estimation. 2259-2265 - Xun Yang, Meng Wang, Luming Zhang, Dacheng Tao:
Empirical Risk Minimization for Metric Learning Using Privileged Information. 2266-2272 - Yang Yang, Fumin Shen, Zi Huang, Heng Tao Shen:
A Unified Framework for Discrete Spectral Clustering. 2273-2279 - Yang Yang, De-Chuan Zhan, Yuan Jiang:
Learning by Actively Querying Strong Modal Features. 2280-2286 - Zhilin Yang, Jie Tang, William W. Cohen:
Multi-Modal Bayesian Embeddings for Learning Social Knowledge Graphs. 2287-2293 - Quanming Yao, James T. Kwok:
Greedy Learning of Generalized Low-Rank Models. 2294-2300 - Qiaomin Ye, Luo Luo, Zhihua Zhang:
Frequent Direction Algorithms for Approximate Matrix Multiplication with Applications in CCA. 2301-2307 - Pengcheng Yin, Zhengdong Lu, Hang Li, Ben Kao:
Neural Enquirer: Learning to Query Tables in Natural Language. 2308-2314 - Yusen Zhan, Haitham Bou-Ammar, Matthew E. Taylor:
Theoretically-Grounded Policy Advice from Multiple Teachers in Reinforcement Learning Settings with Applications to Negative Transfer. 2315-2321 - Qin Zhang, Jia Wu, Hong Yang, Yingjie Tian, Chengqi Zhang:
Unsupervised Feature Learning from Time Series. 2322-2328 - Qing Zhang, Houfeng Wang:
Collaborative Filtering with Generalized Laplacian Constraint via Overlapping Decomposition. 2329-2335 - Ruqi Zhang, Zhiwu Lu:
Large Scale Sparse Clustering. 2336-2342 - Shizhou Zhang, Yihong Gong, Jinjun Wang:
Improving DCNN Performance with Sparse Category-Selective Objective Function. 2343-2349 - Wei Zhang, Suyog Gupta, Xiangru Lian, Ji Liu:
Staleness-Aware Async-SGD for Distributed Deep Learning. 2350-2356 - Xianchao Zhang, Xiaotong Zhang, Han Liu:
Self-Adapted Multi-Task Clustering. 2357-2363 - Yizhe Zhang, Ricardo Henao, Chunyuan Li, Lawrence Carin:
Bayesian Dictionary Learning with Gaussian Processes and Sigmoid Belief Networks. 2364-2370 - Zemin Zhang, Shuchin Aeron:
Denoising and Completion of 3D Data via Multidimensional Dictionary Learning. 2371-2377 - Feipeng Zhao, Yuhong Guo:
Improving Top-N Recommendation with Heterogeneous Loss. 2378-2384 - Feipeng Zhao, Min Xiao, Yuhong Guo:
Predictive Collaborative Filtering with Side Information. 2385-2391 - Handong Zhao, Hongfu Liu, Yun Fu:
Incomplete Multi-Modal Visual Data Grouping. 2392-2398 - Feng Zheng, Ling Shao:
Learning Cross-View Binary Identities for Fast Person Re-Identification. 2399-2406 - Shuai Zheng, James T. Kwok:
Fast-and-Light Stochastic ADMM. 2407-2613 - Joey Tianyi Zhou, Xinxing Xu, Sinno Jialin Pan, Ivor W. Tsang, Zheng Qin, Rick Siow Mong Goh:
Transfer Hashing with Privileged Information. 2414-2420 - Xingyi Zhou, Qingfu Wan, Wei Zhang, Xiangyang Xue, Yichen Wei:
Model-Based Deep Hand Pose Estimation. 2421-2427 - Yang Zhou, Haiping Lu:
Probabilistic Rank-One Matrix Analysis with Concurrent Regularization. 2428-2434 - Yao Zhou, Jingrui He:
Crowdsourcing via Tensor Augmentation and Completion. 2435-2441 - Pengfei Zhu, Lei Zhang, Wangmeng Zuo, Xiangchu Feng, Qinghua Hu:
A Self-Representation Induced Classifier. 2442-2448 - Xiaojin Zhu, Ara Vartanian, Manish Bansal, Duy Nguyen, Luke Brandl:
Stochastic Multiresolution Persistent Homology Kernel. 2449-2457 - Andrés Abeliuk, Gerardo Berbeglia, Felipe Maldonado, Pascal Van Hentenryck:
Asymptotic Optimality of Myopic Optimization in Trial-Offer Markets with Social Influence. 2458-2464 - Arpita Biswas, Ragavendran Gopalakrishnan, Partha Dutta:
Managing Overstaying Electric Vehicles in Park-and-Charge Facilities. 2465-2471 - Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi:
A SAT-Based Approach for Mining Association Rules. 2472-2478 - Gong Cheng, Weixi Zhu, Ziwei Wang, Jianghui Chen, Yuzhong Qu:
Taking Up the Gaokao Challenge: An Information Retrieval Approach. 2479-2485 - Keith Clark, Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Peter Robinson, Claude Sammut, Michael Thielscher:
A Framework for Integrating Symbolic and Sub-Symbolic Representations. 2486-2492 - Dustin Dannenhauer, Hector Muñoz-Avila, Michael T. Cox:
Informed Expectations to Guide GDA Agents in Partially Observable Environments. 2493-2499 - Zipei Fan, Ayumi Arai, Xuan Song, Apichon Witayangkurn, Hiroshi Kanasugi, Ryosuke Shibasaki:
A Collaborative Filtering Approach to Citywide Human Mobility Completion from Sparse Call Records. 2500-2506 - Qingyu Guo, Bo An, Yair Zick, Chunyan Miao:
Optimal Interdiction of Illegal Network Flow. 2507-2513 - Ahmed Khalifa, Aaron Isaksen, Julian Togelius, Andy Nealen:
Modifying MCTS for Human-Like General Video Game Playing. 2514-2520 - Zhaobin Kuang, James A. Thomson, Michael Caldwell, Peggy L. Peissig, Ron M. Stewart, David Page:
Baseline Regularization for Computational Drug Repositioning with Longitudinal Observational Data. 2521-2528 - Sébastien Lallé, Cristina Conati, Giuseppe Carenini:
Predicting Confusion in Information Visualization from Eye Tracking and Interaction Data. 2529-2535 - Tuan M. V. Le, Hady Wirawan Lauw:
Word Clouds with Latent Variable Analysis for Visual Comparison of Documents. 2536-2543 - Wonsung Lee, Youngmin Lee, Heeyoung Kim, Il-Chul Moon:
Bayesian Nonparametric Collaborative Topic Poisson Factorization for Electronic Health Records-Based Phenotyping. 2544-2552 - Liangda Li, Hongyuan Zha:
Household Structure Analysis via Hawkes Processes for Enhancing Energy Disaggregation. 2553-2559 - Zhen Li, Yizhou Yu:
Protein Secondary Structure Prediction Using Cascaded Convolutional and Recurrent Neural Networks. 2560-2567 - Si Liu, Xinyu Ou, Ruihe Qian, Wei Wang, Xiaochun Cao:
Makeup Like a Superstar: Deep Localized Makeup Transfer Network. 2568-2575 - Ye Liu, Yu Zheng, Yuxuan Liang, Shuming Liu, David S. Rosenblum:
Urban Water Quality Prediction Based on Multi-Task Multi-View Learning. 2576-2581 - Gautier Marti, Sébastien Andler, Frank Nielsen, Philippe Donnat:
Clustering Financial Time Series: How Long Is Enough?. 2583-2589 - Wookhee Min, Bradford W. Mott, Jonathan P. Rowe, Barry Liu, James C. Lester:
Player Goal Recognition in Open-World Digital Games with Long Short-Term Memory Networks. 2590-2596 - Anastasia Moskvina, Jiamou Liu:
How to Build Your Network? A Structural Analysis. 2597-2603 - Marco Ragni, Christian Eichhorn, Gabriele Kern-Isberner:
Simulating Human Inferences in the Light of New Information: A Formal Analysis. 2604-2610 - Victor Shnayder, Rafael M. Frongillo, David C. Parkes:
Measuring Performance of Peer Prediction Mechanisms Using Replicator Dynamics. 2611-2617 - Xuan Song, Hiroshi Kanasugi, Ryosuke Shibasaki:
DeepTransport: Prediction and Simulation of Human Mobility and Transportation Mode at a Citywide Level. 2618-2624 - Yale Song, Randall Davis, Kaichen Ma, Dana L. Penney:
Balancing Appearance and Context in Sketch Interpretation. 2625-2632 - Jakob Suchan, Mehul Bhatt:
Semantic Question-Answering with Video and Eye-Tracking Data: AI Foundations for Human Visual Perception Driven Cognitive Film Studies. 2633-2639 - Yunzhi Tan, Min Zhang, Yiqun Liu, Shaoping Ma:
Rating-Boosted Latent Topics: Understanding Users and Items with Ratings and Reviews. 2640-2646 - Shu Tian, Wei-Yi Pei, Ze-Yu Zuo, Xu-Cheng Yin:
Scene Text Detection in Video by Learning Locally and Globally. 2647-2653 - Kewei Tu:
Stochastic and-or Grammars: A Unified Framework and Logic Perspective. 2654-2660 - Ke Wang, Zhendong Su:
Dimensionally Guided Synthesis of Mathematical Word Problems. 2661-2668 - Zheng Wang, Ruimin Hu, Yi Yu, Junjun Jiang, Chao Liang, Jinqiao Wang:
Scale-Adaptive Low-Resolution Person Re-Identification via Learning a Discriminating Surface. 2669-2675 - Shuai Xiao, Junchi Yan, Changsheng Li, Bo Jin, Xiangfeng Wang, Xiaokang Yang, Stephen M. Chu, Hongyuan Zha:
On Modeling and Predicting Individual Paper Citation Count over Time. 2676-2682 - Xiao-Feng Xie, Zun-Jing Wang:
Exploiting Problem Structure in Combinatorial Landscapes: A Case Study on Pure Mathematics Application. 2683-2689 - Junchi Yan, Shuai Xiao, Changsheng Li, Bo Jin, Xiangfeng Wang, Bin Ke, Xiaokang Yang, Hongyuan Zha:
Modeling Contagious Merger and Acquisition via Point Processes with a Profile Regression Prior. 2690-2696 - Dingqi Yang, Bin Li, Philippe Cudré-Mauroux:
POISketch: Semantic Place Labeling over User Activity Streams. 2697-2703 - Xiuwen Yi, Yu Zheng, Junbo Zhang, Tianrui Li:
ST-MVL: Filling Missing Values in Geo-Sensory Time Series Data. 2704-2710 - Xiang Yu, Zhe Lin, Shaoting Zhang, Dimitris N. Metaxas:
Nonlinear Hierarchical Part-Based Regression for Unconstrained Face Alignment. 2711-2717 - Lu Zhang, Yongkai Wu, Xintao Wu:
Situation Testing-Based Discrimination Discovery: A Causal Inference Approach. 2718-2724 - Ruohan Zhang, Zhao Song:
Maximum Sustainable Yield Problem for Robot Foraging and Construction System. 2725-2731 - Wei-Long Zheng, Bao-Liang Lu:
Personalizing EEG-Based Affective Models with Transfer Learning. 2732-2739 - Siddhartha Banerjee, Prasenjit Mitra:
WikiWrite: Generating Wikipedia Articles Automatically. 2740-2746 - Emanuele Bastianelli, Danilo Croce, Andrea Vanzo, Roberto Basili, Daniele Nardi:
A Discriminative Approach to Grounded Spoken Language Understanding in Interactive Robotics. 2747-2753 - Qian Chen, Xiaodan Zhu, Zhen-Hua Ling, Si Wei, Hui Jiang:
Distraction-Based Neural Networks for Modeling Document. 2754-2760 - Yong Cheng, Shiqi Shen, Zhongjun He, Wei He, Hua Wu, Maosong Sun, Yang Liu:
Agreement-Based Joint Training for Bidirectional Attention-Based Neural Machine Translation. 2761-2767 - Shamil Chollampatt, Kaveh Taghipour, Hwee Tou Ng:
Neural Network Translation Models for Grammatical Error Correction. 2768-2774 - Lingjia Deng, Janyce Wiebe:
Recognizing Opinion Sources Based on a New Categorization of Opinion Types. 2775-2781 - Yuyun Gong, Qi Zhang:
Hashtag Recommendation Using Attention-Based Convolutional Neural Network. 2782-2788 - Lin Gui, Ruifeng Xu, Yulan He, Qin Lu, Zhongyu Wei:
Intersubjectivity and Sentiment: From Language to Knowledge. 2789-2795 - Homa B. Hashemi, Rebecca Hwa:
Parse Tree Fragmentation of Ungrammatical Sentences. 2796-2802 - Duc Tam Hoang, Shamil Chollampatt, Hwee Tou Ng:
Exploiting N-Best Hypotheses to Improve an SMT Approach to Grammatical Error Correction. 2803-2809 - Jizhou Huang, Shiqi Zhao, Shiqiang Ding, Haiyang Wu, Mingming Sun, Haifeng Wang:
Generating Recommendation Evidence Using Translation Model. 2810-2816 - Shujian Huang, Huifeng Sun, Chengqi Zhao, Jinsong Su, Xin-Yu Dai, Jiajun Chen:
Tree-State Based Rule Selection Models for Hierarchical Phrase-Based Machine Translation. 2817-2823 - Peng Jin, Yue Zhang, Xingyuan Chen, Yunqing Xia:
Bag-of-Embeddings for Text Classification. 2824-2830 - Hatim Khouzaimi, Romain Laroche, Fabrice Lefèvre:
Reinforcement Learning for Turn-Taking Management in Incremental Spoken Dialogue Systems. 2831-2837 - Fei Li, Yue Zhang, Meishan Zhang, Donghong Ji:
Joint Models for Extracting Adverse Drug Events from Biomedical Text. 2838-2844 - Xiang Li, Lili Mou, Rui Yan, Ming Zhang:
StalemateBreaker: A Proactive Content-Introducing Approach to Automatic Human-Computer Conversation. 2845-2851 - Xiaoqing Li, Jiajun Zhang, Chengqing Zong:
Towards Zero Unknown Word in Neural Machine Translation. 2852-2858 - Chen Liang, Praveen K. Paritosh, Vinodh Rajendran, Kenneth D. Forbus:
Learning Paraphrase Identification with Structural Alignment. 2859-2865 - Yankai Lin, Zhiyuan Liu, Maosong Sun:
Knowledge Representation Learning with Entities, Attributes and Relations. 2866-2872 - Pengfei Liu, Xipeng Qiu, Xuanjing Huang:
Recurrent Neural Network for Text Classification with Multi-Task Learning. 2873-2879 - Yijia Liu, Wanxiang Che, Jiang Guo, Bing Qin, Ting Liu:
Exploring Segment Representations for Neural Segmentation Models. 2880-2886 - Yijia Liu, Wanxiang Che, Bing Qin, Ting Liu:
HC-Search for Incremental Parsing. 2887-2893 - Alessandro Raganato, Claudio Delli Bovi, Roberto Navigli:
Automatic Construction and Evaluation of a Large Semantically Enriched Wikipedia. 2894-2900 - Yangqiu Song, Shyam Upadhyay, Haoruo Peng, Dan Roth:
Cross-Lingual Dataless Classification for Many Languages. 2901-2907 - Michael Spranger, Jakob Suchan, Mehul Bhatt:
Robust Natural Language Processing - Combining Reasoning, Cognitive Semantics, and Construction Grammar for Spatial Language. 2908-2914 - Fei Sun, Jiafeng Guo, Yanyan Lan, Jun Xu, Xueqi Cheng:
Sparse Word Embeddings Using ℓ1 Regularized Online Learning. 2915-2921 - Shengxian Wan, Yanyan Lan, Jun Xu, Jiafeng Guo, Liang Pang, Xueqi Cheng:
Match-SRNN: Modeling the Recursive Matching Structure with Spatial RNN. 2922-2928 - Bingning Wang, Shangmin Guo, Kang Liu, Shizhu He, Jun Zhao:
Employing External Rich Knowledge for Machine Comprehension. 2929-2925 - Chang Wang, Liangliang Cao, James Fan:
Building Joint Spaces for Relation Extraction. 2936-2942 - Qixin Wang, Tianyi Luo, Dong Wang, Chao Xing:
Chinese Song Iambics Generation with Neural Attention-Based Model. 2943-2949 - Rui Wang, Hai Zhao, Sabine Ploux, Bao-Liang Lu, Masao Utiyama:
A Bilingual Graph-Based Semantic Model for Statistical Machine Translation. 2950-2956 - Zhuhao Wang, Fei Wu, Weiming Lu, Jun Xiao, Xi Li, Zitong Zhang, Yueting Zhuang:
Diverse Image Captioning via GroupTalk. 2957-2964 - Ruobing Xie, Zhiyuan Liu, Maosong Sun:
Representation Learning of Knowledge Graphs with Hierarchical Types. 2965-2971 - Jun Yin, Xin Jiang, Zhengdong Lu, Lifeng Shang, Hang Li, Xiaoming Li:
Neural Generative Question Answering. 2972-2978 - Yichun Yin, Furu Wei, Li Dong, Kaimeng Xu, Ming Zhang, Ming Zhou:
Unsupervised Word and Dependency Path Embeddings for Aspect Term Extraction. 2979-2985 - Wei Zhang, Quan Yuan, Jiawei Han, Jianyong Wang:
Collaborative Multi-Level Embedding Learning from Reviews for Rating Prediction. 2986-2992 - Xiaodong Zhang, Houfeng Wang:
A Joint Model of Intent Determination and Slot Filling for Spoken Language Understanding. 2993-2999 - Zhou Zhao, Qifan Yang, Deng Cai, Xiaofei He, Yueting Zhuang:
Expert Finding for Community-Based Question Answering via Ranking Metric Network Learning. 3000-3006 - Xiaoqing Zheng, Jiangtao Feng, Mengxiao Lin, Wenqiang Zhang:
Context-Specific and Multi-Prototype Character Representations. 3007-3013 - Deyu Zhou, Haiyang Xu, Xin-Yu Dai, Yulan He:
Unsupervised Storyline Extraction from News Articles. 3014-3021 - Ron Alford, Vikas Shivashankar, Mark Roberts, Jeremy Frank, David W. Aha:
Hierarchical Planning: Relating Task and Goal Decomposition with Task Sharing. 3022-3029 - Aijun Bai, Siddharth Srivastava, Stuart Russell:
Markovian State and Action Abstractions for MDPs via Hierarchical MCTS. 3029-3039 - Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand:
Which Contingent Events to Observe for the Dynamic Controllability of a Plan. 3038-3044 - Blai Bonet, Hector Geffner:
Factored Probabilistic Belief Tracking. 3045-3052 - Daniel Bryce, J. Benton, Michael W. Boldt:
Maintaining Evolving Domain Models. 3053-3059 - Nicolas Catusse, Hadrien Cambazard, Nadia Brauner, Pierre Lemaire, Bernard Penz, Anne-Marie Lagrange, Pascal Rubini:
A Branch-and-Price Algorithm for Scheduling Observations on a Telescope. 3060-3066 - Liron Cohen, Tansel Uras, T. K. Satish Kumar, Hong Xu, Nora Ayanian, Sven Koenig:
Improved Solvers for Bounded-Suboptimal Multi-Agent Path Finding. 3067-3074 - Hao Cui, Roni Khardon:
Online Symbolic Gradient-Based Optimization for Factored Action MDPs. 3075-3081 - Guillem Francès, Hector Geffner:
∃-STRIPS: Existential Quantification in Planning and Constraint Satisfaction. 3082-3088 - Caelan Reed Garrett, Leslie Pack Kaelbling, Tomás Lozano-Pérez:
Learning to Rank for Synthesizing Planning Heuristics. 3089-3095 - Supriyo Ghosh, Michael A. Trick, Pradeep Varakantham:
Robust Repositioning to Counter Unpredictable Demand in Bike Sharing Systems. 3096-3102 - Vincent Gingras, Claude-Guy Quimper:
Generalizing the Edge-Finder Rule for the Cumulative Constraint. 3103-3109 - Daniel Gnad, Martin Wehrle, Jörg Hoffmann:
Decoupled Strong Stubborn Sets. 3110-3116 - Ragavendran Gopalakrishnan, Arpita Biswas, Alefiya Lightwala, Skanda Vasudevan, Partha Dutta, Abhishek Tripathi:
Demand Prediction and Placement Optimization for Electric Vehicle Charging Stations. 3117-3123 - Eric A. Hansen, Jinchuan Shi, Arindam Khaled:
A POMDP Approach to Influence Diagram Evaluation. 3124-3132 - Netantel Hasidi, Roni Stern, Meir Kalech, Shulamit Reches:
Anticipatory Troubleshooting. 3133-3139 - Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li:
Hierarchical Model Predictive Control for Multi-Robot Navigation. 3140-3146 - Shivaram Kalyanakrishnan, Utkarsh Mall, Ritish Goyal:
Batch-Switching Policy Iteration. 3147-3153 - Michael Katz, Vitaly Mirkis:
In Search of Tractability for Partial Satisfaction Planning. 3154-3160 - Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer, Robert Mattmüller:
State-Dependent Cost Partitionings for Cartesian Abstractions in Classical Planning. 3161-3169 - Sarah Keren, Avigdor Gal, Erez Karpas:
Privacy Preserving Plans in Partially Observable Environments. 3170-3176 - Christian Kroer, Tuomas Sandholm:
Sequential Planning for Steering Immune System Adaptation. 3177-3184 - Levi H. S. Lelis, Santiago Franco, Marvin Abisrror, Mike Barley, Sandra Zilles, Robert C. Holte:
Heuristic Subset Selection in Classical Planning. 3185-3191 - Yunlong Liu, Hexing Zhu, Yifeng Zeng, Zongxiong Dai:
Learning Predictive State Representations via Monte-Carlo Tree Search. 3192-3198 - Damir Lotinac, Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson:
Automatic Generation of High-Level State Features for Generalized Planning. 3199-3205 - Christian J. Muise, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
Planning for a Single Agent in a Multi-Agent Environment Using FOND. 3206-3212 - Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio:
Heuristic Planning for PDDL+ Domains. 3213-3219 - Yash Satsangi, Shimon Whiteson, Frans A. Oliehoek:
PAC Greedy Maximization with Efficient Bounds on Information Gain for Sensor Selection. 3220-3227 - Enrico Scala, Patrik Haslum, Sylvie Thiébaux:
Heuristics for Numeric Planning via Subgoaling. 3228-3234 - Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson:
Hierarchical Finite State Controllers for Generalized Planning. 3235-3241 - Jendrik Seipp, Florian Pommerening, Gabriele Röger, Malte Helmert:
Correlation Complexity of Classical Planning Domains. 3242-3250 - Alexander Shleyfman, Alexander Tuisov, Carmel Domshlak:
Blind Search for Atari-Like Online Planning Revisited. 3251-3257 - Shirin Sohrabi, Anton V. Riabov, Octavian Udrea:
Plan Recognition as Planning Revisited. 3258-3264 - Álvaro Torralba, Daniel Gnad, Patrick Dubbert, Jörg Hoffmann:
On State-Dominance Criteria in Fork-Decoupled Search. 3265-3271 - Álvaro Torralba, Carlos Linares López, Daniel Borrajo:
Abstraction Heuristics for Symbolic Bidirectional Search. 3272-3278 - Christabel Wayllace, Ping Hou, William Yeoh, Tran Cao Son:
Goal Recognition Design with Stochastic Agent Action Outcomes. 3279-3285 - Martin Wehrle, Silvan Sievers, Malte Helmert:
Graph-Based Factorization of Classical Planning Problems. 3286-3292 - Dominik Winterer, Martin Wehrle, Michael Katz:
Structural Symmetries for Fully Observable Nondeterministic Planning. 3293-3299 - Peng Yu, Jiaying Shen, Peter Z. Yeh, Brian Charles Williams:
Resolving Over-Constrained Conditional Temporal Problems Using Semantically Similar Alternatives. 3300-3307 - Chongjie Zhang, Julie A. Shah:
Co-Optimizating Multi-Agent Placement with Task Assignment and Scheduling. 3308-3314 - Qi Zhang, Edmund H. Durfee, Satinder Singh, Anna Chen, Stefan J. Witwicki:
Commitment Semantics for Sequential Decision Making under Reward Uncertainty. 3315-3323 - Congqi Cao, Yifan Zhang, Chunjie Zhang, Hanqing Lu:
Action Recognition with Joints-Pooled 3D Deep Convolutional Descriptors. 3324-3330 - Chen Chen, Mengyuan Liu, Baochang Zhang, Jungong Han, Junjun Jiang, Hong Liu:
3D Action Recognition Using Multi-Temporal Depth Motion Maps and Fisher Vector. 3331-3337 - Lin Chen, Baoxin Li:
Clustering-Based Joint Feature Selection for Semantic Attribute Prediction. 3338-3344 - Yanhua Cheng, Xin Zhao, Rui Cai, Zhiwei Li, Kaiqi Huang, Yong Rui:
Semi-Supervised Multimodal Deep Learning for RGB-D Object Recognition. 3345-3351 - Gary Doran, David R. Thompson, Tara A. Estlin:
Precision Instrument Targeting via Image Registration for the Mars 2020 Rover. 3352-3358 - Mohammed E. Fathy, Azadeh Alavi, Rama Chellappa:
Discriminative Log-Euclidean Feature Learning for Sparse Representation-Based Recognition of Faces from Videos. 3359-3367 - Reza Shoja Ghiass, Ognjen Arandjelovic:
Highly Accurate Gaze Estimation Using a Consumer RGB-D Sensor. 3368-3374 - Jasmin Grosinger, Federico Pecora, Alessandro Saffiotti:
Making Robots Proactive through Equilibrium Maintenance. 3375-3381 - Yuchen Guo, Guiguang Ding, Jungong Han, Xiaoming Jin:
Robust Iterative Quantization for Efficient ℓp-norm Similarity Search. 3382-3388 - Allam S. Hassanein, Mohamed E. Hussein, Walid Gomaa:
Semantic Analysis for Crowded Scenes Based on Non-Parametric Tracklet Clustering. 3389-3395 - Long Lan, Dacheng Tao, Chen Gong, Naiyang Guan, Zhigang Luo:
Online Multi-Object Tracking by Quadratic Pseudo-Boolean Optimization. 3396-3402 - Xiangyuan Lan, Shengping Zhang, Pong C. Yuen:
Robust Joint Discriminative Feature Learning for Visual Tracking. 3403-3410 - Xin Li, Fan Yang, Leiting Chen, Hongbin Cai:
Saliency Transfer: An Example-Based Method for Salient Object Detection. 3411-3417 - Wei Liang, Yibiao Zhao, Yixin Zhu, Song-Chun Zhu:
What Is Where: Inferring Containment Relations from Videos. 3418-3424 - Xiaobai Liu, Yadong Mu, Liang Lin:
A Stochastic Image Grammar for Fine-Grained 3D Scene Reconstruction. 3425-3431 - Yao Lu:
Unsupervised Learning on Neural Network Outputs: With Application in Zero-Shot Learning. 3432-3438 - Zhanglin Peng, Ruimao Zhang, Xiaodan Liang, Xiaobai Liu, Liang Lin:
Geometric Scene Parsing with Hierarchical LSTM. 3439-3445 - Babak Saleh, Ahmed M. Elgammal, Jacob Feldman:
Incorporating Prototype Theory in Convolutional Neural Networks. 3446-3453 - Tianmin Shu, Michael S. Ryoo, Song-Chun Zhu:
Learning Social Affordance for Human-Robot Interaction. 3454-3461 - Jivko Sinapov, Priyanka Khante, Maxwell Svetlik, Peter Stone:
Learning to Order Objects Using Haptic and Proprioceptive Exploratory Behaviors. 3462-3468 - Hang Su, Yinpeng Dong, Jun Zhu, Haibin Ling, Bo Zhang:
Crowd Scene Understanding with Coherent Recurrent Neural Networks. 3469-3476 - Jesse Thomason, Jivko Sinapov, Maxwell Svetlik, Peter Stone, Raymond J. Mooney:
Learning Multi-Modal Grounded Linguistic Semantics by Playing "I Spy". 3477-3483 - Jingwen Wang, Jianlong Fu, Yong Xu, Tao Mei:
Beyond Object Recognition: Visual Sentiment Analysis with Deep Coupled Adjective and Noun Neural Networks. 3484-3490 - Shu Wang, Shaoting Zhang, Wei Liu, Dimitris N. Metaxas:
Visual Tracking with Reliable Memories. 3491-3497 - Xiaoyang Wang, Qiang Ji:
Object Recognition with Hidden Attributes. 3498-3504 - Inbal Wiesel-Kapah, Gal A. Kaminka, Guy Hachmon, Noa Agmon, Ido Bachelet:
Rule-Based Programming of Molecular Robot Swarms for Biomedical Applications. 3505-3512 - Lawson L. S. Wong, Thanard Kurutach, Tomás Lozano-Pérez, Leslie Pack Kaelbling:
Object-Based World Modeling in Semi-Static Environments with Dependent Dirichlet Process Mixtures. 3513-3521 - Xue Yang, Fei Han, Hua Wang, Hao Zhang:
Enforcing Template Representability and Temporal Consistency for Adaptive Sparse Tracking. 3522-3529 - Hang Yin, Patrícia Alves-Oliveira, Francisco S. Melo, Aude Billard, Ana Paiva:
Synthesizing Robotic Handwriting Motion by Learning from Human Demonstrations. 3530-3537 - Dingwen Zhang, Deyu Meng, Long Zhao, Junwei Han:
Bridging Saliency Detection to Weakly Supervised Object Detection Based on Self-Paced Curriculum Learning. 3538-3544 - Yaqing Zhang, Xi Li, Liming Zhao, Zhongfei Zhang:
Semantics-Aware Deep Correspondence Structure Learning for Robust Person Re-Identification. 3545-3551 - Xiaoke Zhu, Xiao-Yuan Jing, Fei Wu, Hui Feng:
Video-Based Person Re-Identification by Simultaneously Learning Intra-Video and Inter-Video Distance Metrics. 3552-3559 - Ankit Anand, Aditya Grover, Mausam, Parag Singla:
Contextual Symmetries in Probabilistic Graphical Models. 3560-3568 - Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls. 3569-3576 - Bryant Chen, Judea Pearl, Elias Bareinboim:
Incorporating Knowledge into Structural Equation Models Using Auxiliary Variables. 3577-3583 - Cong Chen, Changhe Yuan, Chao Chen:
Solving M-Modes Using Heuristic Search. 3584-3590 - Rodrigo de Salvo Braz, Ciaran O'Reilly, Vibhav Gogate, Rina Dechter:
Probabilistic Inference Modulo Theories. 3591-3599 - Daisuke Hatano, Takuro Fukunaga, Ken-ichi Kawarabayashi:
Adaptive Budget Allocation for Maximizing Influence of Advertisements. 3600-3608 - Shamin Kinathil, Scott Sanner, Sanmay Das, Nicolás Della Penna:
A Symbolic Closed-Form Solution to Sequential Market Making with Inventory. 3609-3615 - Steffen Michels, Arjen Hommersom, Peter J. F. Lucas:
Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming. 3616-3622 - Nico Potyka, Erman Acar, Matthias Thimm, Heiner Stuckenschmidt:
Group Decision Making via Probabilistic Belief Merging. 3623-3629 - Min Wen, Ufuk Topcu:
Probably Approximately Correct Learning in Stochastic Games with Temporal Logic Specifications. 3630-3636 - Yi Wu, Lei Li, Stuart Russell, Rastislav Bodík:
Swift: Compiled Inference for Probabilistic Programming Languages. 3637-3645 - Li Zhou, Emma Brunskill:
Latent Contextual Bandits and their Application to Personalized Recommendations for New Users. 3646-3653 - Zheng Zhou, Kan Li, Xiangjian He, Mengmeng Li:
A Generative Model for Recognizing Mixed Group Activities in Still Images. 3654-3661 - Garrett Andersen, Vincent Conitzer:
ATUCAPTS: Automated Tests that a User Cannot Pass Twice Simultaneously. 3662-3669 - Ehsan Mohammady Ardehaly, Aron Culotta:
Domain Adaptation for Learning from Label Proportions Using Self-Training. 3670-3676 - Qing Bao, William K. Cheung, Jiming Liu:
Inferring Motif-Based Diffusion Models for Social Networks. 3677-3683 - Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Odile Papini, Karim Tabia:
Non-Objection Inference for Inconsistency-Tolerant Query Answering. 3684-3690 - Himanshu S. Bhatt, Arun Rajkumar, Shourya Roy:
Multi-Source Iterative Adaptation for Cross-Domain Classification. 3691-3697 - Yi Chang, Jiliang Tang, Dawei Yin, Makoto Yamada, Yan Liu:
Timeline Summarization from Social Media with Life Cycle Models. 3698-3704 - Gong Cheng, Cheng Jin, Yuzhong Qu:
HIEDS: A Generic and Efficient Approach to Hierarchical Dataset Summarization. 3705-3711 - Yo Ehara, Yukino Baba, Masao Utiyama, Eiichiro Sumita:
Assessing Translation Ability through Vocabulary Ability Assessment. 3712-3718 - Ziyu Guan, Long Chen, Wei Zhao, Yi Zheng, Shulong Tan, Deng Cai:
Weakly-Supervised Deep Learning for Customer Review Sentiment Classification. 3719-3725 - Qi Guo, Chinmay Kulkarni, Aniket Kittur, Jeffrey P. Bigham, Emma Brunskill:
Questimator: Generating Knowledge Assessments for Arbitrary Topics. 3726-3732 - Takanori Hayashi, Takuya Akiba, Yuichi Yoshida:
Efficient Algorithms for Spanning Tree Centrality. 3733-3739 - Ruining He, Chunbin Lin, Jianguo Wang, Julian J. McAuley:
Sherlock: Sparse Hierarchical Embeddings for Visually-Aware One-Class Collaborative Filtering. 3740-3746 - Tatsuya Iwanari, Naoki Yoshinaga, Nobuhiro Kaji, Toshiharu Nishina, Masashi Toyoda, Masaru Kitsuregawa:
Ordering Concepts Based on Common Attribute Intensity. 3747-3753 - Chris Kedzie, Fernando Diaz, Kathleen R. McKeown:
Real-Time Web Scale Event Summarization Using Sequential Decision Making. 3754-3760 - Takuya Konishi, Tomoharu Iwata, Kohei Hayashi, Ken-ichi Kawarabayashi:
Identifying Key Observers to Find Popular Information in Advance. 3761-3767 - Sheng Li, Nikos Vlassis, Jaya Kawale, Yun Fu:
Matching via Dimensionality Reduction for Estimation of Treatment Effects in Digital Marketing Campaigns. 3768-3774 - Huijie Lin, Jia Jia, Liqiang Nie, Guangyao Shen, Tat-Seng Chua:
What Does Social Media Say about Your Stress?. 3775-3781 - Yang Liu, Yiling Chen:
Learning to Incentivize: Eliciting Effort via Output Agreement. 3782-3788 - Yuli Liu, Yiqun Liu, Min Zhang, Shaoping Ma:
Pay Me and I'll Follow You: Detection of Crowdturfing Following Activities in Microblog Environment. 3789-3796 - Chun-Ta Lu, Sihong Xie, Weixiang Shao, Lifang He, Philip S. Yu:
Item Recommendation for Emerging Online Businesses. 3797-3803 - Zhongqi Lu, Sinno Jialin Pan, Yong Li, Jie Jiang, Qiang Yang:
Collaborative Evolution for User Profiling in Recommender Systems. 3804-3810 - Ping Luo, Ganbin Zhou, Jiaxi Tang, Rui Chen, Zhongjie Yu, Qing He:
Browsing Regularities in Hedonic Content Systems. 3811-3817 - Jing Ma, Wei Gao, Prasenjit Mitra, Sejeong Kwon, Bernard J. Jansen, Kam-Fai Wong, Meeyoung Cha:
Detecting Rumors from Microblogs with Recurrent Neural Networks. 3818-3824 - Shengying Pan, Kate Larson, Josh Bradshaw, Edith Law:
Dynamic Task Allocation Algorithm for Hiring Workers that Learn. 3825-3831 - Yingwei Pan, Yehao Li, Ting Yao, Tao Mei, Houqiang Li, Yong Rui:
Learning Deep Intrinsic Video Representation by Exploring Temporal Coherence and Graph Structure. 3832-3838 - Alexandra Papoutsaki, Patsorn Sangkloy, James Laskey, Nediyana Daskalova, Jeff Huang, James Hays:
WebGazer: Scalable Webcam Eye Tracking Using User Interactions. 3839-3845 - Yuxin Peng, Xin Huang, Jinwei Qi:
Cross-Media Shared Representation by Hierarchical Learning with Multiple Deep Networks. 3846-3853 - Suvash Sedhain, Hung Bui, Jaya Kawale, Nikos Vlassis, Branislav Kveton, Aditya Krishna Menon, Trung Bui, Scott Sanner:
Practical Linear Models for Large-Scale One-Class Collaborative Filtering. 3854-3860 - Avi Segal, Ya'akov (Kobi) Gal, Ece Kamar, Eric Horvitz, Alex Bowyer, Grant Miller:
Intervention Strategies for Increasing Engagement in Crowdsourcing: Platform, Predictions, and Experiments. 3861-3867 - Chaofeng Sha, Xiaowei Wu, Junyu Niu:
A Framework for Recommending Relevant and Diverse Items. 3868-3874 - Yuan Su, Xi Zhang, Philip S. Yu, Wen Hua, Xiaofang Zhou, Binxing Fang:
Understanding Information Diffusion under Interactions. 3875-3881 - Ryusuke Takahama, Toshihiro Kamishima, Hisashi Kashima:
Progressive Comparison for Ranking Estimation. 3882-3888 - Cunchao Tu, Weicheng Zhang, Zhiyuan Liu, Maosong Sun:
Max-Margin DeepWalk: Discriminative Learning of Network Representation. 3889-3895 - Jacopo Urbani, Sourav Dutta, Sairam Gurajada, Gerhard Weikum:
KOGNAC: Efficient Encoding of Large Knowledge Graphs. 3896-3902 - Jingjing Wang, Changsung Kang, Yi Chang, Jiawei Han:
Learning Hostname Preference to Enhance Search Relevance. 3903-3909 - Keqiang Wang, Wayne Xin Zhao, Hongwei Peng, Xiaoling Wang:
Bayesian Probabilistic Multi-Topic Matrix Factorization for Rating Prediction. 3910-3916 - Zheng Wang, Chaokun Wang, Jisheng Pei, Xiaojun Ye, Philip S. Yu:
Causality Based Propagation History Ranking in Social Networks. 3917-3923 - Bo Xu, Chenhao Xie, Yi Zhang, Yanghua Xiao, Haixun Wang, Wei Wang:
Learning Defining Features for Categories. 3924-3930 - Ting Yao, Fuchen Long, Tao Mei, Yong Rui:
Deep Semantic-Preserving and Ranking-Based Hashing for Image Retrieval. 3931-3937 - Hongyi Zhang, Tong Zhao, Irwin King, Michael R. Lyu:
Modeling the Homophily Effect between Links and Communities for Overlapping Community Detection. 3938-3944 - Lili Zhao, Zhongqi Lu, Sinno Jialin Pan, Qiang Yang:
Matrix Factorization+ for Movie Recommendation. 3945-3951 - Haoti Zhong, Hao Li, Anna Cinzia Squicciarini, Sarah Michele Rajtmajer, Christopher Griffin, David J. Miller, Cornelia Caragea:
Content-Driven Detection of Cyberbullying on the Instagram Social Network. 3952-3958 - Lei Zhu, Jialie Shen, Xiaobai Liu, Liang Xie, Liqiang Nie:
Learning Compact Visual Representation with Canonical Views for Robust Mobile Landmark Search. 3959-3967 - Zohreh Alavi:
Rational-Based Visual Planning Monitors. 3968-3969 - Martin Aleksandrov:
Online Fair Division Redux. 3970-3971 - Ankit Anand:
Lifting Techniques for Sequential Decision Making and Probabilistic Inference (Extended Abstract). 3972-3973 - Evgenii Balai:
Combining Logic and Probability: P-log Perspective. 3974-3975 - Alberto Camacho:
Planning under Uncertainty and Temporally Extended Goals. 3976-3977 - Liron Cohen, Sven Koenig:
Bounded Suboptimal Multi-Agent Path Finding Using Highways. 3978-3979 - Andrew Cropper:
Logic-Based Inductive Synthesis of Efficient Programs. 3980-3981 - Felipe Leno da Silva, Anna Helena Reali Costa:
Transfer Learning for Multiagent Reinforcement Learning Systems. 3982-3983 - Steven Damer:
An Approach to Cooperation in General-Sum Normal Form Games. 3984-3985 - Dustin Dannenhauer:
Self Monitoring, Goal Driven Autonomy Agents. 3986-3987 - Claudia Pérez-D'Arpino, Julie A. Shah:
Fast Motion Prediction for Collaborative Robotics. 3988-3989 - Negar Ghourchian:
Location-Based Activity Recognition with Hierarchical Dirichlet Process. 3990-3991 - Julio Godoy:
Action Selection Methods for Multi-Agent Navigation in Crowded Environments. 3992-3993 - Jasmin Grosinger:
Proactivity in Robots. 3994-3995 - Ping Hou:
Probabilistic Planning with Risk-Sensitive Criterion. 3996-3997 - Aaron Isaksen:
Computer-Aided Game Design: Doctoral Consortium Research Abstract. 3998-3999 - Bilal Kartal:
Stochastic Planning in Large Search Spaces. 4000-4001 - Chris Kedzie, Kathleen R. McKeown:
Extractive and Abstractive Event Summarization over Streaming Web Text. 4002-4003 - Elias B. Khalil:
Machine Learning for Integer Programming. 4004-4005 - Faiza Khan Khattak:
Toward a Robust and Universal Crowd-Labeling Framework. 4006-4007 - Caner Komurlu:
Active Inference for Dynamic Bayesian Networks. 4008-4009 - Sheng Li:
Learning Robust Representations for Data Analytics. 4010-4011 - Valentin Mayer-Eichberger:
Modelling Satisfiability Problems: Theory and Practice. 4012-4013 - Ciaran McCreesh:
Solving Hard Subgraph Problems in Parallel. 4014-4015 - Gulnar Mehdi, Sebastian Brandt, Mikhail Roshchin, Thomas A. Runkler:
Semantic Framework for Industrial Analytics and Diagnostics. 4016-4017 - Fei Mi, Boi Faltings:
Adaptive Sequential Recommendation Using Context Trees. 4018-4019 - Decebal Constantin Mocanu:
On the Synergy of Network Science and Artificial Intelligence. 4020-4021 - Banafsheh Rekabdar:
Are Spiking Neural Networks Useful for Classifying and Early Recognition of Spatio-Temporal Patterns?. 4022-4023 - Zeynep G. Saribatur:
Reactive Policy Checking for Action Languages. 4024-4025 - Arpit Sharma:
Towards Understanding Natural Language: Semantic Parsing, Commonsense Knowledge Acquisition and Applications. 4026-4027 - Sam Snodgrass:
General Statistical Approaches to Procedural Map Generation. 4028-4029 - Xingyu Su:
Time Decomposition for Diagnosis of Discrete Event Systems (Extended Abstract). 4030-4031 - Antonela Tommasel:
Integrating Social Network Structure into Online Feature Selection. 4032-4033 - Diana Troanca:
Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis. 4034-4035 - Josep Valls-Vargas:
Automated Narrative Information Extraction Using Non-Linear Pipelines. 4036-4037 - Przemyslaw Andrzej Walega:
Reasoning about Space and Change with Answer Set Programming Modulo Theories. 4038-4039 - John Winder:
A Framework for Anomaly Reasoning: Interpretation through Concept Formation for Knowledge Transfer and Lifelong Learning. 4040-4041 - David R. Winer:
BiPOCL: A Discourse-Driven Story Planner for Procedural Narrative Generation (Extended Abstract). 4042-4043 - Daqing Yi:
Quantitative Path-Planning from Qualitative Language Instructions. 4044-4045 - Dingwen Zhang:
Towards Intelligent Visual Understanding under Minimal Supervision. 4046-4049 - Shivani Agarwal:
On Ranking and Choice Models. 4050-4053 - Haris Aziz:
Computational Social Choice: Some Current and New Directions. 4054-4057 - Meghyn Bienvenu:
Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data. 4058-4061 - Edith Elkind, Martin Lackner, Dominik Peters:
Preference Restrictions in Computational Social Choice: Recent Progress. 4062-4065 - Matti Järvisalo:
Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications. 4066-4069 - Ece Kamar:
Directions in Hybrid Intelligence: Complementing AI Systems with Human Intelligence. 4070-4073 - Mausam:
Open Information Extraction Systems and Downstream Applications. 4074-4077 - Steven Schockaert, Shoaib Jameel:
Plausible Reasoning Based on Qualitative Entity Embeddings. 4078-4081 - Dafna Shahaf:
A Hard Look at Soft Concepts. 4082-4085 - Guy Van den Broeck:
First-Order Model Counting in a Nutshell. 4086-4089 - Pradeep Varakantham:
Sequential Decision Making for Improving Efficiency in Urban Environments. 4090-4093 - Yevgeniy Vorobeychik:
Adversarial AI. 4094-4099 - Mario Alviano, Wolfgang Faber, Martin Gebser:
From Non-Convex Aggregates to Monotone Aggregates in ASP. 4100-4194 - Mario Alviano, Nicola Leone:
On the Properties of GZ-Aggregates in Answer Set Programming. 4105-4109 - Angelos Angelidakis, Georgios Chalkiadakis:
Optimal Prosumer Decision-Making Using Factored MDPs. 4110-4114 - Vaishak Belle, Guy Van den Broeck, Andrea Passerini:
Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report. 4115-4119 - Alina Beygelzimer, Satyen Kale, Haipeng Luo:
Optimal and Adaptive Algorithms for Online Boosting. 4120-4124 - Nigel Bosch, Sidney K. D'Mello, Ryan S. Baker, Jaclyn Ocumpaugh, Valerie Shute, Matthew Ventura, Lubin Wang, Weinan Zhao:
Detecting Student Emotions in Computer-Enabled Classrooms. 4125-4129 - Abdeslam Boularias, Felix Duvallet, Jean Oh, Anthony Stentz:
Learning Qualitative Spatial Relations for Robotic Navigation. 4130-4134 - Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini:
On Broken Triangles. 4135-4139 - Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky:
Sequencing Operator Counts. 4140-4144 - Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke:
Tabling as a Library with Delimited Control. 4145-4149 - Vijay D'Silva, Caterina Urban:
Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer. 4150-4154 - Guillem Francès, Hector Geffner:
Effective Planning with More Expressive Languages. 4155-4159 - Peter Gregory, Stephen Cresswell:
Domain Model Acquisition in the Presence of Static Relations in the LOP System. 4160-4164 - Chinmay Hegde, Piotr Indyk, Ludwig Schmidt:
A Nearly-Linear Time Framework for Graph-Structured Sparsity. 4165-4169 - Joshua Hernandez, Konstantine Tsotsos, Stefano Soatto:
Observability, Identifiability and Sensitivity of Vision-Aided Inertial Navigation. 4170-4174 - John N. Hooker:
Projection, Inference, and Consistency. 4175-4179 - Nan Jiang, Alex Kulesza, Satinder Singh, Richard L. Lewis:
The Dependence of Effective Planning Horizon on Model Accuracy. 4180-4189 - Philip Kilby, Tommaso Urli:
Fleet Design Optimisation from Historical Data Using Constraint Programming and Large Neighbourhood Search. 4185-4189 - Peter Kontschieder, Madalina Fiterau, Antonio Criminisi, Samuel Rota Bulò:
Deep Neural Decision Forests. 4190-4194 - Bo Liu, Ji Liu, Mohammad Ghavamzadeh, Sridhar Mahadevan, Marek Petrik:
Proximal Gradient Temporal Difference Learning Algorithms. 4195-4199 - Morten Mossige, Arnaud Gotlieb, Hein Meling:
Generating Tests for Robotized Painting Using Constraint Programming. 4200-4204 - Andrew Reynolds, Jasmin Christian Blanchette:
A Decision Procedure for (Co)datatypes in SMT Solvers. 4205-4209 - Tim Roughgarden, Inbal Talgam-Cohen:
Why Prices Need Algorithms. 4210-4212 - Wen Sun, J. Andrew Bagnell:
Online Bellman Residual and Temporal Difference Algorithms with Predictive Error Guarantees. 4213-4217 - Elaine Wah, Mason Wright, Michael P. Wellman:
Welfare Effects of Market Making in Continuous Double Auctions: Extended Abstract. 4218-4222 - Yi Yang, Shimei Pan, Yangqiu Song, Jie Lu, Mercan Topkara:
Improving Topic Model Stability for Effective Document Exploration. 4223-4227 - Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki:
MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. 4228-4233 - C. Anantaram, Sunil Kumar Kopparapu, Chiragkumar Patel, Aditya Mittal:
Repairing General-Purpose ASR Output to Improve Accuracy of Spoken Sentences in Specific Domains Using Artificial Development Approach. 4234-4235 - Roman Barták, Michal Koutný, David Obdrzálek:
Practical 3D Tracking Using Low-Cost Cameras. 4236-4237 - Noam Brown, Tuomas Sandholm:
Baby Tartanian8: Winning Agent from the 2016 Annual Computer Poker Competition. 4238-4239 - Wanyun Cui, Yanghua Xiao, Wei Wang:
KBQA: An Online Template Based Question Answering System over Freebase. 4240-4241 - Mauro Dragoni, Célia da Costa Pereira, Andrea G. B. Tettamanzi, Serena Villata:
SMACk: An Argumentation Framework for Opinion Mining. 4242-4243 - Michael Freed, Brian Burns, Aaron Heller, Daniel Sánchez, Sharon Beaumont-Bowman:
A Virtual Assistant to Help Dysphagia Patients Eat Safely at Home. 4244-4245 - Matthew Johnson, Katja Hofmann, Tim Hutton, David Bignell:
The Malmo Platform for Artificial Intelligence Experimentation. 4246-4247 - James R. Kirk, Aaron Mininger, John E. Laird:
A Demonstration of Interactive Task Learning. 4248-4249 - Sanmukh R. Kuppannagari, Rajgopal Kannan, Charalampos Chelmis, Viktor K. Prasanna:
Implementation of Learning-Based Dynamic Demand Response on a Campus Micro-Grid. 4250-4251 - Domenico Lembo, Daniele Pantaleone, Valerio Santarelli, Domenico Fabio Savo:
Eddy: A Graphical Editor for OWL 2 Ontologies. 4252-4253 - Chao-Chun Liang, Kuang-Yi Hsu, Chien-Tsung Huang, Chung-Min Li, Shen-Yu Miao, Keh-Yih Su:
A Tag-Based Statistical English Math Word Problem Solver with Understanding, Reasoning and Explanation. 4254-4255 - Yu Lu, Gim Guan Chua, Huayu Wu, Clement Shi Qi Ong:
An Intelligent System for Taxi Service Monitoring, Analytics and Visualization. 4256-4257 - Andrea Marrella, Massimo Mecella, Sebastian Sardiña:
An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning. 4258-4259 - J. Pablo Munoz, Bing Li, Xuejian Rong, Jizhong Xiao, Yingli Tian, Aries Arditi:
Demo: Assisting Visually Impaired People Navigate Indoors. 4260-4261 - Jacobo Rouces, Gerard de Melo, Katja Hose:
Klint: Assisting Integration of Heterogeneous Knowledge. 4262-4263 - Muhammad Rizwan Saeed, Charalampos Chelmis, Viktor K. Prasanna:
Thou Shalt ASQFor and Shalt Receive the Semantic Answer. 4264-4265 - François Schwarzentruber:
A Tool for Generating Interactive Euler Diagrams. 4266-4267 - Shirin Sohrabi, Octavian Udrea, Anton V. Riabov, Oktie Hassanzadeh:
Interactive Planning-Based Hypothesis Generation with LTS++. 4268-4269 - Srikanth Tamilselvam, Biplav Srivastava, Vishalaksh Aggarwal:
Data-Based Promotion of Tourist Events with Minimal Operational Impact. 4270-4271 - Feiyi Tang, Jia Zhu, Yang Cao, Sanli Ma, Yulong Chen, Jing He, Changqin Huang, Gansen Zhao, Yong Tang:
PARecommender: A Pattern-Based System for Route Recommendation. 4272-4273 - Donghan Wang, Madalina Fiterau, Artur Dubrawski:
VIPR: An Interactive Tool for Meaningful Visualization of High-Dimensional Data. 4274-4275 - Shiqi Zhang, Dongcai Lu, Xiaoping Chen, Peter Stone:
Robot Scavenger Hunt: A Standardized Framework for Evaluating Intelligent Mobile Robots. 4276-4277
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-13 21:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
