Artificial Intelligence

Authors and titles for cs.AI in Apr 2016, skipping first 75

[76]  arXiv:1604.07906 [pdf, ps, other]

Title: Procedural Generation of Angry Birds Levels using Building Constructive Grammar with Chinese-Style and/or Japanese-Style Models

Authors: YuXuan Jiang, Misaki Kaidan, Chun Yin Chu, Tomohiro Harada, Ruck Thawonmas

Journal-ref: Proc. of ASIAGRAPH 2016, Toyama, Japan, pp. 53-54, Mar. 5-6, 2016

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)

[77]  arXiv:1604.07990 [pdf, other]

Title: Probabilistic Graphical Models on Multi-Core CPUs using Java 8

Authors: Andres R. Masegosa, Ana M. Martinez, Hanen Borchani

Comments: Pre-print version of the paper presented in the special issue on Computational Intelligence Software at IEEE Computational Intelligence Magazine journal

Journal-ref: IEEE Computational Intelligence Magazine, 11(2), 41-54. 2016

Subjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (stat.ML)

[78]  arXiv:1604.08055 [pdf, ps, other]

Title: Selecting the Selection

Authors: Giles Reger, Martin Suda, Andrei Voronkov, Krystof Hoder

Comments: IJCAR 2016

Subjects: Artificial Intelligence (cs.AI)

[79]  arXiv:1604.08148 [pdf, ps, other]

Title: Defining Concepts of Emotion: From Philosophy to Science

Authors: Changqing Liu

Subjects: Artificial Intelligence (cs.AI)

[80]  arXiv:1604.08229 [pdf, other]

Title: Propositional Abduction with Implicit Hitting Sets

Authors: Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[81]  arXiv:1604.08268 [pdf, other]

Title: Quantum Cognition Beyond Hilbert Space I: Fundamentals

Authors: Diederik Aerts, Lyneth Beltran, Massimiliano Sassoli de Bianchi, Sandro Sozzo, Tomas Veloz

Comments: 10 pages, 2 figures

Journal-ref: In de Barros J., Coecke B., Pothos E. (Eds), Quantum Interaction. QI 2016 (pp. 81-98). Lecture Notes in Computer Science, vol 10106. Springer, Cham (2017)

Subjects: Artificial Intelligence (cs.AI); Quantum Physics (quant-ph)

[82]  arXiv:1604.08270 [pdf, other]

Title: Quantum cognition beyond Hilbert space II: Applications

Authors: Diederik Aerts, Lyneth Beltran, Massimiliano Sassoli de Bianchi, Sandro Sozzo, Tomas Veloz

Comments: 10 pages, 2 figures

Journal-ref: In de Barros J., Coecke B., Pothos E. (Eds) Quantum Interaction. QI 2016 (pp. 81-98). Lecture Notes in Computer Science, vol 10106. Springer, Cham (2017)

Subjects: Artificial Intelligence (cs.AI); Quantum Physics (quant-ph)

[83]  arXiv:1604.08340 [pdf, ps, other]

Title: Semantic Reasoning for Context-aware Internet of Things Applications

Authors: Altti Ilari Maarala, Xiang Su, Jukka Riekki

Subjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC)

[84]  arXiv:1604.08709 [pdf, ps, other]

Title: "Knowing value" logic as a normal modal logic

Authors: Tao Gu, Yanjing Wang

Comments: 21 pages, in Advances in Modal Logic Vol 11: 362-381 College Publications. This is a draft with a more detailed proof of Prop. 3.5

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[85]  arXiv:1604.08768 [pdf, other]

Title: Supervisory Control for Behavior Composition

Authors: Paolo Felli, Nitin Yadav, Sebastian Sardina

Subjects: Artificial Intelligence (cs.AI); Systems and Control (eess.SY)

[86]  arXiv:1604.00066 (cross-list from cs.CV) [pdf, other]

Title: To Fall Or Not To Fall: A Visual Approach to Physical Stability Prediction

Authors: Wenbin Li, Seyedmajid Azimi, Aleš Leonardis, Mario Fritz

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Robotics (cs.RO)

[87]  arXiv:1604.00449 (cross-list from cs.CV) [pdf, other]

Title: 3D-R2N2: A Unified Approach for Single and Multi-view 3D Object Reconstruction

Authors: Christopher B. Choy, Danfei Xu, JunYoung Gwak, Kevin Chen, Silvio Savarese

Comments: Appendix can be found at this http URL

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)

[88]  arXiv:1604.00461 (cross-list from cs.CL) [pdf, other]

Title: Embedding Lexical Features via Low-Rank Tensors

Authors: Mo Yu, Mark Dredze, Raman Arora, Matthew Gormley

Comments: Accepted by NAACL 2016

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[89]  arXiv:1604.00536 (cross-list from cs.LO) [pdf, ps, other]

Title: Improving SAT Solvers via Blocked Clause Decomposition

Authors: Jingchao Chen

Comments: 9 pages, 1 figure

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[90]  arXiv:1604.00644 (cross-list from cs.NE) [pdf, other]

Title: An electronic-game framework for evaluating coevolutionary algorithms

Authors: Karine da Silva Miras de Araújo, Fabrício Olivetti de França

Comments: This paper is a translation of \cite{karine2015}, published in Portuguese at Brazilian Congress on Computational Intelligence, 2015

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI)

[91]  arXiv:1604.00664 (cross-list from cs.CY) [pdf, other]

Title: Bicycle-Sharing System Analysis and Trip Prediction

Authors: Jiawei Zhang, Xiao Pan, Moyin Li, Philip S. Yu

Comments: 11 pages, 11 figures, accepted by 2016 IEEE MDM Conference

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI)

[92]  arXiv:1604.00697 (cross-list from cs.NE) [pdf, ps, other]

Title: A New Learning Method for Inference Accuracy, Core Occupation, and Performance Co-optimization on TrueNorth Chip

Authors: Wei Wen, Chunpeng Wu, Yandan Wang, Kent Nixon, Qing Wu, Mark Barnell, Hai Li, Yiran Chen

Comments: 6 pages; 9 figures; DAC 2016

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI)

[93]  arXiv:1604.00727 (cross-list from cs.CL) [pdf, other]

Title: Character-Level Question Answering with Attention

Authors: David Golub, Xiaodong He

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[94]  arXiv:1604.00921 (cross-list from cs.CY) [pdf, other]

Title: A Review of Theoretical and Practical Challenges of Trusted Autonomy in Big Data

Authors: Hussein A. Abbass, George Leu, Kathryn Merrick

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)

[95]  arXiv:1604.00923 (cross-list from cs.LG) [pdf, other]

Title: Data-Efficient Off-Policy Policy Evaluation for Reinforcement Learning

Authors: Philip S. Thomas, Emma Brunskill

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)

[96]  arXiv:1604.00932 (cross-list from cs.CC) [pdf, other]

Title: Asking the metaquestions in constraint tractability

Authors: Hubie Chen, Benoit Larose

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI)

[97]  arXiv:1604.00980 (cross-list from cs.CR) [pdf, ps, other]

Title: A Mathematical Trust Algebra for International Nation Relations Computation and Evaluation

Authors: Mohd Anuar Mat Isa, Ramlan Mahmod, Nur Izura Udzir, Jamalul-lail Ab Manan, Ali Dehghan Tanha

Comments: Keywords Trust Algebra, International Relations, Trust Computation, Foreign Policy, Politics, Dempster-Shafer, Subjective Logic, Common Criteria, Defense, National Security, Terrorism, Counter Terrorism, Trust Perception, Foreign Ministry, Intelligent

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)

[98]  arXiv:1604.01166 (cross-list from cs.DB) [pdf, ps, other]

Title: An Efficient Algorithm for Mining Frequent Sequence with Constraint Programming

Authors: John O.R. Aoga, Tias Guns, Pierre Schaus

Comments: frequent sequence mining, constraint programming

Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI)

[99]  arXiv:1604.01272 (cross-list from cs.CL) [pdf, ps, other]

Title: Feature extraction using Latent Dirichlet Allocation and Neural Networks: A case study on movie synopses

Authors: Despoina Christou

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Machine Learning (cs.LG); Machine Learning (stat.ML)

[100]  arXiv:1604.01335 (cross-list from cs.CV) [pdf, other]

Title: Deep Cross Residual Learning for Multitask Visual Recognition

Authors: Brendan Jou, Shih-Fu Chang

Comments: 10 pages, 6 figures, To appear in ACM Multimedia

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Multimedia (cs.MM)

[101]  arXiv:1604.01360 (cross-list from cs.CV) [pdf, other]

Title: The Curious Robot: Learning Visual Representations via Physical Interactions

Authors: Lerrel Pinto, Dhiraj Gandhi, Yuanfeng Han, Yong-Lae Park, Abhinav Gupta

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Robotics (cs.RO)

[102]  arXiv:1604.01673 (cross-list from cs.LO) [pdf, ps, other]

Title: On the uniform one-dimensional fragment

Authors: Antti Kuusisto

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Logic (math.LO)

[103]  arXiv:1604.01696 (cross-list from cs.CL) [pdf, other]

Title: A Corpus and Evaluation Framework for Deeper Understanding of Commonsense Stories

Authors: Nasrin Mostafazadeh, Nathanael Chambers, Xiaodong He, Devi Parikh, Dhruv Batra, Lucy Vanderwende, Pushmeet Kohli, James Allen

Comments: In Proceedings of the 2016 North American Chapter of the ACL (NAACL HLT), 2016

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[104]  arXiv:1604.01734 (cross-list from cs.GT) [pdf, ps, other]

Title: Efficiency and Sequenceability in Fair Division of Indivisible Goods with Additive Preferences

Authors: Sylvain Bouveret, Michel Lemaître (Toulouse)

Comments: COMSOC-2016, Jun 2016, Toulouse, France

Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI)

[105]  arXiv:1604.01802 (cross-list from cs.CV) [pdf, other]

Title: Learning to Track at 100 FPS with Deep Regression Networks

Authors: David Held, Sebastian Thrun, Silvio Savarese

Comments: To appear in European Conference on Computer Vision (ECCV) 2016

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Robotics (cs.RO)

[106]  arXiv:1604.02006 (cross-list from cs.CY) [pdf, ps, other]

Title: Accelerating Science: A Computing Research Agenda

Authors: Vasant G. Honavar, Mark D. Hill, Katherine Yelick

Comments: Computing Community Consortium (CCC) white paper, 17 pages

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Human-Computer Interaction (cs.HC)

[107]  arXiv:1604.02523 (cross-list from cs.RO) [pdf, ps, other]

Title: Differential Evolution for Efficient AUV Path Planning in Time Variant Uncertain Underwater Environment

Authors: S. Mahmoud Zadeh, D. M.W. Powers, A. Yazdani, K. Sammut, A Atyabi

Comments: 9 Pages,6 figures

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI)

[108]  arXiv:1604.03114 (cross-list from cs.CL) [pdf, other]

Title: Conversational flow in Oxford-style debates

Authors: Justine Zhang, Ravi Kumar, Sujith Ravi, Cristian Danescu-Niculescu-Mizil

Comments: To appear at NAACL 2016. 5 pp, 1 fig. Data and other info available at this http URL

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph); Machine Learning (stat.ML)

[109]  arXiv:1604.03243 (cross-list from cs.CC) [pdf, other]

Title: Separating Sets of Strings by Finding Matching Patterns is Almost Always Hard

Authors: Giuseppe Lancia, Luke Mathieson, Pablo Moscato

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS)

[110]  arXiv:1604.03265 (cross-list from cs.CV) [pdf, other]

Title: Volumetric and Multi-View CNNs for Object Classification on 3D Data

Authors: Charles R. Qi, Hao Su, Matthias Niessner, Angela Dai, Mengyuan Yan, Leonidas J. Guibas

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)

[111]  arXiv:1604.03303 (cross-list from cs.RO) [pdf, ps, other]

Title: Optimal Route Planning with Prioritized Task Scheduling for AUV Missions

Authors: S. Mahmoud Zadeh, D. Powers, K. Sammut, A. Lammas, A.M. Yazdani

Journal-ref: IEEE International Symposium on Robotics and Intelligent Sensors, pp 7-15, 2015

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI)

[112]  arXiv:1604.03468 (cross-list from cs.RO) [pdf, other]

Title: Backward-Forward Search for Manipulation Planning

Authors: Caelan Reed Garrett, Tomas Lozano-Perez, Leslie Pack Kaelbling

Comments: 8 pages in IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2015

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI)

[113]  arXiv:1604.03526 (cross-list from cs.RO) [pdf, other]

Title: Spatiotemporal Articulated Models for Dynamic SLAM

Authors: Suren Kumar, Vikas Dhiman, Madan Ravi Ganesh, Jason J. Corso

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI)

[114]  arXiv:1604.03632 (cross-list from cs.GT) [pdf, other]

Title: Strategyproof Peer Selection using Randomization, Partitioning, and Apportionment

Authors: Haris Aziz, Omer Lev, Nicholas Mattei, Jeffrey S. Rosenschein, Toby Walsh

Comments: 1 Figure, Source Code available at this https URL

Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)

[115]  arXiv:1604.03655 (cross-list from cs.DS) [pdf, ps, other]

Title: A Discrete and Bounded Envy-Free Cake Cutting Protocol for Any Number of Agents

Authors: Haris Aziz, Simon Mackenzie

Subjects: Data Structures and Algorithms (cs.DS); Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT)

[116]  arXiv:1604.03692 (cross-list from cs.RO) [pdf, other]

Title: Learning Social Affordance for Human-Robot Interaction

Authors: Tianmin Shu, M. S. Ryoo, Song-Chun Zhu

Comments: International Joint Conference on Artificial Intelligence (IJCAI), 2016

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[117]  arXiv:1604.03793 (cross-list from cs.LO) [pdf, other]

Title: HordeQBF: A Modular and Massively Parallel QBF Solver

Authors: Tomas Balyo, Florian Lonsing

Comments: camera-ready version, 6-page tool paper, to appear in the proceedings of SAT 2016, LNCS, Springer

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[118]  arXiv:1604.03853 (cross-list from cs.LG) [pdf, other]

Title: Hierarchical Compound Poisson Factorization

Authors: Mehmet E. Basbug, Barbara E. Engelhardt

Comments: Will appear on Proceedings of the 33 rd International Conference on Machine Learning, New York, NY, USA, 2016. JMLR: W&CP volume 48

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)

[119]  arXiv:1604.03901 (cross-list from cs.CV) [pdf, other]

Title: Single-Image Depth Perception in the Wild

Authors: Weifeng Chen, Zhao Fu, Dawei Yang, Jia Deng

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)

[120]  arXiv:1604.03968 (cross-list from cs.CL) [pdf, other]

Title: Visual Storytelling

Authors: Ting-Hao (Kenneth) Huang, Francis Ferraro, Nasrin Mostafazadeh, Ishan Misra, Aishwarya Agrawal, Jacob Devlin, Ross Girshick, Xiaodong He, Pushmeet Kohli, Dhruv Batra, C. Lawrence Zitnick, Devi Parikh, Lucy Vanderwende, Michel Galley, Margaret Mitchell

Comments: to appear in NAACL 2016

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV)

[121]  arXiv:1604.04138 (cross-list from cs.NE) [pdf, other]

Title: An Improved Discrete Bat Algorithm for Symmetric and Asymmetric Traveling Salesman Problems

Authors: Eneko Osaba, Xin-She Yang, Fernando Diaz, Pedro Lopez-Garcia, Roberto Carballedo

Comments: 1 figure, 8 tables

Journal-ref: Engineering Applications of Artificial Intelligence, 48 (1), 59-71 (2016)

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)

[122]  arXiv:1604.04146 (cross-list from cs.NE) [pdf, other]

Title: A Discrete Firefly Algorithm to Solve a Rich Vehicle Routing Problem Modelling a Newspaper Distribution System with Recycling Policy

Authors: E. Osaba, Xin-She Yang, F. Diaz, E. Onieva, A. D. Masegosa, A. Perallos

Comments: 7 tables and 4 figures

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)

[123]  arXiv:1604.04358 (cross-list from cs.CL) [pdf, other]

Title: StalemateBreaker: A Proactive Content-Introducing Approach to Automatic Human-Computer Conversation

Authors: Xiang Li, Lili Mou, Rui Yan, Ming Zhang

Comments: Accepted by IJCAI-16

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR)

[124]  arXiv:1604.04359 (cross-list from cs.MA) [pdf, other]

Title: Complexity of Manipulation with Partial Information in Voting

Authors: Palash Dey, Neeldhara Misra, Y. Narahari

Comments: Appeared in IJCAI 2016. Fixed some typos

Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Computers and Society (cs.CY); Data Structures and Algorithms (cs.DS)

[125]  arXiv:1604.04378 (cross-list from cs.CL) [pdf, other]

Title: Match-SRNN: Modeling the Recursive Matching Structure with Spatial RNN

Authors: Shengxian Wan, Yanyan Lan, Jun Xu, Jiafeng Guo, Liang Pang, Xueqi Cheng

Comments: Accepted by IJCAI-2016

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)