Computer Science

Authors and titles for Apr 2016, skipping first 30

[31]  arXiv:1604.00187 [pdf, other]

Title: PHOCNet: A Deep Convolutional Neural Network for Word Spotting in Handwritten Documents

Authors: Sebastian Sudholt, Gernot A. Fink

Comments: published as conference paper at the International Conference on Frontiers in Handwriting Recognition 2016

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

[32]  arXiv:1604.00192 [pdf, ps, other]

Title: Singing Voice Separation and Vocal F0 Estimation based on Mutual Combination of Robust Principal Component Analysis and Subharmonic Summation

Authors: Yukara Ikemiya, Katsutoshi Itoyama, Kazuyoshi Yoshii

Comments: 11 pages

Subjects: Sound (cs.SD); Multimedia (cs.MM)

[33]  arXiv:1604.00202 [pdf, ps, other]

Title: The Power of Local Information in PageRank

Authors: Marco Bressan, Enoch Peserico, Luca Pretto

Comments: 25 pages, 6 figures

Subjects: Discrete Mathematics (cs.DM); Social and Information Networks (cs.SI)

[34]  arXiv:1604.00204 [pdf, other]

Title: Verifying Security Policies using Host Attributes

Authors: Cornelius Diekmann, Stephan-A. Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle

Comments: In FORTE - 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Berlin, Germany, June 2014

Journal-ref: Formal Techniques for Distributed Objects, Components, and Systems Volume 8461 of the series Lecture Notes in Computer Science, 2014, Springer

Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI); Software Engineering (cs.SE)

[35]  arXiv:1604.00206 [pdf, other]

Title: Semantics-Preserving Simplification of Real-World Firewall Rule Sets

Authors: Cornelius Diekmann, Lars Hupel, Georg Carle

Comments: In 20th International Symposium on Formal Methods, June 2015

Journal-ref: FM 2015: Formal Methods Volume 9109 of the series Lecture Notes in Computer Science pp 195-212, Springer

Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)

[36]  arXiv:1604.00216 [pdf, ps, other]

Title: Differences of halting probabilities

Authors: George Barmpalias, Andrew Lewis-Pye

Subjects: Computational Complexity (cs.CC)

[37]  arXiv:1604.00217 [pdf, other]

Title: Moving horizon estimation for discrete-time linear systems with binary sensors: algorithms and stability results

Authors: Giorgio Battistelli, Luigi Chisci, Stefano Gherardini

Comments: 20 pages, 8 figures; references added, typos corrected, and numerical results extended

Journal-ref: Automatica 85, 374-385 (2017)

Subjects: Systems and Control (eess.SY)

[38]  arXiv:1604.00219 [pdf, other]

Title: Second-Order Extended Kalman Filter for Extended Object and Group Tracking

Authors: Shishan Yang, Marcus Baum

Subjects: Systems and Control (eess.SY)

[39]  arXiv:1604.00223 [pdf, other]

Title: Lower-Cost epsilon-Private Information Retrieval

Authors: Raphael R. Toledo, George Danezis, Ian Goldberg

Subjects: Information Retrieval (cs.IR); Cryptography and Security (cs.CR)

[40]  arXiv:1604.00230 [pdf, ps, other]

Title: Effect of Jitter on the Settling Time of Mesochronous Clock Retiming Circuits

Authors: Naveen Kadayinti, Amitalok J. Budkuley, Maryam S. Baghini, Dinesh K. Sharma

Comments: 23 pages, 40 figures

Journal-ref: Analog Integr Circ Sig Process (2019) 101: 623

Subjects: Emerging Technologies (cs.ET)