Computer Science

Authors and titles for January 2016

[276] arXiv:1601.01577 [pdf, other]

Title: Gender Identification using MFCC for Telephone Applications - A Comparative Study

Jamil Ahmad, Mustansar Fiaz, Soon-il Kwon, Maleerat Sodanil, Bay Vo, Sung Wook Baik

Journal-ref: International Journal of Computer Science and Electronics Engineering 3.5 (2015): 351-355

Subjects: Sound (cs.SD)

[277] arXiv:1601.01579 [pdf, other]

Title: FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems

Florent Jacquemard, Luc Segoufin, Jerémie Dimino

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 2 (April 26, 2016) lmcs:1635

Subjects: Formal Languages and Automata Theory (cs.FL)

[278] arXiv:1601.01586 [pdf, other]

Title: Guarded Dependent Type Theory with Coinductive Types

Aleš Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus E. Møgelberg, Lars Birkedal

Comments: This is the technical report version of a paper to appear in the proceedings of FoSSaCS 2016

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

[279] arXiv:1601.01587 [pdf, other]

Title: Distributed Synthesis in Continuous Time

Holger Hermanns, Jan Krčál, Steen Vester

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

[280] arXiv:1601.01597 [pdf, other]

Title: Grafalgo - A Library of Graph Algorithms and Supporting Data Structures (revised)

Jonathan Turner

Subjects: Data Structures and Algorithms (cs.DS)

[281] arXiv:1601.01598 [pdf, other]

Title: Strongly Monotone Drawings of Planar Graphs

Stefan Felsner, Alexander Igamberdiev, Philipp Kindermann, Boris Klemz, Tamara Mchedlidze, Manfred Scheucher

Subjects: Computational Geometry (cs.CG)

[282] arXiv:1601.01607 [pdf, other]

Title: NodIO, a JavaScript framework for volunteer-based evolutionary algorithms : first results

Juan-J. Merelo, Mario García-Valdez, Pedro A. Castillo, Pablo García-Sánchez, P. de las Cuevas, Nuria Rico

Comments: GeNeura 2006-01

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Neural and Evolutionary Computing (cs.NE)

[283] arXiv:1601.01608 [pdf, other]

Title: Framework for cloud computing adoption: A road map for Smes to cloud migration

Nabeel Khan, Adil Al-Yasiri

Comments: 15 Pages in International Journal on cloud computing : Services and Architecture

Journal-ref: International Journal on Cloud Computing: Services and Architecture (IJCCSA) Vol. 5, No. 5/6, December 2015

Subjects: Computers and Society (cs.CY)

[284] arXiv:1601.01611 [pdf, other]

Title: Automatic Construction of Evaluation Sets and Evaluation of Document Similarity Models in Large Scholarly Retrieval Systems

Kriste Krstovski, David A. Smith, Michael J. Kurtz

Subjects: Information Retrieval (cs.IR)

[285] arXiv:1601.01612 [pdf, other]

Title: Memristive fingerprints of electric arcs

Wieslaw Marszalek

Subjects: Emerging Technologies (cs.ET)

[286] arXiv:1601.01614 [pdf, other]

Title: Toward Organic Computing Approach for Cybernetic Responsive Environment

Duhart Clément, Bertelle Cyrille

Journal-ref: International Journal of Ambient Systems and Applications (IJASA), december 2015, Volume 3, Number 4

Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA); Networking and Internet Architecture (cs.NI)

[287] arXiv:1601.01635 [pdf, other]

Title: Fuzzy Object-Oriented Dynamic Networks. I

D. A. Terletskyi, A. I. Provotar

Journal-ref: Cybernetics and Systems Analysis, 2015, Volume 51, Issue 1, pp 34-40

Subjects: Artificial Intelligence (cs.AI)

[288] arXiv:1601.01645 [pdf, other]

Title: Live-action Virtual Reality Games

Luis Valente (1), Esteban Clua (1), Alexandre Ribeiro Silva (2), Bruno Feijó (3) ((1) Universidade Federal Fluminense, (2) Instituto Federal do Triângulo Mineiro, (3) PUC-Rio)

Comments: 10 pages, technical report published at "Monografias em Ciência da Computação, PUC-Rio" (ISSN 0103-9741), MCC03/15, July 2015

Subjects: Human-Computer Interaction (cs.HC)

[289] arXiv:1601.01648 [pdf, other]

Title: Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata

Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans

Comments: 50 pages, AVACS Technical Report No. 111 (SFB/TR 14 AVACS)

Subjects: Logic in Computer Science (cs.LO)

[290] arXiv:1601.01654 [pdf, other]

Title: Compression-Based Compressed Sensing

Farideh Ebrahim Rezagah, Shirin Jalali, Elza Erkip, H. Vincent Poor

Subjects: Information Theory (cs.IT)

[291] arXiv:1601.01660 [pdf, other]

Title: An Automaton Learning Approach to Solving Safety Games over Infinite Graphs

Daniel Neider, Ufuk Topcu

Subjects: Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[292] arXiv:1601.01675 [pdf, other]

Title: Ensemble Methods of Classification for Power Systems Security Assessment

Alexei Zhukov, Victor Kurbatsky, Nikita Tomin, Denis Sidorov, Daniil Panasetsky, Aoife Foley

Comments: 6 pages, 4 figures, 4 tables. Submitted to PSSC

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

[293] arXiv:1601.01705 [pdf, other]

Title: Learning to Compose Neural Networks for Question Answering

Jacob Andreas, Marcus Rohrbach, Trevor Darrell, Dan Klein

Subjects: Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV); Neural and Evolutionary Computing (cs.NE)

[294] arXiv:1601.01722 [pdf, other]

Title: Profiling-Assisted Decoupled Access-Execute

Jonatan Waern, Per Ekemark, Konstantinos Koukos, Stefanos Kaxiras, Alexandra Jimborean

Comments: Presented at HIP3ES, 2016

Subjects: Hardware Architecture (cs.AR); Distributed, Parallel, and Cluster Computing (cs.DC)

[295] arXiv:1601.01725 [pdf, other]

Title: On Hierarchical Communication Topologies in the pi-calculus

Emanuele D'Osualdo, C.-H. Luke Ong

Comments: 42 pages, ESOP16. arXiv admin note: text overlap with arXiv:1502.00944

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

[296] arXiv:1601.01736 [pdf, other]

Title: Algebraic File Synchronization: Adequacy and Completeness

Elod Pal Csirmaz

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

[297] arXiv:1601.01746 [pdf, other]

Title: A Prefixed-Itemset-Based Improvement For Apriori Algorithm

Shoujian Yu, Yiyang Zhou

Comments: 9 pages, 2 figures

Subjects: Data Structures and Algorithms (cs.DS); Databases (cs.DB)

[298] arXiv:1601.01747 [pdf, other]

Title: An HCI View of Configuration Problems

Tianyin Xu, Vineet Pandey, Scott Klemmer

Comments: 9 pages of exploratory research on understanding system configuration problems using Human-Computer Interaction principles

Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

[299] arXiv:1601.01750 [pdf, other]

Title: Learning to Remove Multipath Distortions in Time-of-Flight Range Images for a Robotic Arm Setup

Kilho Son, Ming-Yu Liu, Yuichi Taguchi

Comments: 8 pages, 11 figures, will be presented to ICRA 2016

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

[300] arXiv:1601.01754 [pdf, other]

Title: Anti-commutative Dual Complex Numbers and 2D Rigid Transformation

Genki Matsuda, Shizuo Kaji, Hiroyuki Ochiai

Subjects: Graphics (cs.GR); Computational Geometry (cs.CG)