Computer Science

Authors and titles for March 2012

[1] arXiv:1203.0024 [pdf, other]

Title: Verification of Relational Data-Centric Dynamic Systems with External Services

Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali

Subjects: Databases (cs.DB)

[2] arXiv:1203.0030 [pdf, other]

Title: Design of State-based Schedulers for a Network of Control Loops

Chithrupa Ramesh, Henrik Sandberg, Karl H. Johansson

Comments: 17 pages, technical report

Subjects: Systems and Control (eess.SY)

[3] arXiv:1203.0044 [pdf, other]

Title: Connectivity in one-dimensional ad hoc networks with an access point

Junshan Li

Comments: 6 figures

Subjects: Discrete Mathematics (cs.DM)

[4] arXiv:1203.0050 [pdf, other]

Title: LP-based Covering Games with Low Price of Anarchy

Georgios Piliouras, Tomas Valla, Laszlo A. Vegh

Subjects: Computer Science and Game Theory (cs.GT); Discrete Mathematics (cs.DM)

[5] arXiv:1203.0055 [pdf, other]

Title: Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores

Felix Halim, Stratos Idreos, Panagiotis Karras, Roland H. C. Yap

Comments: VLDB2012

Journal-ref: Proceedings of the VLDB Endowment (PVLDB), Vol. 5, No. 6, pp. 502-513 (2012)

Subjects: Databases (cs.DB)

[6] arXiv:1203.0056 [pdf, other]

Title: SharedDB: Killing One Thousand Queries With One Stone

Georgios Giannikis, Gustavo Alonso, Donald Kossmann

Comments: VLDB2012

Journal-ref: Proceedings of the VLDB Endowment (PVLDB), Vol. 5, No. 6, pp. 526-537 (2012)

Subjects: Databases (cs.DB)

[7] arXiv:1203.0057 [pdf, other]

Title: Pushing the Boundaries of Crowd-enabled Databases with Query-driven Schema Expansion

Joachim Selke, Christoph Lofi, Wolf-Tilo Balke

Comments: VLDB2012

Journal-ref: Proceedings of the VLDB Endowment (PVLDB), Vol. 5, No. 6, pp. 538-549 (2012)

Subjects: Databases (cs.DB)

[8] arXiv:1203.0058 [pdf, other]

Title: A Bayesian Approach to Discovering Truth from Conflicting Sources for Data Integration

Bo Zhao, Benjamin I. P. Rubinstein, Jim Gemmell, Jiawei Han

Comments: VLDB2012

Journal-ref: Proceedings of the VLDB Endowment (PVLDB), Vol. 5, No. 6, pp. 550-561 (2012)

Subjects: Databases (cs.DB); Machine Learning (cs.LG)

[9] arXiv:1203.0059 [pdf, other]

Title: How to Price Shared Optimizations in the Cloud

Prasang Upadhyaya, Magdalena Balazinska, Dan Suciu

Comments: VLDB2012

Journal-ref: Proceedings of the VLDB Endowment (PVLDB), Vol. 5, No. 6, pp. 562-573 (2012)

Subjects: Databases (cs.DB)

[10] arXiv:1203.0060 [pdf, other]

Title: Dense Subgraph Maintenance under Streaming Edge Weight Updates for Real-time Story Identification

Albert Angel, Nick Koudas, Nikos Sarkas, Divesh Srivastava

Comments: VLDB2012

Journal-ref: Proceedings of the VLDB Endowment (PVLDB), Vol. 5, No. 6, pp. 574-585 (2012)

Subjects: Databases (cs.DB)

[11] arXiv:1203.0061 [pdf, other]

Title: ReStore: Reusing Results of MapReduce Jobs

Iman Elghandour, Ashraf Aboulnaga

Comments: VLDB2012

Journal-ref: Proceedings of the VLDB Endowment (PVLDB), Vol. 5, No. 6, pp. 586-597 (2012)

Subjects: Databases (cs.DB)

[12] arXiv:1203.0076 [pdf, other]

Title: Using Barriers to Reduce the Sensitivity to Edge Miscalculations of Casting-Based Object Projection Feature Estimation

Luis Quesada

Comments: arXiv admin note: substantial text overlap with arXiv:1202.6586v1 and arXiv:1111.3969

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

[13] arXiv:1203.0077 [pdf, other]

Title: Queries with Guarded Negation (full version)

Vince Barany, Balder ten Cate, Martin Otto

Subjects: Databases (cs.DB)

[14] arXiv:1203.0088 [pdf, other]

Title: The Mind Grows Circuits

Rina Panigrahy, Li Zhang

Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)

[15] arXiv:1203.0096 [pdf, other]

Title: Joint Estimation of Angle and Delay of Radio Wave Arrival under Multiplicative Noise Environment

Pradip Sircar

Comments: 3 pages, 1 table, 6 figures

Subjects: Computational Engineering, Finance, and Science (cs.CE); Statistics Theory (math.ST)

[16] arXiv:1203.0100 [pdf, other]

Title: Cake Cutting Mechanisms

Egor Ianovski

Comments: Honours dissertation

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

[17] arXiv:1203.0103 [pdf, other]

Title: On the system CL12 of computability logic

Giorgi Japaridze (Shandong University and Villanova University)

Comments: arXiv admin note: substantial text overlap with arXiv:1003.0425 and arXiv:1003.4719

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 3 (July 28, 2015) lmcs:1577

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[18] arXiv:1203.0113 [pdf, other]

Title: On equivalence, languages equivalence and minimization of multi-letter and multi-letter measure-many quantum automata

Tianrong Lin

Comments: The main body of this paper is not interesting again from the today's author, so withdraw it. But, the Section 5. of version 10: "Commentary on minimization of 1-way QFAs" indicating that open question may be hard

Subjects: Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Number Theory (math.NT)

[19] arXiv:1203.0115 [pdf, other]

Title: Derivation Lengths Classification of Gödel's T Extending Howard's Assignment

Gunnar Wilken (Okinawa Institute of Science and Technology, Mathematical Biology Unit, Japan), Andreas Weiermann (Ghent University)

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 1 (March 6, 2012) lmcs:1073

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[20] arXiv:1203.0120 [pdf, other]

Title: How does the Shift-insertion sort behave when the sorting elements follow a Normal distribution?

Mita Pal, Soubhik Chakraborty, N.C. Mahanti

Comments: 6 pages

Journal-ref: Ann. Univ. Tibiscus Comp. Sci. Series VIII/2 (2010), 93-98

Subjects: Data Structures and Algorithms (cs.DS)

[21] arXiv:1203.0135 [pdf, other]

Title: Optimal Mix of Incentive Strategies for Product Marketing on Social Networks

Pankaj Dayama, Aditya Karnik, Y. Narahari

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

[22] arXiv:1203.0145 [pdf, other]

Title: The Horse Raced Past: Gardenpath Processing in Dynamical Systems

Peter beim Graben

Comments: The paper has been withdrawn by the author due to some inconsistencies in the argumentation

Subjects: Computation and Language (cs.CL)

[23] arXiv:1203.0160 [pdf, other]

Title: Scaling Datalog for Machine Learning on Big Data

Yingyi Bu, Vinayak Borkar, Michael J. Carey, Joshua Rosen, Neoklis Polyzotis, Tyson Condie, Markus Weimer, Raghu Ramakrishnan

Subjects: Databases (cs.DB); Machine Learning (cs.LG); Performance (cs.PF)

[24] arXiv:1203.0197 [pdf, other]

Title: Statistical Approach for Selecting Elite Ants

G. S. Raghavendra, N. Prasanna Kumar

Comments: 22 pages

Journal-ref: Ann. Univ. Tibiscus Comp. Sci. Series IX/2 (2011), 69-90

Subjects: Neural and Evolutionary Computing (cs.NE)

[25] arXiv:1203.0200 [pdf, other]

Title: An Interface using SOA Framework For Mediclaim Provider

S. Nirmala Sugirtha Rajini, T. Bhuvaneswari

Comments: 8 pages

Journal-ref: Ann. Univ. Tibiscus Comp. Sci. Series IX/2 (2011), 9-16

Subjects: Software Engineering (cs.SE)

[26] arXiv:1203.0203 [pdf, other]

Title: Fast Reinforcement Learning with Large Action Sets using Error-Correcting Output Codes for MDP Factorization

Gabriel Dulac-Arnold, Ludovic Denoyer, Philippe Preux, Patrick Gallinari

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

[27] arXiv:1203.0220 [pdf, other]

Title: The Equational Approach to CF2 Semantics

Dov M. Gabbay

Comments: 36 pages, version dated 15 February 2012

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[28] arXiv:1203.0224 [pdf, other]

Title: Label Cover instances with large girth and the hardness of approximating basic k-spanner

Michael Dinitz, Guy Kortsarz, Ran Raz

Comments: 16 pages, revised to add a reference

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)

[29] arXiv:1203.0231 [pdf, other]

Title: Sleep Deprivation Attack Detection in Wireless Sensor Network

Tapalina Bhattasali, Rituparna Chaki, Sugata Sanyal

Comments: 7 pages,4 figures, IJCA Journal February 2012

Journal-ref: International Journal of Computer Applications 40(15):19-25, February 2012. Published by Foundation of Computer Science, New York, USA

Subjects: Networking and Internet Architecture (cs.NI)

[30] arXiv:1203.0240 [pdf, other]

Title: A Survey of Recent Intrusion Detection Systems for Wireless Sensor Network

Tapalina Bhattasali, Rituparna Chaki

Comments: 10 pages,5 figures,proceedings of CNSA 2011 conference held in Chennai

Journal-ref: Advances in Network Security and Applications: Conference Proceedings of Fourth International Conference on Network Security and Applications (CNSA 2011), Chennai, July 15-17, 2011, pp. 268-280, ISBN: 978-3-642-22539-0

Subjects: Networking and Internet Architecture (cs.NI)

[31] arXiv:1203.0259 [pdf, other]

Title: A rearrangement step with potential uses in priority queues

Boris Alexeev, M. Brian Jacokes

Comments: 3 pages, 1 figure

Subjects: Data Structures and Algorithms (cs.DS)

[32] arXiv:1203.0265 [pdf, other]

Title: Image Fusion and Re-Modified SPIHT for Fused Image

S. Chitra, J. B. Bhattacharjee, B. Thilakavathi

Comments: 16 pages

Journal-ref: Ann. Univ. Tibiscus Comp. Sci. Series VII/2 (2009), 143-158

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

[33] arXiv:1203.0289 [pdf, other]

Title: Secure Multi-Party Computation in Large Networks

Varsha Dani, Valerie King, Mahnush Movahedi, Jared Saia, Mahdi Zamani

Comments: 51 pages

Subjects: Data Structures and Algorithms (cs.DS)

[34] arXiv:1203.0290 [pdf, other]

Title: Weight spectrum of codes associated with the Grassmannian G(3,7)

K. V. Kaipa, H. Pillai

Comments: concluding remarks added

Subjects: Information Theory (cs.IT)

[35] arXiv:1203.0298 [pdf, other]

Title: Application of Gist SVM in Cancer Detection

S. Aruna, S. P. Rajagopalan, L. V. Nandakishore

Comments: 10 pages

Journal-ref: Ann. Univ. Tibiscus Comp. Sci. Series IX/2 (2011), 39-48

Subjects: Machine Learning (cs.LG)

[36] arXiv:1203.0321 [pdf, other]

Title: High-Performance Distributed Multi-Model / Multi-Kernel Simulations: A Case-Study in Jungle Computing

Niels Drost, Jason Maassen, Maarten A.J. van Meersbergen, Henri E. Bal, F. Inti Pelupessy, Simon Portegies Zwart, Michael Kliphuis, Henk A. Dijkstra, Frank J. Seinstra

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Solar and Stellar Astrophysics (astro-ph.SR)

[37] arXiv:1203.0332 [pdf, other]

Title: A Personalized Tag-Based Recommendation in Social Web Systems

Frederico Durao, Peter Dolog

Journal-ref: Original language English, Journal CEUR Workshop Proceedings, Publication date 2009, Volume 485, Pages 40-49, ISSN 1613-0073

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

[38] arXiv:1203.0333 [pdf, other]

Title: Debunking some myths about biometric authentication

Alfredo Esposito

Comments: 12 pages

Subjects: Cryptography and Security (cs.CR)

[39] arXiv:1203.0339 [pdf, other]

Title: Two-Grid Methods for Semilinear Interface Problems

Michael Holst, Ryan Szypowski, Yunrong Zhu

Comments: 17 pages, 5 figures

Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)

[40] arXiv:1203.0353 [pdf, other]

Title: Conducting Truthful Surveys, Cheaply

Aaron Roth, Grant Schoenebeck

Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS)

[41] arXiv:1203.0369 [pdf, other]

Title: Introduction of a Triple Prime Symmetric Key Block Cipher

Abhijit Chowdhury (NSHM College of Management & Technology, Durgapur West Bengal, INDIA), Angshu Kumar Sinha (NSHM College of Management & Technology, Durgapur West Bengal, INDIA)Saurabh Dutta (Dr. B.C Roy Engineering College West Bengal, INDIA)

Journal-ref: International Journal of Computer Applications (0975 - 8887) Volume 39 - No.7, February 2012

Subjects: Cryptography and Security (cs.CR)

[42] arXiv:1203.0388 [pdf, other]

Title: System adjustment for targeted performance combining symbolic regression and set inversion

Abdelouahab Kenoufi, Jean-François Osselin, Bernard Durand

Comments: 7 figures, 6 pages

Subjects: Numerical Analysis (math.NA)

[43] arXiv:1203.0400 [pdf, other]

Title: Bridging the Gap between Technical Heterogeneity of Context-Aware Platforms: Experimenting a Service Based Connectivity between Adaptable Android, WComp and OpenORB

Valerie Monfort, Sihem Cherif

Subjects: Software Engineering (cs.SE)

[44] arXiv:1203.0411 [pdf, other]

Title: The Complexity of Online Voter Control in Sequential Elections

Edith Hemaspaandra, Lane A. Hemaspaandra, Joerg Rothe

Comments: 22 pages

Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC); Multiagent Systems (cs.MA)

[45] arXiv:1203.0415 [pdf, other]

Title: On Compositional Reasoning for Guaranteeing Probabilistic Properties

Jan Olaf Blech

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[46] arXiv:1203.0429 [pdf, other]

Title: Securing business operations in an SOA

Theo Dimitrakos, David Brossard, Pierre de Leusse

Journal-ref: BT Technology Journal, vol.27, no.2, 2009

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

[47] arXiv:1203.0432 [pdf, other]

Title: Toward Governance of Cross-Cloud Application Deployment

Pierre de Leusse, Krzysztof Zielinski

Journal-ref: ServiceWave 2011, Second Optimising Cloud Services Workshop

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

[48] arXiv:1203.0434 [pdf, other]

Title: "openness of search engine": A critical flaw in search systems; a case study on google, yahoo and bing

Katuru SM Kalyana Chakravarthy

Subjects: Computers and Society (cs.CY)

[49] arXiv:1203.0435 [pdf, other]

Title: A common interface for multi-rule-engine distributed systems

Pierre de Leusse, Bartosz Kwolek, Krzysztof Zielinski

Journal-ref: RuleML-2010 Challenge: 4th international rule challenge : Web rule symposium : Washington, DC, USA, October, 21-23, 2010, eds. Monica Palmirani, [et al.]

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

[50] arXiv:1203.0436 [pdf, other]

Title: (Dual) Hoops Have Unique Halving

Rob Arthan, Paulo Oliva

Comments: 17 pages, 5 figures, published as a chapter in the Bill McCune Memorial Festschrift

Subjects: Artificial Intelligence (cs.AI); Logic (math.LO)

[51] arXiv:1203.0439 [pdf, other]

Title: Self Managed Security Cell, a security model for the Internet of Things and Services

Pierre de Leusse, Panos Periorellis, Theo Dimitrakos, Srijith K. Nair

Journal-ref: The First International Conference on Advances in Future Internet, AFIN 2009, IEEE Computer Society, June 18-23, 2009, Athens/Vouliagmeni, Greece, Best paper award

Subjects: Cryptography and Security (cs.CR)

[52] arXiv:1203.0440 [pdf, other]

Title: SOA-based security governance middleware

Pierre de Leusse, Theo Dimitrakos

Journal-ref: SECURWARE 2010: the fourth international conference on Emerging security information, systems and technologies : 18-25 July 2010, Venice, Italy, eds. Reijo Savola et al., IEEE, 2010, ISBN-13 978- 0-7695-4095-5

Subjects: Cryptography and Security (cs.CR)

[53] arXiv:1203.0442 [pdf, other]

Title: Homeomorphic approximation of the intersection curve of two rational surfaces

Liyong shen, Jin-san Cheng, Xiaohong Jia

Comments: 18 pages,15 figures

Subjects: Computational Geometry (cs.CG); Geometric Topology (math.GT)

[54] arXiv:1203.0443 [pdf, other]

Title: Secure & Rapid Composition of Infrastructure Services in the Cloud

Pierre de Leusse, Panos Periorellis, Paul Watson, Andreas Maierhofer

Journal-ref: SENSORCOMM '08. Second International Conference on , vol., no., pp.770-775, 25-31 Aug. 2008

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

[55] arXiv:1203.0473 [pdf, other]

Title: Finitely presented monoids with linear Dehn function need not have regular cross-sections

Alan J. Cain, Victor Maltcev

Comments: 13 pages; 1 table

Journal-ref: Semigroup Forum, 88, no. 2 (2014), pp. 300--315

Subjects: Formal Languages and Automata Theory (cs.FL); Group Theory (math.GR)

[56] arXiv:1203.0474 [pdf, other]

Title: Orthogonal Designs and a Cubic Binary Function

Sophie Morier-Genoud, Valentin Ovsienko

Subjects: Information Theory (cs.IT); Combinatorics (math.CO)

[57] arXiv:1203.0478 [pdf, other]

Title: Certified Approximation of Parametric Space Curves with Cubic B-spline Curves

Liyong Shen, Chunming Yuan, Xiao-Shan Gao

Comments: 26 pages, 18 figures

Subjects: Computational Geometry (cs.CG); Geometric Topology (math.GT)

[58] arXiv:1203.0488 [pdf, other]

Title: Multi-Level Feature Descriptor for Robust Texture Classification via Locality-Constrained Collaborative Strategy

Shu Kong, Donghui Wang

Subjects: Computer Vision and Pattern Recognition (cs.CV); Information Retrieval (cs.IR)

[59] arXiv:1203.0494 [pdf, other]

Title: Inconsistency of the Zermelo-Fraenkel set theory with the axiom of choice and its effects on the computational complexity

Minseong Kim

Comments: I thought the paper was withdrawn, but apparently it was not. So it is withdrawn. This paper of course does not make any sense

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[60] arXiv:1203.0500 [pdf, other]

Title: Georeferenced lives

A.C. Sparavigna, R. Marazzato

Comments: GIS, Satellite Maps, Google Earth, KML, XML, Acme Mapper

Subjects: Computers and Society (cs.CY)

[61] arXiv:1203.0503 [pdf, other]

Title: Application of Multi-layer Graphs In the Design of MPLS Networks

Haidara Abdalla, Dmitry Ageyev

Comments: 2 pages

Journal-ref: Proceedings of the XIth International Conference on Modern Problems of Radio Engineering, Telecommunications and Computer Science TCSET'2012, 2012, pp. 336-337

Subjects: Networking and Internet Architecture (cs.NI)

[62] arXiv:1203.0504 [pdf, other]

Title: Modelling Social Structures and Hierarchies in Language Evolution

Martin Bachwerk, Carl Vogel

Comments: 14 pages, 3 figures, 1 table. In proceedings of AI-2010, The Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, 14-16 December 2010

Journal-ref: Research and Development in Intelligent Systems XXVII, 2011, pp. 49-62

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)

[63] arXiv:1203.0511 [pdf, other]

Title: Multiservice Telecommunication Systems Parametrical Synthesis by using of Multilayer Graph Mathematical Model

Dmitry Ageyev, Haidara Abdalla

Comments: 9 pages, 2 figures, 14 references. In russian

Subjects: Networking and Internet Architecture (cs.NI)

[64] arXiv:1203.0512 [pdf, other]

Title: Establishing linguistic conventions in task-oriented primeval dialogue

Martin Bachwerk, Carl Vogel

Comments: 8 pages, 5 figures. In proceedings of the COST 2102 International Conference, Budapest, Hungary, September 7-10, 2010, Revised Selected Papers

Journal-ref: Analysis of Verbal and Nonverbal Communication and Enactment. The Processing Issues. Lecture Notes in Computer Science, Volume 6800/2011, 2011, pp. 48-55

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)

[65] arXiv:1203.0516 [pdf, other]

Title: Describing and Modeling of Video-on-Demand Service with the Usage of Multi-Layer Graph

Dmitry Ageyev, Artem Ignatenko

Comments: 2 pages, 1 figure, 4 references

Journal-ref: Proceedings of the XI th International Conference on Modern Problems of Radio Engineering, Telecommunications and Computer Science TCSET'2012, 2012, pp. 340 - 341

Subjects: Networking and Internet Architecture (cs.NI)

[66] arXiv:1203.0518 [pdf, other]

Title: Overview of EIREX 2011: Crowdsourcing

Julián Urbano, Diego Martín, Mónica Marrero, Jorge Morato

Comments: 9 pages, 4 figures, 5 tables

Subjects: Information Retrieval (cs.IR)

[67] arXiv:1203.0532 [pdf, other]

Title: A new methodology for constructing a publication-level classification system of science

Ludo Waltman, Nees Jan van Eck

Subjects: Digital Libraries (cs.DL)

[68] arXiv:1203.0535 [pdf, other]

Title: On Facebook, most ties are weak

Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti

Comments: Accepted version of the manuscript before ACM editorial work. Check this http URL for the final version

Journal-ref: Communications of the ACM, Vol. 57 No. 11, Pages 78-84, 2014

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

[69] arXiv:1203.0536 [pdf, other]

Title: Algorithms for Wireless Capacity

Olga Goussevskaia, Magnús M. Halldórsson, Roger Wattenhofer

Subjects: Networking and Internet Architecture (cs.NI); Data Structures and Algorithms (cs.DS)

[70] arXiv:1203.0541 [pdf, other]

Title: Hypothesis Testing and Decision Theoretic Approach for Fault Detection in Wireless Sensor Networks

Mrinal Nandi, Amiya Nayak, Bimal Roy, Santanu Sarkar

Subjects: Networking and Internet Architecture (cs.NI); Applications (stat.AP)

[71] arXiv:1203.0543 [pdf, other]

Title: Efficient Approximation Algorithms for Optimal Large-scale Network Monitoring

Michalis Kallitsis, Stilian Stoev, George Michailidis

Comments: Paper withdrawn since the official journal paper is now available. arXiv admin note: substantial text overlap with arXiv:1108.3048

Subjects: Data Structures and Algorithms (cs.DS); Networking and Internet Architecture (cs.NI); Statistics Theory (math.ST)

[72] arXiv:1203.0550 [pdf, html, other]

Title: Algorithms for Learning Kernels Based on Centered Alignment

Corinna Cortes, Mehryar Mohri, Afshin Rostamizadeh

Journal-ref: Journal of Machine Learning Research 13 (2012) 795-828

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

[73] arXiv:1203.0587 [pdf, other]

Title: Expressing Preferences using Preference Set Constraint Atoms

Alex Brik, Jeffrey B. Remmel

Comments: 9 pages

Subjects: Logic in Computer Science (cs.LO)

[74] arXiv:1203.0594 [pdf, other]

Title: Learning DNF Expressions from Fourier Spectrum

Vitaly Feldman

Comments: Appears in Conference on Learning Theory (COLT) 2012

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

[75] arXiv:1203.0617 [pdf, other]

Title: Bayesian inference under differential privacy

Yonghui Xiao, Li Xiong

Comments: 13 pages

Subjects: Databases (cs.DB)

[76] arXiv:1203.0631 [pdf, other]

Title: Checking Tests for Read-Once Functions over Arbitrary Bases

Dmitry V. Chistikov

Comments: Accepted to the 7th International Computer Science Symposium in Russia (CSR 2012), revised version

Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Machine Learning (cs.LG)

[77] arXiv:1203.0632 [pdf, other]

Title: Optimal solvers for fourth-order PDEs discretized on unstructured grids

Shuo Zhang, Jinchao Xu

Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)

[78] arXiv:1203.0640 [pdf, other]

Title: Kerberos Authentication in Wireless Sensor Networks

Qasim Siddique

Comments: 14 pages

Journal-ref: Ann. Univ. Tibiscus Comp. Sci. Series VIII / 1 (2010), 67-80

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

[79] arXiv:1203.0648 [pdf, other]

Title: Towards Electronic Shopping of Composite Product

Mark Sh. Levin

Comments: 10 pages, 20 figures, 17 tables

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)

[80] arXiv:1203.0651 [pdf, other]

Title: On Modeling Dependency between MapReduce Configuration Parameters and Total Execution Time

Nikzad Babaii Rizvandi, Albert Y. Zomaya, Ali Javadzadeh Boloori, Javid Taheri

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

[81] arXiv:1203.0652 [pdf, other]

Title: A likelihood-based framework for the analysis of discussion threads

Vicenç Gómez, Hilbert J. Kappen, Nelly Litvak, Andreas Kaltenbrunner

Comments: 31 pages, 12 figures, journal

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

[82] arXiv:1203.0653 [pdf, other]

Title: Kolmogorov complexity and the asymptotic bound for error-correcting codes

Yuri I. Manin, Matilde Marcolli

Comments: Typos corrected, dedication added. 21 pages

Subjects: Information Theory (cs.IT)

[83] arXiv:1203.0656 [pdf, other]

Title: Contribution of Case Based Reasoning (CBR) in the Exploitation of Return of Experience. Application to Accident Scenarii in Railroad Transport

Ahmed Maalel, Habib Hadj-Mabrouk

Comments: Paper Award, 8 pages, 10 figures,3rd International Conference on Information Systems and Economic Intelligence, 18-20 february 2010, Sousse, Tunisia. this http URL

Journal-ref: Int. Conf. Info. Sys. Eco. Intelligence. (2010) 1-8

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

[84] arXiv:1203.0657 [pdf, other]

Title: On the Role of Vehicular Mobility in Cooperative Content Caching

Osama Attia, Tamer ElBatt

Comments: 5 pages, conference, WCNC 2012

Subjects: Networking and Internet Architecture (cs.NI)

[85] arXiv:1203.0660 [pdf, other]

Title: Applications of nonvariational finite element methods to Monge--Ampère type equations

Tristan Pryer

Comments: 7 pages, 3 figures, tech report

Subjects: Numerical Analysis (math.NA)

[86] arXiv:1203.0665 [pdf, other]

Title: Verification and Diagnosis Infrastructure of SoC HDL-model

Vladimir Hahanov, Wajeb Gharibi, Eugenia Litvinova, Svetlana Chumachenko

Comments: 7 pages; International Conference on VLSI, MEMS and NEMS, VMN-2012, 24th - 25th January 2012, Noidar, Uttar, Paradesh, India

Subjects: Other Computer Science (cs.OH)

[87] arXiv:1203.0666 [pdf, other]

Title: Target set selection problem for honeycomb networks

Chun-Ying Chiang, Liang-Hao Huang, Hong-Gwa Yeh

Subjects: Discrete Mathematics (cs.DM)

[88] arXiv:1203.0670 [pdf, other]

Title: Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus

Beniamino Accattoli (LIPN (CNRS and Universite Paris-Nord) and INRIA and LIX (Ecole Polytechnique)), Delia Kesner (PPS, Universite Paris-Diderot and CNRS)

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 1 (March 27, 2012) lmcs:847

Subjects: Logic in Computer Science (cs.LO)

[89] arXiv:1203.0681 [pdf, other]

Title: Manual and Fast C Code Optimization

Mohammed Fadle Abdulla

Comments: 16 pages

Journal-ref: Ann. Univ. Tibiscus Comp. Sci. Series VIII / 1 (2010), 93-108

Subjects: Programming Languages (cs.PL)

[90] arXiv:1203.0683 [pdf, other]

Title: A Method of Moments for Mixture Models and Hidden Markov Models

Animashree Anandkumar, Daniel Hsu, Sham M. Kakade

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

[91] arXiv:1203.0692 [pdf, other]

Title: Lyapunov exponent evaluation of a digital watermarking scheme proven to be secure

Jacques M. Bahi, Nicolas Friot, Christophe Guyeux

Comments: 10 pages

Subjects: Cryptography and Security (cs.CR); Multimedia (cs.MM); Dynamical Systems (math.DS); General Topology (math.GN)

[92] arXiv:1203.0695 [pdf, other]

Title: Cooperative Compute-and-Forward

Matthew Nokleby, Behnaam Aazhang

Comments: submitted to IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[93] arXiv:1203.0699 [pdf, other]

Title: Ambiguous Language and Differences in Beliefs

Joseph Y. Halpern, Willemien Kets

Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT)

[94] arXiv:1203.0714 [pdf, other]

Title: Towards an intelligence based conceptual framework for e-maintenance

Abdessamad Mouzoune

Comments: 16 pages,1 figure

Subjects: Multiagent Systems (cs.MA)

[95] arXiv:1203.0728 [pdf, other]

Title: The maximum number of minimal codewords in an $[n,k]-$code

A. Alahmadi, R. E. L. Aldred, R. dela Cruz, P. Solé, C. Thomassen

Comments: 6 pp. Submitted

Subjects: Information Theory (cs.IT); Combinatorics (math.CO)

[96] arXiv:1203.0730 [pdf, other]

Title: Achievability proof via output statistics of random binning

Mohammad Hossein Yassaee, Mohammad Reza Aref, Amin Gohari

Comments: IEEE Transactions on Information Theory, accepted

Subjects: Information Theory (cs.IT)

[97] arXiv:1203.0731 [pdf, other]

Title: Coordination via a relay

Farzin Haddadpour, Mohammad Hossein Yassaee, Amin Gohari, Mohammad Reza Aref

Comments: Submitted to ISIT 2012

Subjects: Information Theory (cs.IT)

[98] arXiv:1203.0732 [pdf, other]

Title: Secure and Energy-Efficient Data Aggregation in Wireless Sensor Networks

Jaydip Sen

Comments: 7 pages, 3 figures. In Proceedings of the 2nd National Conference on Computational Intelligence and Signal Processing (CISP 2012), March 2- 3, Guwahati, India.(IEEE Technically Sponsored)

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

[99] arXiv:1203.0740 [pdf, other]

Title: Resource Availability-Aware Advance Reservation for Parallel Jobs with Deadlines

Bo Li, Yijian Pei, Bin Shen, Hao Wu, Min He, Jundong Yang

Comments: 25 pages,7 figures

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

[100] arXiv:1203.0744 [pdf, other]

Title: A Report on Multilinear PCA Plus Multilinear LDA to Deal with Tensorial Data: Visual Classification as An Example

Shu Kong, Donghui Wang

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