Papers
A Text Scanning Mechanism Simulating Human Reading Process
Bei Xu, Hai Zhuge
A Theoretic Framework of K-Means-Based Consensus Clustering
Junjie Wu, Hongfu Liu, Hui Xiong et al.
At Home with Agents: Exploring Attitudes Towards Future Smart Energy Infrastructures
Tom A. Rodden, Joel E. Fischer, Nadia Pantidi et al.
A Tree-Based Tabu Search Algorithm for the Manpower Allocation Problem with Time Windows and Job-Teaming Constraints
Yilin Cai, Zizhen Zhang, Songshan Guo et al.
Audience-Based Uncertainty in Abstract Argument Games
Davide Grossi, Wiebe van der Hoek
Audit Games
Jeremiah Blocki, Nicolas Christin, Anupam Datta et al.
A Unified Approximate Nearest Neighbor Search Scheme by Combining Data Structure and Hashing
Debing Zhang, Genmao Yang, Yao Hu et al.
A Unified Framework for Reputation Estimation in Online Rating Systems
Guang Ling, Irwin King, Michael R. Lyu
Automated Generation of Interaction Graphs for Value-Factored Decentralized POMDPs
William Yeoh, Akshat Kumar, Shlomo Zilberstein
Automated Grading of DFA Constructions
Rajeev Alur, Loris D’Antoni, Sumit Gulwani et al.
Automated Reasoning to Infer All Minimal Keys
P. Cordero, M. Enciso, A. Mora
Automatically Generating Problems and Solutions for Natural Deduction
Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
Automatic Name-Face Alignment to Enable Cross-Media News Retrieval
Yuejie Zhang, Wei Wu, Yang Li et al.
Automating Quantified Conditional Logics in HOL
Christoph Benzmüller
Backdoors to Abduction
Andreas Pfandler, Stefan Rümmele, Stefan Szeider
Bargaining for Revenue Shares on Tree Trading Networks
Arpita Ghosh, Satyen Kale, Kevin Lang et al.
Basic Level in Formal Concept Analysis: Interesting Concepts and Psychological Ramifications
Radim Belohlavek, Martin Trnecka
Bayesian Joint Inversions for the Exploration of Earth Resources
Alistair Reid, Simon O’Callaghan, Edwin V. Bonilla et al.
Bayesian Nonparametric Feature Construction for Inverse Reinforcement Learning
Jaedeug Choi, Kee-Eung Kim
Bayesian Optimization in High Dimensions via Random Embeddings
Ziyu Wang, Masrour Zoghi, Frank Hutter et al.
Bayesian Probabilities for Constraint-Based Causal Discovery
Tom Claassen, Tom Heskes
Behavioral Diagnosis of LTL Specifications at Operator Level
Ingo Pill, Thomas Quaritsch
Behavior Composition Optimization
Nitin Yadav
Better Generalization with Forecasts
Tom Schaul, Mark Ring
Bilevel Visual Words Coding for Image Classification
Jiemi Zhang, Chenxia Wu, Deng Cai et al.