Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar23. IJCAI 2013: Beijing, China
Francesca Rossi:
IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. IJCAI/AAAI 2013, ISBN 978-1-57735-633-2- Preface. xxvii
- 2013 Conference Organization. xxviii
- Program Committee. xxix-xxxvii
- Organizers and Sponsors. xxxviii
- Awards and Distinguished Papers. xxxix
- IJCAI Organization. xl
- Past IJCAI Conferences. xli
Agent-Based and Multiagent Systems
- Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha:
Audit Games. 41-47 - Branislav Bosanský, Viliam Lisý, Jiri Cermak, Roman Vitek, Michal Pechoucek:
Using Double-Oracle Method and Serialized Alpha-Beta Search for Pruning in Simultaneous Move Games. 48-54 - Robert Bredereck, Jiehua Chen, Gerhard J. Woeginger:
Are There Any Nicely Structured Preference Profiles Nearby? 62-68 - Siqi Chen, Haitham Bou-Ammar, Karl Tuyls, Gerhard Weiss:
Conditional Restricted Boltzmann Machines for Negotiations in Highly Competitive and Complex Domains. 69-75 - Denis Cornaz, Lucie Galand, Olivier Spanjaard:
Kemeny Elections with Bounded Single-Peaked or Single-Crossing Width. 76-82 - Mathijs Michiel de Weerdt, Enrico H. Gerding, Sebastian Stein, Valentin Robu, Nicholas R. Jennings:
Intention-Aware Routing to Minimise Delays at Electric Vehicle Charging Stations. 83-89 - Jilles Steeve Dibangoye, Christopher Amato, Olivier Buffet, François Charpillet:
Optimally Solving Dec-POMDPs as Continuous-State MDPs. 90-96 - Joanna Drummond, Craig Boutilier:
Elicitation and Approximately Stable Matching with Partial Preferences. 97-105 - Alessandro Farinelli, Manuele Bicego, Sarvapali D. Ramchurn, Mauro Zucchelli:
C-Link: A Hierarchical Clustering Approach to Large-scale Near-optimal Coalition Formation. 106-112 - Zack Fitzsimmons, Edith Hemaspaandra, Lane A. Hemaspaandra:
Control in the Presence of Manipulators: Cooperative and Competitive Cases. 113-119 - Sam Ganzfried, Tuomas Sandholm:
Action Translation in Extensive-Form Games with Large Action Spaces: Axioms, Paradoxes, and the Pseudo-Harmonic Mapping. 120-128 - Arpita Ghosh, Satyen Kale, Kevin J. Lang, Benjamin Moseley:
Bargaining for Revenue Shares on Tree Trading Networks. 129-135 - Laurent Gourvès, Jérôme Monnot, Lydia Tlilane:
A Matroid Approach to the Worst Case Allocation of Indivisible Goods. 136-142 - William Groves, Maria L. Gini:
Optimal Airline Ticket Purchasing Using Automated User-Guided Feature Selection. 150-156 - Christos Hadjinikolis, Yiannis Siantos, Sanjay Modgil, Elizabeth Black, Peter McBurney:
Opponent Modelling in Persuasion Dialogues. 164-170 - The Anh Han, Luís Moniz Pereira, Francisco C. Santos, Tom Lenaerts:
Why Is It So Hard to Say Sorry? Evolution of Apology with Commitments in the iterated Prisoner's Dilemma. 177-183 - Jianye Hao, Ho-fung Leung:
The Dynamics of Reinforcement Social Learning in Cooperative Multiagent Systems. 184-190 - Di He, Wei Chen, Liwei Wang, Tie-Yan Liu:
A Game-Theoretic Machine Learning Approach for Revenue Maximization in Sponsored Search. 206-212 - Athirai Aravazhi Irissappane, Siwei Jiang, Jie Zhang:
A Framework to Choose Trust Models for Different E-Marketplace Environments. 213-219 - Albert Xin Jiang, Ariel D. Procaccia, Yundi Qian, Nisarg Shah, Milind Tambe:
Defender (Mis)coordination in Security Games. 220-226 - Thomas Kalinowski, Nina Narodytska, Toby Walsh:
A Social Welfare Optimal Sequential Allocation Procedure. 227-233 - Rodrigue Talla Kuate, Minghua He, Maria Chli, Hai H. Wang:
An Intelligent Broker Agent for Energy Trading: An MDP Approach. 234-240 - Yoad Lewenberg, Omer Lev, Yoram Bachrach, Jeffrey S. Rosenschein:
Agent Failures in All-Pay Auctions. 241-247 - Wenjun Ma, Xudong Luo, Weiru Liu:
An Ambiguity Aversion Framework of Security Games under Ambiguities. 271-278 - Leandro Soriano Marcolino, Albert Xin Jiang, Milind Tambe:
Multi-Agent Team Formation: Diversity Beats Strength? 279-285 - Tomasz P. Michalak, Talal Rahwan, Piotr L. Szczepanski, Oskar Skibski, Ramasuri Narayanam, Nicholas R. Jennings, Michael J. Wooldridge:
Computational Analysis of Connectivity Games with Applications to the Investigation of Terrorist Networks. 293-301 - Joel Oren, Yuval Filmus, Craig Boutilier:
Efficient Vote Elicitation under Candidate Uncertainty. 309-316 - Talal Rahwan, Tri-Dung Nguyen, Tomasz P. Michalak, Maria Polukarov, Madalina Croitoru, Nicholas R. Jennings:
Coalitional Games via Network Flows. 324-331 - Tjitze Rienstra, Matthias Thimm, Nir Oren:
Opponent Models with Uncertainty for Strategic Argumentation. 332-338 - Valentin Robu, David C. Parkes, Takayuki Ito, Nicholas R. Jennings:
Efficient Interdependent Value Combinatorial Auctions with Single Minded Bidders. 339-345 - Eric Anyung Shieh, Manish Jain, Albert Xin Jiang, Milind Tambe:
Efficiently Solving Joint Activity Based Security Games. 346-352 - Piotr Krzysztof Skowron, Piotr Faliszewski, Arkadii M. Slinko:
Fully Proportional Representation as Resource Allocation: Approximability Results. 353-359 - Long Tran-Thanh, Tri-Dung Nguyen, Talal Rahwan, Alex Rogers, Nicholas R. Jennings:
An Efficient Vector-Based Representation for Coalitional Games. 383-389 - Xin Sui, Alex Francois-Nienaber, Craig Boutilier:
Multi-Dimensional Single-Peaked Consistency and Its Approximations. 375-382 - Xin Sui, Craig Boutilier, Tuomas Sandholm:
Analysis and Optimization of Multi-Dimensional Percentile Mechanisms. 367-374 - Feng Wu, Shlomo Zilberstein, Nicholas R. Jennings:
Monte-Carlo Expectation Maximization for Decentralized POMDPs. 397-403 - Rong Yang, Albert Xin Jiang, Milind Tambe, Fernando Ordóñez:
Scaling-up Security Games with Boundedly Rational Adversaries: A Cutting-plane Approach. 404-410 - William Yeoh, Akshat Kumar, Shlomo Zilberstein:
Automated Generation of Interaction Graphs for Value-Factored Dec-POMDPs. 411-417 - Han Yu, Chunyan Miao, Bo An, Cyril Leung, Victor R. Lesser:
A Reputation Management Approach for Resource Constrained Trustee Agents. 418-424 - Lan Yu, Hau Chan, Edith Elkind:
Multiwinner Elections Under Preferences That Are Single-Peaked on a Tree. 425-431
Constraints, Satisfiability, and Search
- Samson Abramsky, Georg Gottlob, Phokion G. Kolaitis:
Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics. 440-446 - Gilles Audemard, Jean-Marie Lagniez, Laurent Simon:
Just-In-Time Compilation of Knowledge Bases. 447-453 - Caroline Becker, Hélène Fargier:
Maintaining Alternative Values in Constraint-Based Configuration. 454-460 - Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Constraint Acquisition via Partial Queries. 475-481 - Christian Bessiere, Clément Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh:
Detecting and Exploiting Subproblem Tractability. 468-474 - Edouard Bonnet, Florian Jamain, Abdallah Saffidine:
On the Complexity of Trick-Taking Card Games. 482-488 - Shaowei Cai, Kaile Su:
Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses. 489-495 - Yilin Cai, Zizhen Zhang, Songshan Guo, Hu Qin, Andrew Lim:
A Tree-Based Tabu Search Algorithm for the Manpower Allocation Problem with TimeWindows and Job-Teaming Constraints. 496-502 - Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh:
On the Complexity of Global Scheduling Constraints under Structural Restrictions. 503-509 - Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey:
Breaking Symmetries in Graph Representation. 510-516 - David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivny:
Variable Elimination in Binary CSP via Forbidden Patterns. 517-523 - Thach-Thao Nguyen Duong, Duc Nghia Pham, Abdul Sattar, M. A. Hakim Newton:
Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability. 524-530 - Mnacho Echenim, Nicolas Peltier, Sophie Tourret:
An Approach to Abductive Reasoning in Equational Logic. 531-537 - Lucie Galand, Julien Lesca, Patrice Perny:
Dominance Rules for the Choquet Integral in Multiobjective Dynamic Programming. 538-544 - Gianluigi Greco, Francesco Scarcello:
Constraint Satisfaction and Fair Multi-Objective Optimization Problems: Foundations, Complexity, and Islands of Tractability. 545-551 - Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure:
Preserving Partial Solutions While Relaxing Constraint Networks. 552-558 - Daisuke Hatano, Katsutoshi Hirayama:
DeQED: An Efficient Divide-and-Coordinate Algorithm for DCOP. 566-572 - Christopher Jefferson, Peter Nightingale:
Extending Simple Tabular Reduction with Short Supports. 573-579 - Marc Lanctot, Abdallah Saffidine, Joel Veness, Christopher Archibald, Mark H. M. Winands:
Monte Carlo *-Minimax Search. 580-586 - Levi H. S. Lelis, Lars Otten, Rina Dechter:
Predicting the Size of Depth-First Branch and Bound Search Trees. 594-600 - Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann:
Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering. 608-614 - João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov:
On Computing Minimal Correction Subsets. 615-622 - Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh:
Three Generalizations of the FOCUS Constraint. 630-636 - D. Chris Rayner, Nathan R. Sturtevant, Michael Bowling:
Subset Selection of Search Heuristics. 637-643 - Ethan L. Schreiber, Richard E. Korf:
Improved Bin Completion for Optimal Bin Packing and Number Partitioning. 651-658 - Thorsten Schütt, Robert Döbbelin, Alexander Reinefeld:
Forward Perimeter Search with Controlled Use of Memory. 659-665 - Nathan R. Sturtevant, Matthew J. Rutherford:
Minimizing Writes in Parallel External Memory Search. 666-673 - David Tolpin, Tal Beja, Solomon Eyal Shimony, Ariel Felner, Erez Karpas:
Toward Rational Deployment of Multiple Heuristics in A. 674-680 - Debing Zhang, Genmao Yang, Yao Hu, Zhongming Jin, Deng Cai, Xiaofei He:
A Unified Approximate Nearest Neighbor Search Scheme by Combining Data Structure and Hashing. 681-688
Knowledge Representation, Reasoning and Logic
- Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael Wooldridge:
Verifiable Equilibria in Boolean Games. 689-695 - Nouhad Amaneddine, Jean-François Condotta, Michael Sioutis:
Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints. 696-702 - Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
Exchanging OWL 2 QL Knowledge Bases. 703-710 - Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logic for Ontology-Based Data Access. 711-717 - Michael Bartholomew, Joohyung Lee:
Functional Stable Model Semantics and Answer Set Programming Modulo Theories. 718-724 - Francesco Belardinelli, Alessio Lomuscio:
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems. 725-731 - Vaishak Belle, Hector J. Levesque:
Reasoning about Continuous Uncertainty in the Situation Calculus. 732-738 - Salem Benferhat, Célia da Costa Pereira, Andrea G. B. Tettamanzi:
Syntactic Computation of Hybrid Possibilistic Conditioning under Uncertain Inputs. 739-745 - Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
First-Order Rewritability of Atomic Queries in Horn Description Logics. 754-760 - Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus:
Conjunctive Regular Path Queries in Lightweight Description Logics. 761-767 - Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao:
Tractable Queries for Lightweight Description Logics. 768-774 - Meghyn Bienvenu, Riccardo Rosati:
Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access. 775-781 - Pierre Bourhis, Michael Morak, Andreas Pieris:
The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules. 796-802 - Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran:
Abstract Dialectical Frameworks Revisited. 803-809 - Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov:
Verification of Inconsistency-Aware Knowledge and Action Bases. 810-816 - Nadia Creignou, Reinhard Pichler, Stefan Woltran:
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? 824-831 - Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks:
Computing Datalog Rewritings Beyond Horn Ontologies. 832-838 - Denver Dash, Mark Voortman, Martijn de Jongh:
Sequences of Mechanisms for Causal Reasoning in Artificial Intelligence. 839-845 - Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded Epistemic Situation Calculus Theories. 846-853 - Giuseppe De Giacomo, Moshe Y. Vardi:
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. 854-860 - James P. Delgrande, Hector J. Levesque:
A Formal Account of Nondeterministic and Failed Actions. 861-868 - Hélène Fargier, Pierre Marquis, Alexandre Niveau:
Towards a Knowledge Compilation Map for Heterogeneous Representation Languages. 877-883 - Hélène Fargier, Pierre Marquis, Nicolas Schmidt:
Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues. 884-890 - Luis Fariñas del Cerro, David Pearce, Agustín Valverde:
FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. 891-897 - Bettina Fazzinga, Sergio Flesca, Francesco Parisi:
On the Complexity of Probabilistic Abstract Argumentation. 898-904 - Martin Gebser, Benjamin Kaufmann, Torsten Schaub:
Advanced Conflict-Driven Disjunctive Answer Set Solving. 912-918 - Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols. 926-931 - Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas:
Knowledge Compilation for Model Counting: Affine Decision Trees. 947-953 - Martin Kronegger, Andreas Pfandler, Reinhard Pichler:
Parameterized Complexity of Optimal Planning: A Detailed Map. 954-961 - Agnieszka Kulacka, Dirk Pattinson, Lutz Schröder:
Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC. 962-968 - Gerhard Lakemeyer, Hector J. Levesque:
Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals. 969-975 - Jae Hee Lee, Jochen Renz, Diedrich Wolter:
StarVars - Effective Reasoning about Relative Directions. 976-982 - Joohyung Lee, Yunsong Meng:
Answer Set Programming Modulo Theories and Reasoning about Continuous Changes. 990-996 - Naiqi Li, Yi Fan, Yongmei Liu:
Reasoning about State Constraints in the Situation Calculus. 997-1003 - John Licato, Naveen Sundar Govindarajulu, Selmer Bringsjord, Michael Pomeranz, Logan Gittelson:
Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox. 1004-1009 - Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo Ignacio Simari:
Preference-Based Query Answering in Datalog+/- Ontologies. 1017-1023 - Carsten Lutz, Inanç Seylan, Frank Wolter:
Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes). 1024-1030 - Despoina Magka, Markus Krötzsch, Ian Horrocks:
Computing Stable Models for Nonmonotonic Existential Rules. 1031-1038 - Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa:
The Route to Success - A Performance Comparison of Diagnosis Algorithms. 1039-1045 - Ingo Pill, Thomas Quaritsch:
Behavioral Diagnosis of LTL Specifications at Operator Level. 1053-1059 - David Poole, Mark Crowley:
Cyclic Causal Models with Discrete Variables: Markov Chain Equilibrium Semantics and Sample Ordering. 1060-1068 - Hajar Sadeghi Sokeh, Stephen Gould, Jochen Renz:
Efficient Extraction and Representation of Spatial Information from Video Data. 1076-1082 - Shahab Tasharrofi:
A Rational Extension of Stable Model Semantics to the Full Propositional Language. 1118-1124 - Stavros Vassos, Fabio Patrizi:
A Classification of First-Order Progressable Action Theories in Situation Calculus. 1132-1138 - Yanjing Wang, Guillaume Aucher:
An Alternative Axiomatization of DEL and Its Applications. 1139-1146 - Yanjing Wang, Jie Fan:
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators. 1147-1154 - Matthias Westphal, Julien Hué, Stefan Wölfl, Bernhard Nebel:
Transition Constraints: A Study on the Computational Complexity of Qualitative Change. 1169-1175 - Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardiña:
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. 1176-1182 - Quan Yu, Ximing Wen, Yongmei Liu:
Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions. 1183-1190 - Benjamin Zarrieß, Anni-Yasmin Turhan:
Most Specific Generalizations w.r.t. General EL-TBoxes. 1191-1197 - Heng Zhang, Yan Zhang:
First-Order Expressibility and Boundedness of Disjunctive Logic Programs. 1198-1204 - Zhi Qiang Zhuang, Maurice Pagnucco, Yan Zhang:
Definability of Horn Revision from Horn Contraction. 1205-1212
Machine Learning
- Ehsan Abbasnejad, Scott Sanner, Edwin V. Bonilla, Pascal Poupart:
Learning Community-Based Preferences via Dirichlet Process Mixtures of Gaussian Processes. 1213-1219 - Alessandro Antonucci, Giorgio Corani, Denis Deratani Mauá, Sandra Gabaglio:
An Ensemble of Bayesian Networks for Multilabel Classification. 1220-1225 - Johannes Bauer, Stefan Wermter:
Self-Organized Neural Learning of Statistical Inference from High-Dimensional Data. 1226-1232 - Radim Belohlávek, Martin Trnecka:
Basic Level in Formal Concept Analysis: Interesting Concepts and Psychological Ramifications. 1233-1239 - Xiao Cai, Feiping Nie, Heng Huang:
Exact Top-k Feature Selection via l2, 0-Norm Constraint. 1240-1246 - Xinyuan Cai, Chunheng Wang, Baihua Xiao, Xue Chen, Ji Zhou:
Regularized Latent Least Square Regression for Cross Pose Face Recognition. 1247-1253 - Xiaochun Cao, Xingxing Wei, Yahong Han, Yi Yang, Dongdai Lin:
Robust Tensor Clustering with Non-Greedy Maximization. 1254-1259 - Lifei Chen, Shengrui Wang:
Central Clustering of Categorical Data with Automated Feature Weighting. 1260-1266 - Mo Chen, Wei Li, Xiaogang Wang, Wei Zhang:
Dimensionality Reduction with Generalized Linear Models. 1267-1272 - Jaedeug Choi, Kee-Eung Kim:
Bayesian Nonparametric Feature Construction for Inverse Reinforcement Learning. 1287-1293 - Giovanni Da San Martino, Nicolò Navarin, Alessandro Sperduti:
A Lossy Counting Based Approach for Learning on Streams of Graphs on a Budget. 1294-1301 - Eyal Dechter, Jonathan Malmaud, Ryan P. Adams, Joshua B. Tenenbaum:
Bootstrap Learning via Modular Concept Discovery. 1302-1309 - Ruihai Dong, Markus Schaal, Michael P. O'Mahony, Barry Smyth:
Topic Extraction from Online Reviews for Classification and Recommendation. 1310-1316 - Wentao Fan, Nizar Bouguila:
Learning Finite Beta-Liouville Mixture Models via Variational Bayes for Proportional Data Clustering. 1323-1329 - Zhouyu Fu, Guojun Lu, Kai Ming Ting, Dengsheng Zhang:
Optimizing Cepstral Features for Audio Classification. 1330-1336 - Wei Gao, Zhi-Hua Zhou:
Uniform Convergence, Stability and Learnability for Ranking Problems. 1337-1343 - Alkis Gotovos, Nathalie Casati, Gregory Hitz, Andreas Krause:
Active Learning for Level Set Estimation. 1344-1350 - Mohammad Abdelaziz Gowayyed, Marwan Torki, Mohamed Elsayed Hussein, Motaz El-Saban:
Histogram of Oriented Displacements (HOD): Describing Trajectories of Human Joints for Action Recognition. 1351-1357 - Mihajlo Grbovic, Nemanja Djuric, Slobodan Vucetic:
Multi-Prototype Label Ranking with Novel Pairwise-to-Total-Rank Aggregation. 1358-1364 - Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt:
MiningZinc: A Modeling Language for Constraint-Based Mining. 1365-1372 - Yuhong Guo, Wei Xue:
Probabilistic Multi-Label Classification with Sparse Feature Learning. 1373-1379 - Jingrui He, Wei Shen, Phani Divakaruni, Laura Wynter, Rick Lawrence:
Improving Traffic Prediction with Tweet Semantics. 1387-1393 - Trong Nghia Hoang, Kian Hsiang Low:
A General Framework for Interacting Bayes-Optimally with Self-Interested Agents using Arbitrary Parametric Model and Model Prior. 1394-1400 - Lei Hou, Juanzi Li, Xiaoli Li, Jiangfeng Qu, Xiaofei Guo, Ou Hui, Jie Tang:
What Users Care About: A Framework for Social Content Alignment. 1401-1407 - Yao Hu, Debing Zhang, Zhongming Jin, Deng Cai, Xiaofei He:
Active Learning Based on Local Representation. 1415-1421 - Kenji Kawaguchi, Hiroshi Sato:
Prior-Free Exploration Bonus for and beyond Near Bayes-Optimal Behavior. 1437-1443 - Johannes Kulick, Marc Toussaint, Tobias Lang, Manuel Lopes:
Active Learning for Teaching a Robot Grounded Relational Symbols. 1451-1457 - Boaz Lerner, Michal Afek, Rafi Bojmel:
Adaptive Thresholding in Structure Learning of a Bayesian Network. 1458-1464 - Jialu Liu, Chi Wang, Marina Danilevsky, Jiawei Han:
Large-Scale Spectral Clustering on Graphs. 1486-1492 - Miao Liu, Xuejun Liao, Lawrence Carin:
Online Expectation Maximization for Reinforcement Learning in POMDPs. 1501-1507 - Zhengzheng Lou, Yangdong Ye, Xiaoqiang Yan:
The Multi-Feature Information Bottleneck with Application to Unsupervised Image Categorization. 1508-1515 - Haiping Lu:
Learning Canonical Correlations of Paired Tensor Sets Via Tensor-to-Vector Projection. 1516-1522 - Zhiwu Lu, Yuxin Peng:
Learning Descriptive Visual Representation by Semantic Regularized Matrix Factorization. 1523-1529 - Zhigang Ma, Yi Yang, Feiping Nie, Nicu Sebe:
Thinking of Images as What They Are: Compound Matrix Regression for Image Classification. 1530-1536 - Loizos Michael, Elena Papageorgiou:
An Empirical Investigation of Ceteris Paribus Learnability. 1537-1543 - Pablo Morales-Mombiela, Daniel Hernández-Lobato, Alberto Suárez:
Statistical Tests for the Detection of the Arrow of Time in Vector Autoregressive Models. 1544-1550 - Stephen H. Muggleton, Dianhuan Lin:
Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention revisited. 1551-1557 - Cam-Tu Nguyen, De-Chuan Zhan, Zhi-Hua Zhou:
Multi-Modal Image Annotation with Multi-Instance Multi-Label LDA. 1558-1564 - Feiping Nie, Hua Wang, Heng Huang, Chris H. Q. Ding:
Adaptive Loss Minimization for Semi-Supervised Elastic Embedding. 1565-1571 - Feiping Nie, Hua Wang, Heng Huang, Chris H. Q. Ding:
Early Active Learning via Robust Representation and Structured Sparsity. 1572-1578 - Teppo Mikael Niinimäki, Mikko Koivisto:
Annealed Importance Sampling for Structure Learning in Bayesian Networks. 1579-1585 - Shirui Pan, Xingquan Zhu:
Graph Classification with Imbalanced Class Distributions and Noise. 1586-1592 - Sunho Park, Yong-Deok Kim, Seungjin Choi:
Hierarchical Bayesian Matrix Factorization with Side Information. 1593-1599 - Yifan Pi, Haoruo Peng, Shuchang Zhou, Zhihua Zhang:
A Scalable Approach to Column-Based Low-Rank Matrix Approximation. 1600-1606 - Jian Pu, Yu-Gang Jiang, Jun Wang, Xiangyang Xue:
Multiple Task Learning Using Iteratively Reweighted Least Square. 1607-1613 - Buyue Qian, Xiang Wang, Fei Wang, Hongfei Li, Jieping Ye, Ian Davidson:
Active Learning from Relative Queries. 1614-1620 - Konrad Rawlik, Marc Toussaint, Sethu Vijayakumar:
Path Integral Control by Reproducing Kernel Hilbert Space Embedding. 1628-1634 - Lior Rokach, Meir Kalech, Gregory M. Provan, Alexander Feldman:
Machine-Learning-Based Circuit Synthesis. 1635-1641 - Jérémy Sanhes, Frédéric Flouvat, Claude Pasquier, Nazha Selmaoui-Folcher, Jean-François Boulicaut:
Weighted Path as a Condensed Pattern in a Single Attributed DAG. 1642-1648 - Kazuhiro Seki, Kuniaki Uehara:
Supervised Hypothesis Discovery Using Syllogistic Patterns in the Biomedical Literature. 1663-1669 - Ziqiang Shi, Jiqing Han, Tieran Zheng, Ji Li:
Guarantees of Augmented Trace Norm Models in Tensor Recovery. 1670-1676 - Noam Slonim, Ehud Aharoni, Koby Crammer:
Hartigan's K-Means Versus Lloyd's K-Means - Is It Time for a Change? 1677-1684 - Yale Song, Zhen Wen, Ching-Yung Lin, Randall Davis:
One-Class Conditional Random Fields for Sequential Anomaly Detection. 1685-1691 - Mahito Sugiyama, Karsten M. Borgwardt:
Measuring Statistical Dependence via the Mutual Information Dimension. 1692-1698 - Koh Takeuchi, Katsuhiko Ishiguro, Akisato Kimura, Hiroshi Sawada:
Non-Negative Multiple Matrix Factorization. 1713-1720 - Nikolaos Tziortziotis, Christos Dimitrakakis, Konstantinos Blekas:
Linear Bayesian Reinforcement Learning. 1721-1728 - Steven C. H. Hoi, Jialei Wang, Peilin Zhao, Jinfeng Zhuang, Zhiyong Liu:
Large Scale Online Kernel Classification. 1750-1756 - Jing Wang, Zhong-Qiu Zhao, Xuegang Hu, Yiu-ming Cheung, Meng Wang, Xindong Wu:
Online Group Feature Selection. 1757-1763 - Shusen Wang, Dehua Liu, Zhihua Zhang:
Nonconvex Relaxation Approaches to Robust Matrix Recovery. 1764-1770 - Ziyu Wang, Masrour Zoghi, Frank Hutter, David Matheson, Nando de Freitas:
Bayesian Optimization in High Dimensions via Random Embeddings. 1778-1784 - Zuoguan Wang, Siwei Lyu, Gerwin Schalk, Qiang Ji:
Deep Feature Learning Using Target Priors with Applications in ECoG Signal Decoding for BCI. 1785-1791 - Junjie Wu, Hongfu Liu, Hui Xiong, Jie Cao:
A Theoretic Framework of K-Means-Based Consensus Clustering. 1799-1805 - Zhipeng Xie, Rui Dong, Zhengheng Deng, Zhenying He, Weidong Yang:
A Probabilistic Approach to Latent Cluster Analysis. 1813-1819 - Makoto Yamada, Akisato Kimura, Futoshi Naya, Hiroshi Sawada:
Change-Point Detection with Feature Selection in High-Dimensional Time-Series Data. 1827-1833 - Eunho Yang, Ambuj Tewari, Pradeep Ravikumar:
On Robust Estimation of High Dimensional Generalized Linear Models. 1834-1840 - Hao Yang, Jianxin Wu:
Reduced Heteroscedasticity Linear Regression for Nyström Approximation. 1841-1847 - Qiang Yang, Long-Kai Huang, Wei-Shi Zheng, Yingbiao Ling:
Smart Hashing Update for Fast Response. 1855-1861 - Shu-Jun Yang, Yuan Jiang, Zhi-Hua Zhou:
Multi-Instance Multi-Label Learning with Weak Label. 1862-1868 - Guo-Xian Yu, Huzefa Rangwala, Carlotta Domeniconi, Guoji Zhang, Zili Zhang:
Protein Function Prediction by Integrating Multiple Kernels. 1869-1875 - Mo Yu, Tiejun Zhao, Yalong Bai:
Learning Domain Differences Automatically for Dependency Parsing Adaptation. 1876-1882 - Jiemi Zhang, Chenxia Wu, Deng Cai, Jianke Zhu:
Bilevel Visual Words Coding for Image Classification. 1883-1888 - Ke Zhang, Wei Zhang, Yingbin Zheng, Xiangyang Xue:
Sparse Reconstruction for Weakly Supervised Semantic Segmentation. 1889-1895 - Tongtao Zhang, Rongrong Ji, Wei Liu, Dacheng Tao, Gang Hua:
Semi-Supervised Learning with Manifold Fitted Graphs. 1896-1902 - Wangsheng Zhang, Gang Pan, Zhaohui Wu, Shijian Li:
Online Community Detection for Large Complex Networks. 1903-1909 - Wei Zhang, Ke Zhang, Pan Gu, Xiangyang Xue:
Multi-View Embedding Learning for Incompletely Labeled Data. 1910-1916 - Tianyi Zhou, Dacheng Tao:
Shifted Subspaces Tracking on Sparse Outlier for Motion Segmentation. 1946-1952 - Xiaojin Zhu:
Persistent Homology: An Introduction and a New Text Representation for Natural Language Processing. 1953-1959 - Fuzhen Zhuang, Ping Luo, Peifeng Yin, Qing He, Zhongzhi Shi:
Concept Learning for Cross-Domain Text Classification: A General Probabilistic Framework. 1960-1967
Multidisciplinary Topics and Applications
- Umair Z. Ahmed, Sumit Gulwani, Amey Karkare:
Automatically Generating Problems and Solutions for Natural Deduction. 1968-1975 - Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan:
Automated Grading of DFA Constructions. 1976-1982 - Alexander Felfernig, Monika Schubert, Stefan Reiterer:
Personalized Diagnosis for Over-Constrained Problems. 1990-1996 - Stephen William Gilroy, Julie Porteous, Fred Charles, Marc Cavazza, Eyal Soreq, Gal Raz, Limor Ikar, Ayelet Or-Borichov, Udi Ben-Arie, Ilana Klovatch, Talma Hendler:
A Brain-Computer Interface to a Plan-Based Narrative. 1997-2005 - Dingjiang Huang, Junlong Zhou, Bin Li, Steven C. H. Hoi, Shuigeng Zhou:
Robust Median Reversion Strategy for On-Line Portfolio Selection. 2006-2012 - Panagiotis Kouvaros, Alessio Lomuscio:
A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. 2013-2019 - Wei Li, Yuanlin Zhang, George W. Fitzmaurice:
TutorialPlan: Automated Tutorial Generation from CAD Drawings. 2020-2027 - Minh Luan Nguyen, Siu Cheung Hui, Alvis Cheuk M. Fong:
Probabilistic Equivalence Verification Approach for Automatic Mathematical Solution Assessment. 2028-2034 - Noam Peled, Moshe Bitan, Joseph Keshet, Sarit Kraus:
Predicting Human Strategic Decisions Using Facial Expressions. 2035-2041 - Utku Sirin, Faruk Polat, Reda Alhajj:
Employing Batch Reinforcement Learning to Control Gene Regulation Without Explicitly Constructing Gene Regulatory Networks. - Hua Wang, Heng Huang, Chris H. Q. Ding:
Protein Function Prediction via Laplacian Network Partitioning Incorporating Function Category Correlations. 2049-2056
Natural-Language Processing
- Alberto Barrón-Cedeño, Lluís Màrquez, Carlos A. Henríquez Q., Lluís Formiga, Enrique Romero, Jonathan May:
Identifying Useful Human Correction Feedback from an On-Line Machine Translation Service. 2057-2063 - Danushka Bollegala, Mitsuru Kusumoto, Yuichi Yoshida, Ken-ichi Kawarabayashi:
Mining for Analogous Tuples from an Entity-Relation Graph. 2064-2070 - Zhiyuan Chen, Arjun Mukherjee, Bing Liu, Meichun Hsu, Malú Castellanos, Riddhiman Ghosh:
Leveraging Multi-Domain Prior Knowledge in Topic Models. 2071-2077 - Zhuoye Ding, Xipeng Qiu, Qi Zhang, Xuanjing Huang:
Learning Topical Translation Model for Microblog Hashtag Suggestion. 2078-2084 - Yue Hu, Xiaojun Wan:
PPSGen: Learning to Generate Presentation Slides for Academic Papers. 2099-2105 - Fang Kong, Guodong Zhou:
A Clause-Level Hybrid Approach to Chinese Empty Element Recovery. 2113-2119 - Peifeng Li, Qiaoming Zhu, Guodong Zhou:
Joint Modeling of Argument Identification and Role Determination in Chinese Event Extraction with Discourse-Level Information. 2120-2126 - Shoushan Li, Yunxia Xue, Zhongqing Wang, Guodong Zhou:
Active Learning for Cross-domain Sentiment Classification. 2127-2133 - Kang Liu, Heng Li Xu, Yang Liu, Jun Zhao:
Opinion Target Extraction Using Partially-Supervised Word Alignment Model. 2134-2140 - Shixiang Lu, Xiaoyin Fu, Wei Wei, Xingyuan Peng, Bo Xu:
Joint and Coupled Bilingual Topic Model Based Sentence Representations for Language Model Adaptation. 2141-2147 - Andrea Moro, Roberto Navigli:
Integrating Syntactic and Semantic Analysis into the Open Information Extraction Paradigm. 2148-2154 - Xiaona Ren, Xiao Chen, Chunyu Kit:
Combine Constituent and Dependency Parsing via Reranking. 2155-2161 - Aliaksei Severyn, Alessandro Moschitti:
Fast Linearization of Tree Kernels over Large-Scale Data. 2162-2168 - Hong Sun, Nan Duan, Yajuan Duan, Ming Zhou:
Answer Extraction from Passage Graph for Question Answering. 2169-2175 - Rui Xia, Xuelei Hu, Jianfeng Lu, Jian Yang, Chengqing Zong:
Instance Selection and Instance Weighting for Cross-Domain Sentiment Classification via PU Learning. 2176-2182 - Deyi Xiong, Guosheng Ben, Min Zhang, Yajuan Lv, Qun Liu:
Modeling Lexical Cohesion for Document-Level Machine Translation. 2183-2189 - Rui Yan, Han Jiang, Mirella Lapata, Shou-De Lin, Xueqiang Lv, Xiaoming Li:
i, Poet: Automatic Chinese Poetry Composition through a Generative Summarization Framework under Constrained Optimization. 2197-2203 - Muyun Yang, Junguo Zhu, Sheng Li, Tiejun Zhao:
Fusion of Word and Letter Based Metrics for Automatic MT Evaluation. 2204-2210 - Jingyi Zhang, Hai Zhao:
Improving Function Word Alignment with Frequency and Syntactic Information. 2211-2217 - Wei Zhang, Wei Feng, Jianyong Wang:
Integrating Semantic Relatedness and Words' Intrinsic Features for Keyword Extraction. 2225-2231 - Guangyou Zhou, Yang Liu, Fang Liu, Daojian Zeng, Jun Zhao:
Improving Question Retrieval in Community Question Answering Using World Knowledge. 2239-2245 - Junsheng Zhou, Juhong Xu, Weiguang Qu:
Efficient Latent Structural Perceptron with Hybrid Trees for Semantic Parsing. 2246-2253
Planning and Scheduling
- Vidal Alcázar, Daniel Borrajo, Susana Fernández, Raquel Fuentetaja:
Revisiting Regression in Planning. 2254-2260 - Christer Bäckström, Peter Jonsson:
Bridging the Gap Between Refinement and Heuristics in Abstraction. 2261-2267 - Blai Bonet, Hector Geffner:
Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical Approximation. 2275-2281 - Marek Grzes, Pascal Poupart, Jesse Hoey:
Isomorph-Free Branch and Bound Search for Finite State Controllers. 2282-2290 - Patrik Haslum:
Optimal Delete-Relaxed (and Semi-Relaxed) Planning with Conditional Effects. 2291-2297 - Trong Nghia Hoang, Kian Hsiang Low:
Interactive POMDP Lite: Towards Practical Planning to Predict and Exploit Intentions for Interacting with Self-Interested Agents. 2298-2305 - Froduald Kabanza, Julien Filion, Abder Rezak Benaskeur, Hengameh Irandoust:
Controlling the Hypothesis Space in Probabilistic Plan Recognition. 2306-2312 - Ece Kamar, Ashish Kapoor, Eric Horvitz:
Lifelong Learning for Acquiring the Wisdom of the Crowd. 2313-2320 - Mostepha Redouane Khouadjia, Marc Schoenauer, Vincent Vidal, Johann Dréo, Pierre Savéant:
Pareto-Based Multiobjective AI Planning. 2321-2327 - Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith:
Flexible Execution of Partial Order Plans With Temporal Constraints. 2328-2335 - Hootan Nakhost, Martin Müller:
Towards a Second Generation Random Walk Planner: An Experimental Exploration. 2336-2342 - Fabio Patrizi, Nir Lipovetzky, Hector Geffner:
Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners. 2343-2349 - Luis Enrique Pineda, Yi Lu, Shlomo Zilberstein, Claudia V. Goldman:
Fault-Tolerant Planning under Uncertainty. 2350-2356 - Florian Pommerening, Gabriele Röger, Malte Helmert:
Getting the Most Out of Pattern Databases for Classical Planning. 2357-2364 - Jussi Rintanen, Charles Orgill Gretton:
Computing Upper Bounds on Lengths of Transition Sequences. 2365-2372 - Mohammad Munshi Shahin Shah, Lukás Chrpa, Diane E. Kitchin, Thomas Leo McCluskey, Mauro Vallati:
Exploring Knowledge Engineering Strategies in Designing and Modelling a Road Traffic Accident Management Domain. 2373-2379 - Vikas Shivashankar, Ronald Alford, Ugur Kuter, Dana S. Nau:
The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning. 2380-2386 - Álvaro Torralba Arias de Reyna, Carlos Linares López, Daniel Borrajo:
Symbolic Merge-and-Shrink for Cost-Optimal Planning. 2394-2400 - Simon Vernhes, Guillaume Infantes, Vincent Vidal:
Problem Splitting Using Heuristic Search in Landmark Orderings. 2401-2407 - Paul Weng, Bruno Zanuttini:
Interactive Value Iteration for Markov Decision Processes with Unknown Rewards. 2415-2421 - Michel Wilson, Tomas Klos, Cees Witteveen, Bob Huisman:
Flexibility and Decoupling in the Simple Temporal Problem. 2422-2428 - Peng Yu, Brian Charles Williams:
Continuously Relaxing Over-Constrained Conditional Temporal Problems through Generalized Conflict Learning and Resolution. 2429-2436 - Zahra Zamani, Scott Sanner, Karina Valdivia Delgado, Leliane Nunes de Barros:
Robust Optimization for Hybrid MDPs with State-Dependent Noise. 2437-2443 - Hankz Hankui Zhuo, Tuan Anh Nguyen, Subbarao Kambhampati:
Refining Incomplete Planning Domain Models Through Plan Traces. 2451-2458
Robotics and Vision
- Xiaoping Chen, Jian-Min Ji, Zhiqiang Sui, Jiongkun Xie:
Handling Open Knowledge for Service Robots. 2459-2465 - Mohamed E. Hussein, Marwan Torki, Mohammad Abdelaziz Gowayyed, Motaz El-Saban:
Human Action Recognition Using a Temporal Hierarchy of Covariance Descriptors on 3D Joint Locations. 2466-2472 - Maxime Latulippe, Alexandre Drouin, Philippe Giguère, François Laviolette:
Accelerated Robust Point Cloud Registration in Natural Environments through Positive and Unlabeled Learning. 2480-2487 - Hung Quoc Ngo, Matthew David Luciw, Ngo Anh Vien, Jürgen Schmidhuber:
Upper Confidence Weighted Learning for Efficient Exploration in Multiclass Prediction with Binary Feedback. 2488-2494 - Jörg Stückler, Sven Behnke:
Hierarchical Object Discovery and Dense Modelling From Motion Cues in RGB-D Video. 2502-2509
Uncertainty in AI
- Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche:
An Exact Algorithm for Computing the Same-Decision Probability. 2525-2531 - Chia-Li Kuo, David Buchman, Arzoo Katiyar, David Poole:
Probabilistic Reasoning with Undefined Properties in Ontologically-Based Belief Networks. 2532-2539 - Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova, Pieter W. M. Koopman:
Inference for a New Probabilistic Constraint Logic. 2540-2546 - Satoshi Oyama, Yukino Baba, Yuko Sakurai, Hisashi Kashima:
Accurate Integration of Crowdsourced Labels Using Workers' Self-reported Confidence Scores. 2554-2560 - Stephanie Rosenthal, Dan Bohus, Ece Kamar, Eric Horvitz:
Look versus Leap: Computing Value of Information with High-Dimensional Streaming Evidence. 2561-2567 - David B. Smith, Vibhav Gogate:
The Inclusion-Exclusion Rule and its Application to the Junction Tree Algorithm. 2568-2575 - Erik Peter Zawadzki, André Platzer, Geoffrey J. Gordon:
A Generalization of SAT and #SAT for Robust Policy Evaluation. 2583-2590
Web and Knowledge-Based Information Systems
- Priyanka Agrawal, Vikas K. Garg, Ramasuri Narayanam:
Link Label Prediction in Signed Social Networks. 2591-2597 - Chen Cheng, Haiqin Yang, Michael R. Lyu, Irwin King:
Where You Like to Go Next: Successive Point-of-Interest Recommendation. 2605-2611 - Xuetao Ding, Xiaoming Jin, Yujia Li, Lianghao Li:
Celebrity Recommendation with Collaborative Social Topic Regression. 2612-2618 - Guibing Guo, Jie Zhang, Neil Yorke-Smith:
A Novel Bayesian Similarity Measure for Recommender Systems. 2619-2625 - Liang Hu, Jian Cao, Guandong Xu, Jie Wang, Zhiping Gu, Longbing Cao:
Cross-Domain Collaborative Filtering via Bilinear Multilevel Analysis. 2626-2632 - Yuheng Hu, Fei Wang, Subbarao Kambhampati:
Listening to the Crowd: Automated Analysis of Events via Aggregated Twitter Sentiment. 2640-2646 - Jin Huang, Feiping Nie, Heng Huang, Yu Lei, Chris H. Q. Ding:
Social Trust Prediction Using Rank-k Matrix Recovery. 2647-2653 - Guang Ling, Irwin King, Michael R. Lyu:
A Unified Framework for Reputation Estimation in Online Rating Systems. 2670-2676 - Claudiu Cristian Musat, Yizhong Liang, Boi Faltings:
Recommendation Using Textual Opinions. 2684-2690 - Jianping Shi, Naiyan Wang, Yang Xia, Dit-Yan Yeung, Irwin King, Jiaya Jia:
SCMF: Sparse Covariance Matrix Factorization for Collaborative Filtering. 2705-2711 - Jiliang Tang, Xia Hu, Huiji Gao, Huan Liu:
Exploiting Local and Global Social Context for Recommendation. 2712-2718 - Hao Wang, Binyi Chen, Wu-Jun Li:
Collaborative Topic Regression with Social Regularization for Tag Recommendation. 2719-2725 - Zhichun Wang, Juanzi Li, Jie Tang:
Boosting Cross-Lingual Knowledge Linking via Concept Annotation. 2733-2739 - Biao Xiang, Qi Liu, Enhong Chen, Hui Xiong, Yi Zheng, Yu Yang:
PageRank with Priors: An Influence Propagation Perspective. 2740-2746 - Deming Zhai, Hong Chang, Yi Zhen, Xianming Liu, Xilin Chen, Wen Gao:
Parametric Local Multimodal Hashing for Cross-View Similarity Search. 2754-2760 - Jing Zhang, Biao Liu, Jie Tang, Ting Chen, Juanzi Li:
Social Influence Locality for Modeling Retweeting Behaviors. 2761-2767 - Yuejie Zhang, Wei Wu, Yang Li, Cheng Jin, Xiangyang Xue, Jianping Fan:
Automatic Name-Face Alignment to Enable Cross-Media News Retrieval. 2768-2775
AI and Computational Sustainability Track
- Isabelle Alvarez, Ricardo de Aldama, Sophie Martin, Romain Reuillon:
Assessing the Resilience of Socio-Ecosystems: Coupling Viability Theory and Active Learning with kd-Trees. Application to Bilingual Societies. 2776-2782 - Sean Padraig Brennan, Adam Sadilek, Henry A. Kautz:
Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions. 2783-2789 - Niya Chen, Zheng Qian, Ian T. Nabney, Xiaofeng Meng:
Short-Term Wind Power Forecasting Using Gaussian Processes. 2790-2796 - Nemanja Djuric, Lakesh Kansakar, Slobodan Vucetic:
Semi-Supervised Learning for Integration of Aerosol Predictions from Multiple Satellite Instruments. 2797-2803 - Haili Dong, Bingsheng Wang, Chang-Tien Lu:
Deep Sparse Coding based Recursive Disaggregation Model for Water Conservation. 2804-2810 - Jiarui Gan, Bo An, Haizhong Wang, Xiaoming Sun, Zhongzhi Shi:
Optimal Pricing for Improving Efficiency of Taxi Systems. 2811-2818 - Daniel Ellis Holman, Mohan Sridharan, Prasanna Gowda, Dana Porter, Thomas Marek, Terry Howell, Jerry Moorhead:
Estimating Reference Evapotranspiration for Irrigation Management in the Texas High Plains. 2819-2825 - Vikas Joshi, Nithya Rajamani, Takayuki Katsuki, Naveen Prathapaneni, L. Venkata Subramaniam:
Information Fusion Based Learning for Frugal Traffic State Sensing. 2826-2832 - Hoong Chuin Lau, Lucas Agussurja, Shih-Fen Cheng, Pang Jin Tan:
A Multi-Objective Memetic Algorithm for Vehicle Resource Allocation in Sustainable Transportation Planning. 2833-2839 - Ronan LeBras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover:
Crowdsourcing Backdoor Identification for Combinatorial Optimization. 2840-2847 - Jean-Sébastien Lerat, The Anh Han, Tom Lenaerts:
Evolution of Common-Pool Resources and Social Welfare in Structured Populations. 2848-2854 - Shuangyin Li, Jiefei Li, Rong Pan:
Tag-Weighted Topic Model for Mining Semi-Structured Documents. 2855-2861 - Xiaojie Li, Jiancheng Lv, Yi Zhang:
Manifold Alignment Based on Sparse Local Structures of More Corresponding Pairs. 2862-2868 - Teng Ma, Yuexian Hou, Xiaozhao Zhao, Dawei Song:
A Global Constrained Optimization Method for Designing Road Networks with Small Diameters. 2869-2876 - Alistair Reid, Simon Timothy O'Callaghan, Edwin V. Bonilla, Lachlan McCalman, Tim Rawling, Fabio Ramos:
Bayesian Joint Inversions for the Exploration of Earth Resources. 2877-2884 - Douglas Oliveira Santos, Eduardo Candido Xavier:
Dynamic Taxi and Ridesharing: A Framework and Heuristics for the Optimization Problem. 2885-2891 - Sylvie Thiébaux, Carleton Coffrin, Hassan L. Hijazi, John K. Slaney:
Planning with MIP for Supply Restoration in Power Distribution Systems. 2900-2907 - Ngoc Cuong Truong, James McInerney, Long Tran-Thanh, Enrico Costanza, Sarvapali D. Ramchurn:
Forecasting Multi-Appliance Usage for Smart Home Energy Management. 2908-2914 - Menkes van den Briel, Paul Scott, Sylvie Thiébaux:
Randomized Load Control: A Simple Distributed Approach for Scheduling Smart Appliances. 2915-2922 - XiaoJian Wu, Akshat Kumar, Daniel Sheldon, Shlomo Zilberstein:
Parameter Learning for Latent Network Diffusion. 2923-2930 - Junchi Yan, Yu Wang, Ke Zhou, Jin Huang, Chunhua Tian, Hongyuan Zha, Weishan Dong:
Towards Effective Prioritizing Water Pipe Replacement and Rehabilitation. 2931-2937 - Hiroki Yanagisawa, Takayuki Osogami:
Improved Integer Programming Approaches for Chance-Constrained Stochastic Programming. 2938-2944 - Davide Zilli, Oliver Parson, Geoff V. Merrett, Alex Rogers:
A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced Smartphone Biodiversity Monitoring. 2945-2951
Data Challenge
- Zhengzhang Chen, Yusheng Xie, Yu Cheng, Kunpeng Zhang, Ankit Agrawal, Wei-keng Liao, Nagiza F. Samatova, Alok N. Choudhary:
Forecast Oriented Classification of Spatio-Temporal Extreme Events. 2952-2954 - Samuel Nicol, Olivier Buffet, Takuya Iwamura, Iadine Chades:
Adaptive Management of Migratory Birds Under Sea Level Rise. 2955-2957 - Yusheng Xie, Zhengzhang Chen, Alok N. Choudhary:
Detecting and Tracking Disease Outbreaks by Mining Social Media Data. 2958-2961
Journal Paper Track
- Marta R. Costa-Jussà, Carlos A. Henríquez Q., Rafael E. Banchs:
Evaluating Indirect Strategies for Chinese - Spanish Statistical Machine Translation: Extended Abstract. 3142-3145 - Mark d'Inverno, Michael Luck, Pablo Noriega, Juan A. Rodríguez-Aguilar, Carles Sierra:
Communicating Open Systems: Extended Abstract. 3146-3150 - Tiziano Flati, Roberto Navigli:
The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary: Extended abstract. 3151-3155 - Priyankar Ghosh, Amit Sharma, Partha Pratim Chakrabarti, Pallab Dasgupta:
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract. 3156-3160 - Johannes Hoffart, Fabian M. Suchanek, Klaus Berberich, Gerhard Weikum:
YAGO2: A Spatially and Temporally Enhanced Knowledge Base from Wikipedia: Extended Abstract. 3161-3165 - Wenji Mao, Jonathan Gratch:
Modeling Social Causality and Responsibility Judgment in Multi-Agent Interactions: Extended Abstract. 3166-3170 - Peter Nightingale:
The Extended Global Cardinality Constraint: An Empirical Survey: Extended Abstract. 3171-3174 - Ricardo Ribeiro, David Martins de Matos:
Revisiting Centrality-as-Relevance: Support Sets and Similarity as Geometric Proximity: Extended abstract. 3175-3179 - Felipe Sánchez-Martínez, Rafael C. Carrasco, Miguel A. Martínez-Prieto, Joaquín Adiego:
Generalized Biwords for Bitext Compression and Translation Spotting: Extended Abstract. 3180-3184 - Majid Yazdani, Andrei Popescu-Belis:
Computing Text Semantic Relatedness Using the Contents and Links of a Hypertext Encyclopedia: Extended Abstract. 3185-3189 - Yang Yu, Xin Yao, Zhi-Hua Zhou:
On the Approximation Ability of Evolutionary Optimization with Application to Minimum Set Cover: Extended Abstract. 3190-3194 - Jure Zabkar, Martin Mozina, Ivan Bratko, Janez Demsar:
Learning Qualitative Models from Numerical Data: Extended abstract. 3195-3200
Best Thesis Award
- Amr Ahmed, Eric P. Xing:
Scalable Dynamic Nonparametric Bayesian Models of Content and Users. 3111-3115 - Silvia Richter:
Landmark-Based Heuristics and Search Control for Automated Planning (Extended Abstract). 3126-3130 - Jürgen Sturm, Wolfram Burgard:
Learning Probabilistic Models for Mobile Manipulation Robots. 3131-3135 - Daniel Villatoro:
Social Norms for Self-Policing Multi-agent Systems and Virtual Societies. 3136-3141
Sister Conferences Track
- Fabian Abel, Qi Gao, Geert-Jan Houben, Ke Tao:
Twitter-Based User Modeling for News Recommendations. 2962-2966 - Maria Luisa Bonet, Sam Buss:
An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract). 2972-2976 - Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat:
The Complexity of One-Agent Refinement Modal Logic. 2977-2981 - Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini:
Optimal Valve Placement in Water Distribution Networks with CLP(FD). 2987-2991 - Valmi Dufour-Lussier, Florence Le Ber, Jean Lieber, Laura Martin:
Case Adaptation with Qualitative Algebras. 3002-3006 - Daniel Gray Goldstein, R. Preston McAfee, Siddharth Suri:
Improving the Effectiveness of Time-Based Display Advertising. 3007-3011 - Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo:
Sound, Complete, and Minimal Query Rewriting for Existential Rules. 3017-3021 - Till Mossakowski, Christoph Lange, Oliver Kutz:
Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract). 3027-3031 - Rahul Parundekar, Craig A. Knoblock, José Luis Ambite:
Discovering Alignments in Ontologies of Linked Data. 3032-3036 - Quang-Cuong Pham, Yoshihiko Nakamura:
A New Trajectory Deformation Algorithm Based on Affine Transformations. 3037-3041 - Lara Quijano Sánchez, Derek G. Bridge, Belén Díaz-Agudo, Juan Antonio Recio-García:
A Case-Based Solution to the Cold-Start Problem in Group Recommenders. 3042-3046 - Thanawin Rakthanmanon, Eamonn J. Keogh:
Data Mining a Trillion Time Series Subsequences Under Dynamic Time Warping. 3047-3051 - Konrad Rawlik, Marc Toussaint, Sethu Vijayakumar:
On Stochastic Optimal Control and Reinforcement Learning by Approximate Inference (Extended Abstract). 3052-3056 - Tom Rodden, Joel E. Fischer, Nadia Pantidi, Khaled Bachour, Stuart Moran:
At Home with Agents: Exploring Attitudes Towards Future Smart Energy Infrastructures. 3057-3061 - Jonathan Rubin, Ian D. Watson:
Decision Generalisation from Game Logs in No Limit Texas Hold'em. 3062-3066 - Adam Sadilek, Henry A. Kautz:
Modeling The Interplay of People's Location, Interactions, and Social Ties. 3067-3071 - Christoph Sawade, Steffen Bickel, Timo von Oertzen, Tobias Scheffer, Niels Landwehr:
Active Evaluation of Ranking Functions Based on Graded Relevance (Extended Abstract). 3072-3076 - Yue Shi, Alexandros Karatzoglou, Linas Baltrunas, Martha Larson, Nuria Oliver, Alan Hanjalic:
CLiMF: Collaborative Less-Is-More Filtering. 3077-3081 - Hiroyuki Shindo, Yusuke Miyao, Akinori Fujino, Masaaki Nagata:
Statistical Parsing with Probabilistic Symbol-Refined Tree Substitution Grammars. 3082-3086 - Moritz Tenorth, Alexander Clifford Perzylo, Reinhard Lafrenz, Michael Beetz:
The RoboEarth Language: Representing and Exchanging Knowledge about Actions, Objects, and Environments (Extended Abstract). 3091-3095 - Jun-Ming Xu, Aniruddha Bhargava, Robert D. Nowak, Xiaojin Zhu:
Socioscope: Spatio-Temporal Signal Recovery from Social Media (Extended Abstract). 3096-3100 - James Everett Young, Kentaro Ishii, Takeo Igarashi, Ehud Sharlin:
User-Centered Programming by Demonstration: Stylistic Elements of Behavior. 3106-3110
Doctoral Consortium
- Eisa Alanazi, Malek Mouhoub:
Managing Qualitative Preferences and Constraints in a Dynamic Environment. 3203-3204 - Marjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock:
Towards a Deeper Understanding of Nonmonotonic Reasoning with Degrees. 3205-3206 - Hui Fang:
Trust Modeling for Opinion Evaluation by Coping with Subjectivity and Dishonesty. 3211-3212 - Guibing Guo:
Improving the Performance of Recommender Systems by Alleviating the Data Sparsity and Cold Start Problems. 3217-3218 - Pablo Hernandez-Leal, Enrique Munoz de Cote, Luis Enrique Sucar:
Strategic Interactions Among Agents with Bounded Rationality. 3219-3220 - Elias Ruiz, Luis Enrique Sucar:
Object Recognition Based on Visual Grammars and Bayesian Networks. 3241-3242 - Paul Piula Taele, Tracy Anne Hammond:
Adapting Surface Sketch Recognition Techniques for Surfaceless Sketches. 3243-3244 - Yun Zhou, Norman E. Fenton, Martin Neil, Cheng Zhu:
Incorporating Expert Judgement into Bayesian Network Machine Learning. 3249-3250
Invited Talks
- Rolf Pfeifer, Hugo Gravato Marques, Fumiya Iida:
Soft Robotics: The Next Generation of Intelligent Machines. 5-11
maintained by 
at 
at 
last updated on 2018-07-12 22:12 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint