Computer Science

Authors and titles for Mar 2017

[1]  arXiv:1703.00009 [pdf, other]

Title: Nonlinear Model and its Inverse of an Audio System

Authors: Alessandro Loriga

Comments: 113 pages, master thesis

Subjects: Sound (cs.SD)

[2]  arXiv:1703.00031 [pdf, other]

Title: MPC Validation and Aggregation of Unit Vectors

Authors: Dylan Gray, Joshua Joy, Mario Gerla

Subjects: Cryptography and Security (cs.CR)

[3]  arXiv:1703.00034 [pdf, other]

Title: Weighted Random Walk Sampling for Multi-Relational Recommendation

Authors: Fatemeh Vahedian, Robin Burke, Bamshad Mobasher

Subjects: Information Retrieval (cs.IR); Social and Information Networks (cs.SI)

[4]  arXiv:1703.00035 [pdf, other]

Title: Context-Sensitive Super-Resolution for Fast Fetal Magnetic Resonance Imaging

Authors: Steven McDonagh, Benjamin Hou, Konstantinos Kamnitsas, Ozan Oktay, Amir Alansary, Mary Rutherford, Jo V. Hajnal, Bernhard Kainz

Comments: 11 pages, 6 figures, published in Proc MICCAI RAMBO'17 this https URL

Journal-ref: Springer LNCS 10555 2017

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

[5]  arXiv:1703.00042 [pdf, ps, other]

Title: Reproducible experiments on dynamic resource allocation in cloud data centers

Authors: Andreas Wolke, Martin Bichler, Fernando Chirigati, Victoria Steeves

Journal-ref: Information Systems, Volume 59, July 2016, Pages 98-101, ISSN 0306-4379

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[6]  arXiv:1703.00043 [pdf, other]

Title: Tree tribes and lower bounds for switching lemmas

Authors: Jenish C. Mehta

Subjects: Computational Complexity (cs.CC)

[7]  arXiv:1703.00045 [pdf, ps, other]

Title: Aggregated knowledge from a small number of debates outperforms the wisdom of large crowds

Authors: Joaquin Navajas, Tamara Niella, Gerry Garbulsky, Bahador Bahrami, Mariano Sigman

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

[8]  arXiv:1703.00048 [pdf, ps, other]

Title: Provably Optimal Algorithms for Generalized Linear Contextual Bandits

Authors: Lihong Li, Yu Lu, Dengyong Zhou

Comments: Published at ICML 2017

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

[9]  arXiv:1703.00050 [pdf, other]

Title: SceneSeer: 3D Scene Design with Natural Language

Authors: Angel X. Chang, Mihail Eric, Manolis Savva, Christopher D. Manning

Subjects: Graphics (cs.GR); Computation and Language (cs.CL); Human-Computer Interaction (cs.HC)

[10]  arXiv:1703.00053 [pdf, other]

Title: Verified Low-Level Programming Embedded in F*

Authors: Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy

Comments: extended version of ICFP final camera ready version; only Acknowledgements differ from 30 Aug 2017 version

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)

[11]  arXiv:1703.00055 [pdf, other]

Title: A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations

Authors: Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin

Comments: CPP'18 extended version with the missing ERC acknowledgement

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)

[12]  arXiv:1703.00060 [pdf, ps, other]

Title: Achieving non-discrimination in prediction

Authors: Lu Zhang (1), Yongkai Wu (1), Xintao Wu (1) ((1) University of Arkansas)

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

[13]  arXiv:1703.00061 [pdf, other]

Title: SceneSuggest: Context-driven 3D Scene Design

Authors: Manolis Savva, Angel X. Chang, Maneesh Agrawala

Subjects: Graphics (cs.GR); Human-Computer Interaction (cs.HC)

[14]  arXiv:1703.00064 [pdf, other]

Title: Ending the Anomaly: Achieving Low Latency and Airtime Fairness in WiFi

Authors: Toke Høiland-Jørgensen, Michał Kazior, Dave Täht, Per Hurtig, Anna Brunstrom

Subjects: Networking and Internet Architecture (cs.NI)

[15]  arXiv:1703.00066 [pdf, ps, other]

Title: On the Power of Learning from $k$-Wise Queries

Authors: Vitaly Feldman, Badih Ghazi

Comments: 32 pages, Appeared in Innovations in Theoretical Computer Science (ITCS) 2017

Subjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS)

[16]  arXiv:1703.00069 [pdf, other]

Title: Deep Image Harmonization

Authors: Yi-Hsuan Tsai, Xiaohui Shen, Zhe Lin, Kalyan Sunkavalli, Xin Lu, Ming-Hsuan Yang

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

[17]  arXiv:1703.00073 [pdf, ps, other]

Title: Physically unclonable function using initial waveform of ring oscillators on 65 nm CMOS technology

Authors: Tetsufumi Tanamoto, Satoshi Takaya, Nobuaki Sakamoto, Hirotsugu Kasho, Shinichi Yasuda, Takao Marukame, Shinobu Fujita, Yuichiro Mitani

Comments: 5 pages, 9 figures

Journal-ref: Jpn. J. Appl. Phys. 56, 04CF13 (2017)

Subjects: Cryptography and Security (cs.CR); Hardware Architecture (cs.AR)

[18]  arXiv:1703.00075 [pdf, ps, other]

Title: Discrete Wavelet Transform Based Algorithm for Recognition of QRS Complexes

Authors: Rachid Haddadi, Elhassane Abdelmounim, Mustapha El Hanine, Abdelaziz Belaguid

Journal-ref: World of Computer Science and Information Technology Journal (WCSIT) ; ISSN: 2221-0741; Vol. 4, No. 9, 127-132, 2014

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

[19]  arXiv:1703.00079 [pdf, other]

Title: Fault Tolerant Thermal Control of Steam Turbine Shell Deflections

Authors: Mert Geveci

Comments: Six pages, nine figures, and one table

Subjects: Systems and Control (eess.SY)

[20]  arXiv:1703.00080 [pdf, other]

Title: Efficient Computation of Subspace Skyline over Categorical Domains

Authors: Md Farhadur Rahman, Abolfazl Asudeh, Nick Koudas, Gautam Das

Subjects: Databases (cs.DB)

[21]  arXiv:1703.00083 [pdf, other]

Title: Distributed Frequency Control with Operational Constraints, Part II: Network Power Balance

Authors: Zhaojian Wang, Feng Liu, Steven H. Low, Changhong Zhao, Shengwei Mei

Subjects: Systems and Control (eess.SY)

[22]  arXiv:1703.00084 [pdf, other]

Title: Multi-Sensor Data Pattern Recognition for Multi-Target Localization: A Machine Learning Approach

Authors: Kasthurirengan Suresh, Samuel Silva, Johnathan Votion, Yongcan Cao

Comments: submitted for conference publication

Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Machine Learning (stat.ML)

[23]  arXiv:1703.00087 [pdf, ps, other]

Title: Supervised Saliency Map Driven Segmentation of the Lesions in Dermoscopic Images

Authors: Mostafa Jahanifar, Neda Zamani Tajeddin, Babak Mohammadzadeh Asl, Ali Gooya

Comments: ISIC2017, JBHI

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

[24]  arXiv:1703.00089 [pdf, other]

Title: A Joint Identification Approach for Argumentative Writing Revisions

Authors: Fan Zhang, Diane Litman

Subjects: Computation and Language (cs.CL)

[25]  arXiv:1703.00095 [pdf, other]

Title: Active End-Effector Pose Selection for Tactile Object Recognition through Monte Carlo Tree Search

Authors: Mabel M. Zhang, Nikolay Atanasov, Kostas Daniilidis

Comments: Accepted to International Conference on Intelligent Robots and Systems (IROS) 2017

Subjects: Robotics (cs.RO)