Computer Science

Authors and titles for December 2016

[151] arXiv:1612.00670 [pdf, other]

Title: How Are Programs Found? Speculating About Language Ergonomics With Curry-Howard

Johannes Emerich

Journal-ref: Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2016). ACM, New York, NY, USA, 212-223

Subjects: Programming Languages (cs.PL)

[152] arXiv:1612.00671 [pdf, other]

Title: Reliable Evaluation of Neural Network for Multiclass Classification of Real-world Data

Siddharth Dinesh, Tirtharaj Dash

Subjects: Neural and Evolutionary Computing (cs.NE); Machine Learning (cs.LG)

[153] arXiv:1612.00675 [pdf, other]

Title: The Weight in Enumeration

Johannes Schmidt

Comments: 12 main pages + 5 appendix pages

Subjects: Computational Complexity (cs.CC)

[154] arXiv:1612.00686 [pdf, other]

Title: Identifying and Categorizing Anomalies in Retinal Imaging Data

Philipp Seeböck, Sebastian Waldstein, Sophie Klimscha, Bianca S. Gerendas, René Donner, Thomas Schlegl, Ursula Schmidt-Erfurth, Georg Langs

Comments: Extended Abstract, Accepted for NIPS 2016 Workshop "Machine Learning for Health"

Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV)

[155] arXiv:1612.00693 [pdf, other]

Title: From signatures to monads in UniMath

Benedikt Ahrens, Ralph Matthes, Anders Mörtberg

Comments: 30 pages

Journal-ref: J Autom Reasoning (2019) Vol 63, 285-318

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[156] arXiv:1612.00694 [pdf, other]

Title: ESE: Efficient Speech Recognition Engine with Sparse LSTM on FPGA

Song Han, Junlong Kang, Huizi Mao, Yiming Hu, Xin Li, Yubin Li, Dongliang Xie, Hong Luo, Song Yao, Yu Wang, Huazhong Yang, William J. Dally

Comments: Accepted as full paper in FPGA'17, Monterey, CA; Also appeared at 1st International Workshop on Efficient Methods for Deep Neural Networks at NIPS 2016, Barcelona, Spain

Subjects: Computation and Language (cs.CL)

[157] arXiv:1612.00712 [pdf, other]

Title: Probabilistic Neural Programs

Kenton W. Murray, Jayant Krishnamurthy

Comments: Appears in NAMPI workshop at NIPS 2016

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

[158] arXiv:1612.00715 [pdf, other]

Title: Frequency Regulation in Islanded Microgrid Using Demand Response

Alireza Eshraghi, Mahdi Motalleb, Ehsan Reihani, Reza Ghorbani

Comments: 6 pages

Subjects: Systems and Control (eess.SY)

[159] arXiv:1612.00716 [pdf, other]

Title: A Game Theoretic Model of Demand Response Aggregator Competition for Selling Stored Energy in Regulated and Unregulated Power Markets

Mahdi Motalleb, Reza Ghorbani

Comments: 26 pages

Subjects: Systems and Control (eess.SY)

[160] arXiv:1612.00729 [pdf, other]

Title: Automated assessment of non-native learner essays: Investigating the role of linguistic features

Sowmya Vajjala

Comments: Article accepted for publication at: International Journal of Artificial Intelligence in Education (IJAIED). To appear in early 2017 (journal url: this http URL)

Subjects: Computation and Language (cs.CL)

[161] arXiv:1612.00730 [pdf, other]

Title: A Pilot Case Study on Innovative Behaviour: Lessons Learned and Directions for Future Work

Cleviton Monteiro, Fabio Queda Bueno da Silva, Luiz Fernando Capretz

Comments: 6 pages in 10th International Symposium on Empirical Software Engineering and Measurement (ESEM), Ciudad Real, Spain, September 2016

Subjects: Computers and Society (cs.CY)

[162] arXiv:1612.00733 [pdf, other]

Title: Trends in Students Media Usage

Gerd Gidion, Luiz Fernando Capretz, Michael Grosch, Ke Meadows

Comments: arXiv admin note: text overlap with arXiv:1507.06857

Journal-ref: International Conference on Computational Science and Its Applications (ICCSA), Beijing, China, pp. 491-502, LNCS 9786, 2016

Subjects: Computers and Society (cs.CY)

[163] arXiv:1612.00734 [pdf, other]

Title: Why a Testing Career Is Not the First Choice of Engineers

Pradeep Kashinath Waychal, Luiz Fernando Capretz

Journal-ref: 123rd Annual Conference of the American Society for Engineering Education, Paper ID #14994, 12 pages, 2016

Subjects: Software Engineering (cs.SE)

[164] arXiv:1612.00735 [pdf, other]

Title: Environmental Factors Influencing Individual Decision-Making Behavior in Software Project: A Systematic Literature Review

Jingdong Jia, Pengnan Zhang, Luiz Fernando Capretz

Comments: in IEEE 9th International Workshop on Cooperative and Human Aspects of Software Engineering, 2016

Subjects: Software Engineering (cs.SE)

[165] arXiv:1612.00738 [pdf, other]

Title: Action Recognition with Dynamic Image Networks

Hakan Bilen, Basura Fernando, Efstratios Gavves, Andrea Vedaldi

Comments: 14 pages, 9 figures, 9 tables

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[166] arXiv:1612.00742 [pdf, other]

Title: Comparison of the COG Defuzzification Technique and Its Variations to the GPA Index

Michael Gr. Voskoglou

Comments: 11 pages, 5 figures, 2 tables

Journal-ref: American Journal of Computational and Applied Mathematics, 6(5), 187-193, 2016

Subjects: Artificial Intelligence (cs.AI)

[167] arXiv:1612.00745 [pdf, other]

Title: Cognitive Deep Machine Can Train Itself

András Lőrincz, Máté Csákvári, Áron Fóthi, Zoltán Ádám Milacski, András Sárkány, Zoltán Tősér

Comments: 14 pages, 8 figures

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

[168] arXiv:1612.00750 [pdf, other]

Title: Non-Negative Matrix Factorizations for Multiplex Network Analysis

Vladimir Gligorijevic, Yannis Panagakis, Stefanos Zafeiriou

Comments: 12 pages, 4 figures, 3 tables

Subjects: Social and Information Networks (cs.SI); Machine Learning (stat.ML)

[169] arXiv:1612.00766 [pdf, other]

Title: I Spy with My Little Eye: Analysis and Detection of Spying Browser Extensions

Anupama Aggarwal, Bimal Viswanath, Saravana Kumar, Ayush Shah, Liang Zhang, Ponnurangam Kumaraguru

Subjects: Cryptography and Security (cs.CR)

[170] arXiv:1612.00769 [pdf, other]

Title: Cahn-Hilliard on Surfaces: A Numerical Study

Prerna Gera, David Salac

Subjects: Numerical Analysis (math.NA)

[171] arXiv:1612.00788 [pdf, other]

Title: A line search algorithm for Wind field adjustment with incomplete data and RBF approximation

Daniel A. Cervantes, Pedro Gonzalez-Casanova, Christian Gout, Miguel Angel Moreles

Subjects: Numerical Analysis (math.NA)

[172] arXiv:1612.00789 [pdf, other]

Title: Stability and error analysis for a diffuse interface approach to an advection-diffusion equation on a moving surface

Klaus Deckelnick, Vanessa Styles

Subjects: Numerical Analysis (math.NA)

[173] arXiv:1612.00793 [pdf, other]

Title: FW/CADIS-$Ω$: An angle-informed hybrid method for deep-penetration radiation transport

Madicken Munk, R. N. Slaybaugh, Tara M. Pandya, Seth R. Johnson, T. M. Evans

Journal-ref: M. Munk, R.N. Slaybaugh, Tara M. Pandya, Seth R. Johnson, T. M. Evans, "An Angle-Informed Hybrid Method for CADIS and FW-CADIS." Proceedings of the PHYSOR 2016 Meeting in Sun Valley, ID, May 2016

Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)

[174] arXiv:1612.00796 [pdf, other]

Title: Overcoming catastrophic forgetting in neural networks

James Kirkpatrick, Razvan Pascanu, Neil Rabinowitz, Joel Veness, Guillaume Desjardins, Andrei A. Rusu, Kieran Milan, John Quan, Tiago Ramalho, Agnieszka Grabska-Barwinska, Demis Hassabis, Claudia Clopath, Dharshan Kumaran, Raia Hadsell

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

[175] arXiv:1612.00799 [pdf, other]

Title: A Benchmark for Endoluminal Scene Segmentation of Colonoscopy Images

David Vázquez, Jorge Bernal, F. Javier Sánchez, Gloria Fernández-Esparrach, Antonio M. López, Adriana Romero, Michal Drozdzal, Aaron Courville

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[176] arXiv:1612.00800 [pdf, other]

Title: HealthAdvisor: Recommendation System for Wearable Technologies enabling Proactive Health Monitoring

Shubhi Asthana, Ray Strong, Aly Megahed

Comments: NIPS Workshop on Machine Learning for Health 2016, Barcelona, Spain

Subjects: Computers and Society (cs.CY)

[177] arXiv:1612.00807 [pdf, other]

Title: Energy-efficient 8-point DCT Approximations: Theory and Hardware Architectures

R. J. Cintra, F. M. Bayer, V. A. Coutinho, S. Kulasekera, A. Madanayake

Comments: 21 pages, 7 figures, 5 tables

Journal-ref: Circuits, Systems, and Signal Processing, November 2016, Volume 35, Issue 11, pp 4009-4029

Subjects: Multimedia (cs.MM); Data Structures and Algorithms (cs.DS); Computation (stat.CO)

[178] arXiv:1612.00814 [pdf, other]

Title: Perspective Transformer Nets: Learning Single-View 3D Object Reconstruction without 3D Supervision

Xinchen Yan, Jimei Yang, Ersin Yumer, Yijie Guo, Honglak Lee

Comments: published at NIPS 2016

Subjects: Computer Vision and Pattern Recognition (cs.CV); Graphics (cs.GR); Machine Learning (cs.LG)

[179] arXiv:1612.00817 [pdf, other]

Title: Summary - TerpreT: A Probabilistic Programming Language for Program Induction

Alexander L. Gaunt, Marc Brockschmidt, Rishabh Singh, Nate Kushman, Pushmeet Kohli, Jonathan Taylor, Daniel Tarlow

Comments: 7 pages, 2 figures, 4 tables in 1st Workshop on Neural Abstract Machines & Program Induction (NAMPI), @NIPS 2016

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

[180] arXiv:1612.00827 [pdf, other]

Title: Learning Operations on a Stack with Neural Turing Machines

Tristan Deleu, Joseph Dureau

Comments: 1st Workshop on Neural Abstract Machines & Program Induction (NAMPI), NIPS 2016, Barcelona, Spain

Subjects: Machine Learning (cs.LG)

[181] arXiv:1612.00835 [pdf, other]

Title: Scribbler: Controlling Deep Image Synthesis with Sketch and Color

Patsorn Sangkloy, Jingwan Lu, Chen Fang, Fisher Yu, James Hays

Comments: 13 pages, 14 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[182] arXiv:1612.00837 [pdf, other]

Title: Making the V in VQA Matter: Elevating the Role of Image Understanding in Visual Question Answering

Yash Goyal, Tejas Khot, Douglas Summers-Stay, Dhruv Batra, Devi Parikh

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

[183] arXiv:1612.00838 [pdf, other]

Title: A scalable preconditioner for a DPG method

Andrew T. Barker, Veselin Dobrev, Jay Gopalakrishnan, Tzanio Kolev

Journal-ref: SIAM Journal on Scientific Computing, Volume 40, Issue 2, pp. A1187-A1203, 2018

Subjects: Numerical Analysis (math.NA)

[184] arXiv:1612.00840 [pdf, other]

Title: A novel multiclassSVM based framework to classify lithology from well logs: a real-world application

Soumi Chaki, Aurobinda Routray, William K. Mohanty, Mamata Jenamani

Comments: 5 pages, 5 figures, 4 tables Presented at INDICON 2015 at New Delhi, India

Subjects: Machine Learning (cs.LG); Applications (stat.AP); Machine Learning (stat.ML)

[185] arXiv:1612.00841 [pdf, other]

Title: A Novel Framework based on SVDD to Classify Water Saturation from Seismic Attributes

Soumi Chaki, Akhilesh Kumar Verma, Aurobinda Routray, William K. Mohanty, Mamata Jenamani

Comments: 6 pages, 8 figures, 2table Presented at Fourth International Conference on Emerging Applications of Information Technology (EAIT 2014), ISI Kolkata, India

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

[186] arXiv:1612.00866 [pdf, other]

Title: Creating a Real-Time, Reproducible Event Dataset

John Beieler

Subjects: Computation and Language (cs.CL)

[187] arXiv:1612.00874 [pdf, other]

Title: Multi-resolution Data Fusion for Super-Resolution Electron Microscopy

Suhas Sreehari, S. V. Venkatakrishnan, Katherine L. Bouman, Jeffrey P. Simmons, Lawrence F. Drummy, Charles A. Bouman

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[188] arXiv:1612.00876 [pdf, other]

Title: FRIDA: FRI-Based DOA Estimation for Arbitrary Array Layouts

Hanjie Pan, Robin Scheibler, Eric Bezzam, Ivan Dokmanic, Martin Vetterli

Comments: Submitted to ICASSP2017

Subjects: Sound (cs.SD)

[189] arXiv:1612.00878 [pdf, other]

Title: A Novel Approach for Modeling Complex Deep Futures

Edwin Upchurch, Leila Meshket

Subjects: Computers and Society (cs.CY)

[190] arXiv:1612.00881 [pdf, other]

Title: Procedural Generation of Videos to Train Deep Action Recognition Networks

César Roberto de Souza, Adrien Gaidon, Yohann Cabon, Antonio Manuel López Peña

Comments: Accepted for publication at CVPR 2017. this http URL

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[191] arXiv:1612.00882 [pdf, other]

Title: Success Probability of Exploration: a Concrete Analysis of Learning Efficiency

Liangpeng Zhang, Ke Tang, Xin Yao

Subjects: Machine Learning (cs.LG)

[192] arXiv:1612.00888 [pdf, other]

Title: On The Fundamental Energy Tradeoffs of Geographical Load Balancing

Abbas Kiani, Nirwan Ansari

Comments: to appear IEEE Communications Magazine

Journal-ref: IEEE Communications Magazine, Volume: 55, Issue: 5, May 2017

Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)

[193] arXiv:1612.00889 [pdf, other]

Title: New Frameworks for Offline and Streaming Coreset Constructions

Vladimir Braverman, Dan Feldman, Harry Lang, Adiel Statman, Samson Zhou

Subjects: Data Structures and Algorithms (cs.DS)

[194] arXiv:1612.00891 [pdf, other]

Title: Parameter Compression of Recurrent Neural Networks and Degradation of Short-term Memory

Jonathan A. Cox

Comments: Accepted to IJCNN 2017. Final camera ready paper

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)

[195] arXiv:1612.00895 [pdf, other]

Title: Motif Clustering and Overlapping Clustering for Social Network Analysis

Pan Li, Hoang Dau, Gregory Puleo, Olgica Milenkovic

Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[196] arXiv:1612.00901 [pdf, other]

Title: Commonly Uncommon: Semantic Sparsity in Situation Recognition

Mark Yatskar, Vicente Ordonez, Luke Zettlemoyer, Ali Farhadi

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

[197] arXiv:1612.00904 [pdf, other]

Title: Streaming Principal Component Analysis From Incomplete Data

Armin Eftekhari, Gregory Ongie, Laura Balzano, Michael B. Wakin

Subjects: Information Theory (cs.IT)

[198] arXiv:1612.00907 [pdf, other]

Title: Multigrid In Energy Preconditioner for Krylov Solvers

R. N. Slaybaugh, T. M. Evans, G. G. Davidson, P. P. H. Wilson

Journal-ref: Journal of Computational Physics. 242 (2013) 405-419

Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)

[199] arXiv:1612.00913 [pdf, other]

Title: End-to-End Joint Learning of Natural Language Understanding and Dialogue Manager

Xuesong Yang, Yun-Nung Chen, Dilek Hakkani-Tur, Paul Crook, Xiujun Li, Jianfeng Gao, Li Deng

Comments: Accepted in The 42nd IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP2017)

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

[200] arXiv:1612.00914 [pdf, other]

Title: Some ternary cubic two-weight codes

Minjia Shi, Daitao Huang, Patrick Sole

Comments: 11 pages, submitted on 2 December. arXiv admin note: text overlap with arXiv:1612.00118

Subjects: Information Theory (cs.IT)