International Joint Conference on Artificial Intelligence 2017: all accepted papers
- A Monte Carlo Tree Search approach to Active Malware Analysis ↗Riccardo Sartea, Alessandro Farinelli5 citations
- A Novel Symbolic Approach to Verifying Epistemic Properties of Programs ↗Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu5 citations
- A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality ↗Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach5 citations
- AGRA: An Analysis-Generation-Ranking Framework for Automatic Abbreviation from Paper Titles ↗Jianbing Zhang, Yixin Sun, Shujian Huang et al.5 citations
- Accelerated Doubly Stochastic Gradient Algorithm for Large-scale Empirical Risk Minimization ↗Zebang Shen, Hui Qian, Tongzhou Mu et al.5 citations
- AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract) ↗Marius Lindauer, Frank Hutter, Holger H. Hoos et al.5 citations
- Belief Change in a Preferential Non-monotonic Framework ↗Giovanni Casini, Thomas Andreas Meyer5 citations
- Boosted Zero-Shot Learning with Semantic Correlation Regularization ↗Te Pi, Xi Li, Zhongfei Mark Zhang5 citations
- Characterising the Manipulability of Boolean Games ↗Paul Harrenstein, Paolo Turrini, Michael Wooldridge5 citations
- Compressed Nonparametric Language Modelling ↗Ehsan Shareghi, Gholamreza Haffari, Trevor Cohn5 citations
- ContextCare: Incorporating Contextual Information Networks to Representation Learning on Medical Forum Data ↗Stan Zhao, Meng Jiang, Quan Yuan et al.5 citations
- Contextual Covariance Matrix Adaptation Evolutionary Strategies ↗Abbas Abdolmaleki, Bob Price, Nuno Lau et al.5 citations
- Dynamic Programming Bipartite Belief Propagation For Hyper Graph Matching ↗Zhen Zhang, Julian McAuley, Yong Li et al.5 citations
- Efficient Techniques for Crowdsourced Top-k Lists ↗Luca de Alfaro, Vassilis Polychronopoulos, Neoklis Polyzotis5 citations
- Efficient and Complete FD-solving for extended array constraints ↗Quentin Plazar, Mathieu Acher, Sébastien Bardin et al.5 citations
- Fast Recursive Low-rank Tensor Learning for Regression ↗Ming Hou, Brahim Chaib-draa5 citations
- Game Theoretic Analysis of Security and Sustainability ↗Bo An5 citations
- Incomplete Attribute Learning with auxiliary labels ↗Kongming Liang, Yuhong Guo, Hong Chang et al.5 citations
- Influence Maximization with an Unknown Network by Exploiting Community Structure. ↗Bryan Wilder, Nicole Immorlica, Eric R. W. Rice et al.5 citations
- Logistic Markov Decision Processes ↗Martin Mladenov, Craig E. Boutilier, Dale Schuurmans et al.5 citations
- Modeling Hebb Learning Rule for Unsupervised Learning ↗Jia Liu, Maoguo Gong, Qiguang Miao5 citations
- Modeling Spatial Auditory Attention: Handling Equiprobable Attended Locations. ↗Jaelle Scheuerman, Kristen Brent Venable, Maxwell T. Anderson et al.5 citations
- On Gleaning Knowledge from Multiple Domains for Active Learning ↗Zengmao Wang, Bo Du, Lefei Zhang et al.5 citations
- Online Bridged Pruning for Real-Time Search with Arbitrary Lookaheads ↗Carlos Hernández, Adi Botea, Jorge A. Baier et al.5 citations
- Proposing a Highly Accurate Hybrid Component-Based Factorised Preference Model in Recommender Systems ↗Farhad Zafari, Rasoul Rahmani, Irene Moser5 citations
- Query Conservative Extensions in Horn Description Logics with Inverse Roles ↗Jean Christoph Jung, Carsten Lutz, Mauricio Martel et al.5 citations
- Sifting Common Information from Many Variables ↗Greg Ver Steeg, Shuyang Gao, Kyle Reing et al.5 citations
- Storage Fit Learning with Unlabeled Data ↗Bojian Hou, Lijun Zhang, Zhi‐Hua Zhou5 citations
- A Functional Dynamic Boltzmann Machine ↗Hiroshi Kajino4 citations
- A SAT Approach to Branchwidth ↗Neha Lodha, Sebastian Ordyniak, Stefan Szeider4 citations
- A Trust-based Mixture of Gaussian Processes Model for Reliable Regression in Participatory Sensing ↗Qikun Xiang, Jie Zhang, Ido Nevat et al.4 citations
- A Unifying Framework for Probabilistic Belief Revision ↗Zhiqiang Zhuang, James P. Delgrande, Abhaya Nayak et al.4 citations
- Cardinality Encodings for Graph Optimization Problems ↗Alexey Ignatiev, António Morgado, João P. Marques-Silva4 citations
- Classical Generalized Probabilistic Satisfiability ↗Carlos Caleiro, Filipe Casal, Andreia Mordido4 citations
- Convolutional-Match Networks for Question Answering ↗Spyridon Samothrakis, Tom Vodopivec, Michael Fairbank et al.4 citations
- Crowd Learning: Improving Online Decision Making Using Crowdsourced Data ↗Yang Liu, Mingyan Liu4 citations
- DRLnet: Deep Difference Representation Learning Network and An Unsupervised Optimization Framework ↗Puzhao Zhang, Maoguo Gong, Hui Zhang et al.4 citations
- Doubly Sparsifying Network ↗Zhangyang Wang, Shuai Huang, Jiayu Zhou et al.4 citations
- Evaluating Market User Interfaces for Electric Vehicle Charging using Bid2Charge ↗Sebastian Stein, Enrico Gerding, Adrian Nedea et al.4 citations
- Exploration of Tree-based Hierarchical Softmax for Recurrent Language Models ↗Nan Jiang, Wenge Rong, Min Gao et al.4 citations
- Feature Selection for Survival Analysis in Bioinformatics. ↗Isabelle Bichindaritz, Thomas P. Quinn4 citations
- Incremental Decision Making Under Risk with the Weighted Expected Utility Model ↗Hugo Gilbert, Nawal Benabbou, Patrice Perny et al.4 citations
- Inferring Implicit Event Locations from Context with Distributional Similarities ↗Jin-Woo Chung, Wonsuk Yang, Jinseon You et al.4 citations
- Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract) ↗Yiyuan Wang, Shaowei Cai, Minghao Yin4 citations
- Locally Consistent Bayesian Network Scores for Multi-Relational Data ↗Oliver Schulte, Sajjad Gholami4 citations
- ME-MD: An Effective Framework for Neural Machine Translation with Multiple Encoders and Decoders ↗Jinchao Zhang, Qun Liu, Jie Zhou4 citations
- Maximizing Awareness about HIV in Social Networks of Homeless Youth with Limited Information ↗Amulya Yadav, Hau Chan, Albert Xin Jiang et al.4 citations
- Mechanism Design for Strategic Project Scheduling ↗Pradeep Reddy Varakantham, Na Fu4 citations
- Multi-Modal Word Synset Induction ↗Jesse Thomason, Raymond J. Mooney4 citations
- Nonlinear Maximum Margin Multi-View Learning with Adaptive Kernel ↗Jia He, Changying Du, Changde Du et al.4 citations
- Nonparametric Online Machine Learning with Kernels ↗Khanh Nguyen4 citations
- Safe Inductions: An Algebraic Study ↗Bart Bogaerts, Joost Vennekens, Marc Denecker4 citations
- Sample Efficient Policy Search for Optimal Stopping Domains ↗Karan Goel, Christoph Dann, Emma Brunskill4 citations
- Scalable Estimation of Dirichlet Process Mixture Models on Distributed Data ↗Ruohui Wang, Dahua Lin4 citations
- Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory ↗Bart Bogaerts, Luı́s Cruz-Filipe4 citations
- The DNA Word Design Problem: A New Constraint Model and New Results ↗Michael Codish, Michael Frank, Vitaly Lagoon4 citations
- Thwarting Vote Buying Through Decoy Ballots ↗David C. Parkes, Paul Tylkin, Lirong Xia4 citations
- Two dimensional Large Margin Nearest Neighbor for Matrix Classification ↗Kun Song, Feiping Nie, Junwei Han4 citations
- Who to Invite Next? Predicting Invitees of Social Groups ↗Yu Han, Jie Tang4 citations
- Why You Should Charge Your Friends for Borrowing Your Stuff ↗Kijung Shin, Euiwoong Lee, Dhivya Eswaran et al.4 citations
- A Characterization Theorem for a Modal Description Logic ↗Paul Wild, Lutz Schröder3 citations
- ATL Strategic Reasoning Meets Correlated Equilibrium ↗Xiaowei Huang, Ji Ruan3 citations
- Additive Merge-and-Shrink Heuristics for Diverse Action Costs ↗Gaojian Fan, Martin Müller, Robert C. Holte3 citations
- Collaborative Rating Allocation ↗Yali Du, Chang Xu, Dacheng Tao3 citations
- Designing with citizens: Challenges and evaluation methods for crowd-sourced urban layouts ↗Johannes Mueller, Hangxin Lu3 citations
- Dominance and Optimisation Based on Scale-Invariant Maximum Margin Preference Learning ↗Mojtaba Montazery, Nic Wilson3 citations
- Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction ↗Michael Sioutis, Jean-François Condotta3 citations
- Estimating Position of Bio-Electric Potential Dataset as A Natural Sensor using Time Series Approach. ↗Imam Tahyudin, Hidetaka Nambo3 citations
- Explanation Systems for Influence Maximization Algorithms. ↗Amulya Yadav, Aida Rahmattalabi, Ece Semiha Kamar et al.3 citations
- Extracting Visual Knowledge from the Web with Multimodal Learning ↗Dihong Gong, Daisy Zhe Wang3 citations
- First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract) ↗Amelia Harrison, Yuliya Lierler3 citations
- Fuzzy Logic Model for Digital Forensics: A Trade-off between Accuracy, Complexity and Interpretability ↗Andrii Shalaginov3 citations
- Handling Noise in Boolean Matrix Factorization ↗Radim Bělohlávek, Martin Trnečka3 citations
- How Unlabeled Web Videos Help Complex Event Detection? ↗Huan Liu, Qinghua Zheng, Minnan Luo et al.3 citations
- Integrating Specialized Classifiers Based on Continuous Time Markov Chain ↗Zhizhong Li, Dahua Lin3 citations
- Intuitionistic Layered Graph Logic ↗Simon Docherty, David J. Pym3 citations
- Knowledge Explication: Current Situation and Future Prospects. ↗Satoshi Nishimura, Ken Fukuda, Takuichi Nishimura3 citations
- Learning-Based Abstractions for Nonlinear Constraint Solving ↗Sumanth Dathathri, Nikos Aréchiga, Sicun Gao et al.3 citations
- Modelling the Working Week for Multi-Step Forecasting using Gaussian Process Regression ↗Pasan Karunaratne, Masud Moshtaghi, Shanika A. Karunasekera et al.3 citations
- Multi-Agent Planning with Baseline Regret Minimization ↗Feng Wu, Shlomo Zilberstein B, Xiaoping Chen3 citations
- Multiple Medoids based Multi-view Relational Fuzzy Clustering with Minimax Optimization ↗Yangtao Wang, Lihui Chen, Xiaoli Li3 citations
- News Across Languages - Cross-Lingual Document Similarity and Event Tracking (Extended Abstract) ↗Jan Rupnik, Andrej Muhič, Gregor Leban et al.3 citations
- Non-Determinism and the Dynamics of Knowledge ↗Davide Grossi, Andreas Herzig, Wiebe van der Hoek et al.3 citations
- On the Kernelization of Global Constraints ↗Clément Carbonnel, Emmanuel Hébrard3 citations
- Order Statistics for Probabilistic Graphical Models ↗David Smith, Sara Rouhani, Vibhav Gogate3 citations
- Player movement models for platformer game level generation ↗Sam Snodgrass, Santiago Ontañón3 citations
- Probability Bounds for Overlapping Coalition Formation ↗Michail Mamakos, Georgios Chalkiadakis3 citations
- Projection Free Rank-Drop Steps ↗Edward Cheung, Yuying Li3 citations
- Query-Driven Discovery of Anomalous Subgraphs in Attributed Graphs ↗Nannan Wu, Feng Chen, Jianxin Li et al.3 citations
- Recognizing Top-Monotonic Preference Profiles in Polynomial Time ↗Krzysztof Magiera, Piotr Faliszewski3 citations
- Relaxed Exists-Step Plans in Planning as SMT ↗Miquel Bofill, Joan Espasa, Mateu Villaret3 citations
- Robust Advertisement Allocation ↗Shaojie Tang3 citations
- Robust Asymmetric Bayesian Adaptive Matrix Factorization ↗Xin Guo, Boyuan Pan, Deng Cai et al.3 citations
- Robust Survey Aggregation with Student-t Distribution and Sparse Representation ↗Qingtao Tang, Tao Dai, Li Niu et al.3 citations
- Sampling for Approximate Maximum Search in Factorized Tensor ↗Zhi Peng Lu, Yang Hu, Bing Zeng3 citations
- Semantic Visualization for Short Texts with Word Embeddings ↗Tuan M. V. Le, Hady Wirawan Lauw3 citations
- Single-Image 3D Scene Parsing Using Geometric Commonsense ↗Chengcheng Yu, Xiaobai Liu, Song Chun Zhu3 citations
- Speech-based Medical Decision Support in VR using a Deep Neural Network (Demonstration) ↗Alexander Prange, Michael Barz, Daniel Sonntag3 citations
- Super-Human AI for Strategic Reasoning: Beating Top Pros in Heads-Up No-Limit Texas Hold'em ↗Tüomas Sandholm3 citations
This page in Markdown → https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/2017/papers/page/7/