Computer Science

Authors and titles for April 2012

[401] arXiv:1204.2637 [pdf, other]

Title: Solution regions in the parameter space of a 3-RRR decoupled robot for a prescribed workspace

Damien Chablat (IRCCyN), Guillaume Moroz (INRIA Lorraine - LORIA), Vigen Arakelian (DGMA), Sébastien Briot (IRCCyN), Philippe Wenger (IRCCyN)

Journal-ref: Advances in Robot Kinematics, Innsbruck : Austria (2012)

Subjects: Robotics (cs.RO)

[402] arXiv:1204.2649 [pdf, other]

Title: Multiuser Switched Diversity Scheduling Schemes

Mohammad Shaqfeh, Hussein Alnuweiri, Mohamed-Slim Alouini

Comments: Accepted at IEEE Transactions on Communications, to appear 2012, funded by NPRP grant 08-577-2-241 from QNRF

Subjects: Information Theory (cs.IT)

[403] arXiv:1204.2651 [pdf, other]

Title: Cooperative Cognitive Networks: Optimal, Distributed and Low-Complexity Algorithms

Gan Zheng, S. H. Song, Kai-Kit Wong, Bjorn Ottersten

Comments: 27 pages, 7 figures. Revision submitted to IEEE Transactions on Signal Processing

Subjects: Information Theory (cs.IT)

[404] arXiv:1204.2652 [pdf, other]

Title: Lower Bound on Weights of Large Degree Threshold Functions

Vladimir V. Podolskii (Steklov Mathematical Institute)

Comments: 17 pages, to appear in LMCS

Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 2 (June 28, 2013) lmcs:722

Subjects: Computational Complexity (cs.CC)

[405] arXiv:1204.2660 [pdf, other]

Title: Efficient Iterative Decoding of LDPC in the Presence of Strong Phase Noise

Shachar Shayovitz, Dan Raphaeli

Subjects: Information Theory (cs.IT)

[406] arXiv:1204.2676 [pdf, other]

Title: A Cooperative Network Coding Strategy for the Interference Relay Channel

Huyen-Chi Bui, Hugo Meric, Jerome Lacan, Marie-Laure Boucheret

Comments: submitted for publication

Subjects: Networking and Internet Architecture (cs.NI)

[407] arXiv:1204.2677 [pdf, other]

Title: The Geographic Flow of Music

Conrad Lee, Pádraig Cunningham

Comments: 8 Pages

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

[408] arXiv:1204.2692 [pdf, other]

Title: Asynchronous Physical-layer Network Coding Scheme for Two-way OFDM Relay

Xiaochen Xia, Kui Xu, Youyun Xu

Comments: 6 pages, 7 figures, Submitted to GLOBECOM 2012

Subjects: Information Theory (cs.IT)

[409] arXiv:1204.2710 [pdf, other]

Title: Stanley-Reisner resolution of constant weight linear codes

Trygve Johnsen, Hugues Verdure

Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[410] arXiv:1204.2712 [pdf, other]

Title: Learning to Rank Query Recommendations by Semantic Similarities

Sumio Fujita, Georges Dupret, Ricardo Baeza-Yates

Comments: 2nd International Workshop on Usage Analysis and the Web of Data (USEWOD2012) in the 21st International World Wide Web Conference (WWW2012), Lyon, France, April 17th, 2012

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

[411] arXiv:1204.2713 [pdf, other]

Title: Enabling Semantic Analysis of User Browsing Patterns in the Web of Data

Julia Hoxha, Martin Junghans, Sudhir Agarwal

Comments: 2nd International Workshop on Usage Analysis and the Web of Data (USEWOD2012) in the 21st International World Wide Web Conference (WWW2012), Lyon, France, April 17th, 2012

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

[412] arXiv:1204.2715 [pdf, other]

Title: Collaboratively Patching Linked Data

Magnus Knuth, Johannes Hercher, Harald Sack

Comments: 2nd International Workshop on Usage Analysis and the Web of Data (USEWOD2012) in the 21st International World Wide Web Conference (WWW2012), Lyon, France, April 17th, 2012

Subjects: Information Retrieval (cs.IR); Digital Libraries (cs.DL); Human-Computer Interaction (cs.HC)

[413] arXiv:1204.2718 [pdf, other]

Title: Leveraging Usage Data for Linked Data Movie Entity Summarization

Andreas Thalhammer, Ioan Toma, Antonio Roa-Valverde, Dieter Fensel

Comments: 2nd International Workshop on Usage Analysis and the Web of Data (USEWOD2012) in the 21st International World Wide Web Conference (WWW2012), Lyon, France, April 17th, 2012

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

[414] arXiv:1204.2727 [pdf, other]

Title: The Cost of Perfection for Matchings in Graphs

Emilio Vital Brazil, Guilherme D. da Fonseca, Celina de Figueiredo, Diana Sasaki

Journal-ref: Discrete Applied Mathematics, 210:112-122, 2016

Subjects: Discrete Mathematics (cs.DM)

[415] arXiv:1204.2731 [pdf, other]

Title: How do Ontology Mappings Change in the Life Sciences?

Anika Gross, Michael Hartung, Andreas Thor, Erhard Rahm

Comments: Keywords: mapping evolution, ontology matching, ontology evolution

Subjects: Databases (cs.DB)

[416] arXiv:1204.2741 [pdf, other]

Title: Simultaneous Object Detection, Tracking, and Event Recognition

Andrei Barbu, Aaron Michaux, Siddharth Narayanaswamy, Jeffrey Mark Siskind

Journal-ref: Advances in Cognitive Systems, Vol. 2, pp. 203-220, 2012

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

[417] arXiv:1204.2742 [pdf, other]

Title: Video In Sentences Out

Andrei Barbu, Alexander Bridge, Zachary Burchill, Dan Coroian, Sven Dickinson, Sanja Fidler, Aaron Michaux, Sam Mussman, Siddharth Narayanaswamy, Dhaval Salvi, Lara Schmidt, Jiangnan Shangguan, Jeffrey Mark Siskind, Jarrell Waggoner, Song Wang, Jinlian Wei, Yifan Yin, Zhiqi Zhang

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

[418] arXiv:1204.2765 [pdf, other]

Title: A practical approach to language complexity: a Wikipedia case study

Taha Yasseri, András Kornai, János Kertész

Comments: 2 new figures, 1 new section, and 2 new supporting texts

Journal-ref: PLoS ONE 7(11): e48386 (2012)

Subjects: Computation and Language (cs.CL); Data Analysis, Statistics and Probability (physics.data-an); Physics and Society (physics.soc-ph)

[419] arXiv:1204.2768 [pdf, other]

Title: Layered Fixed Point Logic

Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson

Subjects: Logic in Computer Science (cs.LO)

[420] arXiv:1204.2772 [pdf, other]

Title: Effect of Thread Level Parallelism on the Performance of Optimum Architecture for Embedded Applications

Mehdi Alipour, Hojjat Taghdisi

Comments: International Journal of Embedded Systems and Applications (IJESA), this http URL

Subjects: Hardware Architecture (cs.AR); Performance (cs.PF)

[421] arXiv:1204.2774 [pdf, other]

Title: An Empirical Study of Spam and Prevention Mechanisms in Online Video Chat Services

Xinyu Xing, Junho Ahn, Wenke Lee, Richard Han, Shivakant Mishra

Comments: 20 pages

Subjects: Cryptography and Security (cs.CR)

[422] arXiv:1204.2775 [pdf, other]

Title: Capacity Pre-Log of Noncoherent SIMO Channels via Hironaka's Theorem

Veniamin I. Morgenshtern, Erwin Riegler, Wei Yang, Giuseppe Durisi, Shaowei Lin, Bernd Sturmfels, Helmut Bölcskei

Subjects: Information Theory (cs.IT)

[423] arXiv:1204.2798 [pdf, other]

Title: An Efficient Cryptographic Hash Algorithm (BSA)

Subhabrata Mukherjee, Bimal Roy, Anirban Laha

Comments: The paper is available at this http URL

Journal-ref: In Proceedings of The 10th National Workshop on Cryptology (NWCR), 2010, PSG College of Technology, Peelamedu,Coimbatore, September 2-4, 2010

Subjects: Cryptography and Security (cs.CR)

[424] arXiv:1204.2801 [pdf, other]

Title: Seeing Unseeability to See the Unseeable

Siddharth Narayanaswamy, Andrei Barbu, Jeffrey Mark Siskind

Journal-ref: Advances in Cognitive Systems, Vol. 2, pp. 77-94, 2012

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

[425] arXiv:1204.2804 [pdf, other]

Title: Estimating the Prevalence of Deception in Online Review Communities

Myle Ott, Claire Cardie, Jeff Hancock

Comments: 10 pages, 4 figures, 3 tables, to appear at WWW 2012

Subjects: Social and Information Networks (cs.SI); Computation and Language (cs.CL); Computers and Society (cs.CY)

[426] arXiv:1204.2809 [pdf, other]

Title: Performance-Optimum Superscalar Architecture for Embedded Applications

Mehdi Alipour, Mostafa E. Salehi

Journal-ref: https://indianjournals.com/ijor.aspx 2012

Subjects: Hardware Architecture (cs.AR)

[427] arXiv:1204.2837 [pdf, other]

Title: Watersheds, waterfalls, on edge or node weighted graphs

Fernand Meyer

Subjects: Computer Vision and Pattern Recognition (cs.CV); Discrete Mathematics (cs.DM)

[428] arXiv:1204.2844 [pdf, other]

Title: On Vertex Sparsifiers with Steiner Nodes

Julia Chuzhoy

Subjects: Data Structures and Algorithms (cs.DS)

[429] arXiv:1204.2847 [pdf, other]

Title: Segmentation Similarity and Agreement

Chris Fournier, Diana Inkpen

Comments: 10 pages, LaTeX, corrected a typo in equation 4

Journal-ref: Proceedings of the 2012 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, pages 152-161, Montr\'eal, Canada, June 3-8, 2012

Subjects: Computation and Language (cs.CL)

[430] arXiv:1204.2854 [pdf, other]

Title: Secure Comparison Without Explicit XOR

Rajendra S. Katti, Cristinel Ababei

Comments: Ninth European Dependable Computing Conference, Sibiu, Romania

Subjects: Cryptography and Security (cs.CR)

[431] arXiv:1204.2857 [pdf, other]

Title: Synthesis of Minimal Error Control Software

Rupak Majumdar, Indranil Saha, Majid Zamani

Comments: 18 pages, 2 figures

Subjects: Systems and Control (eess.SY); Symbolic Computation (cs.SC)

[432] arXiv:1204.2879 [pdf, other]

Title: Adaptive Framework for Data Distribution in Wireless Sensor Networks

Subhabrata Mukherjee, Mrinal K. Naskar, Amitava Mukherjee

Comments: Accepted in the International Congress for Global Science and Technology (ICGST) in the Journal of Computer Network and Internet Research (CNIR), 2010

Subjects: Networking and Internet Architecture (cs.NI)

[433] arXiv:1204.2880 [pdf, other]

Title: Multisource Adaptive Data Distribution and Routing in Wireless Sensor Networks

Subhabrata Mukherjee, Amrita Saha, Mrinal K. Naskar, Amitava Mukherjee

Comments: Accepted in The Second International Conference on Networks & Communications (NetCoM - 2.0), 2010, Bangalore, India

Subjects: Networking and Internet Architecture (cs.NI)

[434] arXiv:1204.2882 [pdf, other]

Title: Designing an Energy Efficient Framework for Data Gathering in Wireless Sensor Network

Subhabrata Mukherjee, Anand Seetharam, Abhishek Bhattacharyya, Mrinal.K.Naskar, Amitava Mukherjee

Comments: Accepted in the International Congress for Global Science and Technology (ICGST) in the Journal of Computer Network and Internet Research (CNIR), 2010

Subjects: Networking and Internet Architecture (cs.NI)

[435] arXiv:1204.2903 [pdf, other]

Title: Disconnectivity and Relative Positions in Simultaneous Embeddings

Thomas Bläsius, Ignaz Rutter

Comments: 34 pages, 8 figures

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM)

[436] arXiv:1204.2912 [pdf, other]

Title: Non-sparse Linear Representations for Visual Tracking with Online Reservoir Metric Learning

Xi Li, Chunhua Shen, Qinfeng Shi, Anthony Dick, Anton van den Hengel

Comments: Appearing in IEEE Conf. Computer Vision and Pattern Recognition, 2012

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

[437] arXiv:1204.2915 [pdf, other]

Title: A Kuratowski-Type Theorem for Planarity of Partially Embedded Graphs

Vít Jelínek, Jan Kratochvíl, Ignaz Rutter

Comments: 45 pages, 18 figures

Subjects: Discrete Mathematics (cs.DM)

[438] arXiv:1204.2922 [pdf, other]

Title: Secret Key Agreement Using Correlated Sources over the Generalized Multiple Access Channel

Somayeh Salimi, Mikael Skoglund

Subjects: Information Theory (cs.IT)

[439] arXiv:1204.2927 [pdf, other]

Title: Diversity versus Channel Knowledge at Finite Block-Length

Wei Yang, Giuseppe Durisi, Tobias Koch, Yury Polyanskiy

Comments: 5 pages, to appear in Information Theory Workshop (ITW) 2012

Subjects: Information Theory (cs.IT)

[440] arXiv:1204.2932 [pdf, other]

Title: Proving Termination of Probabilistic Programs Using Patterns

Javier Esparza, Andreas Gaiser, Stefan Kiefer

Comments: A shorter version of the paper appeared in the Proceedings of Computer Aided Verification (CAV) 2012

Subjects: Logic in Computer Science (cs.LO)

[441] arXiv:1204.2933 [pdf, other]

Title: Improved Randomized Online Scheduling of Intervals and Jobs

Stanley P.Y. Fung, Chung Keung Poon, Feifeng Zheng

Subjects: Data Structures and Algorithms (cs.DS)

[442] arXiv:1204.2942 [pdf, other]

Title: An Equilibrium Analysis of Scrip Systems

Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern

Comments: 32 pages. Forthcoming in ACM Transactions on Economics and Computation. Preliminary versions of this material appeared in the Proceedings of the 7th and 8th ACM Conferences on Electronic Commerce [14, 26] and the Proceedings of the First Conference on Auctions, Market Mechanisms and Their Applications [27]. These are also available as arXiv:0705.4094, arXiv:0705.4110, and arXiv:0903.2278

Subjects: Computer Science and Game Theory (cs.GT)

[443] arXiv:1204.2955 [pdf, other]

Title: Label-Guided Graph Exploration with Adjustable Ratio of Labels

Meng Zhang, Yi Zhang, Jijun Tang

Comments: 20 pages, 7 figures. Accepted by International Journal of Foundations of Computer Science

Subjects: Data Structures and Algorithms (cs.DS)

[444] arXiv:1204.2974 [pdf, other]

Title: Tackling the testing migration problem with SAT-Solvers

Joachim Breitner

Comments: 13 pages

Subjects: Software Engineering (cs.SE)

[445] arXiv:1204.2980 [pdf, other]

Title: Realizable Rate Distortion Function and Bayesian FIltering Theory

Photios A. Stavrou, Charalambos D. Charalambous, Christos K. Kourtellaris

Comments: 5 pages, 3 figures, 1 table, 1 graph, submitted to Information Theory Workshop 2012

Subjects: Information Theory (cs.IT); Functional Analysis (math.FA); Probability (math.PR)

[446] arXiv:1204.2983 [pdf, other]

Title: Parameterized Resolution with bounded conjunction

Stefan Dantchev, Barnaby Martin

Subjects: Logic in Computer Science (cs.LO)

[447] arXiv:1204.2989 [pdf, other]

Title: STP/HAMPI and Computer Security

Vijay Ganesh

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

[448] arXiv:1204.2990 [pdf, other]

Title: Reasoning on Schemata of Formulae

Mnacho Echenim, Nicolas Peltier

Subjects: Logic in Computer Science (cs.LO)

[449] arXiv:1204.2991 [pdf, other]

Title: Collective Intelligence 2012: Proceedings

Thomas W. Malone, Luis von Ahn

Comments: Papers presented at CI2012. Proceedings chair Michael Bernstein

Subjects: Social and Information Networks (cs.SI)

[450] arXiv:1204.2994 [pdf, other]

Title: Image Restoration with Signal-dependent Camera Noise

Ayan Chakrabarti, Todd Zickler

Comments: 6 pages, 3 figures, 2 tables

Subjects: Computer Vision and Pattern Recognition (cs.CV); Applications (stat.AP)