Computer Science

Authors and titles for March 2010

[251] arXiv:1003.2871 [pdf, other]

Title: Implementing Multi-Periodic Critical Systems: from Design to Code Generation

Julien Forget (1), Frédéric Boniol (1), David Lesens (2), Claire Pagetti (1) ((1) ONERA, Toulouse, France and (2) EADS Astrium Space Transportation, Les Mureaux, France)

Comments: 15 pages, published in Workshop on Formal Methods for Aerospace (FMA'09), part of Formal Methods Week 2009.

Journal-ref: EPTCS 20, 2010, pp. 34-48

Subjects: Programming Languages (cs.PL)

[252] arXiv:1003.2880 [pdf, other]

Title: Regularized sampling of multiband signals

J. Selva

Comments: The title and introduction have changed. Submitted to the IEEE Transactions on Signal Processing

Subjects: Information Theory (cs.IT)

[253] arXiv:1003.2883 [pdf, other]

Title: Nearly Optimal Resource Allocation for Downlink OFDMA in 2-D Cellular Networks

Nassar Ksairi, Pascal Bianchi, Philippe Ciblat

Comments: submitted to IEEE Transactions on Wireless Communications

Subjects: Information Theory (cs.IT)

[254] arXiv:1003.2914 [pdf, other]

Title: High-Rate Quantization for the Neyman-Pearson Detection of Hidden Markov Processes

Joffrey Villard, Pascal Bianchi, Eric Moulines, Pablo Piantanida

Comments: 11 pages, 2 figures, presented at ITW 2010

Subjects: Information Theory (cs.IT)

[255] arXiv:1003.2941 [pdf, other]

Title: Universal Regularizers For Robust Sparse Coding and Modeling

Ignacio Ramirez, Guillermo Sapiro

Subjects: Information Theory (cs.IT); Machine Learning (stat.ML)

[256] arXiv:1003.2958 [pdf, other]

Title: Approaching optimality for solving SDD systems

Ioannis Koutis, Gary L. Miller, Richard Peng

Comments: To appear in FOCS 2010

Subjects: Data Structures and Algorithms (cs.DS)

[257] arXiv:1003.2976 [pdf, other]

Title: Non-oblivious Strategy Improvement

John Fearnley

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

[258] arXiv:1003.2977 [pdf, other]

Title: On Generalizations of Network Design Problems with Degree Bounds

Nikhil Bansal, Rohit Khandekar, Jochen Konemann, Viswanath Nagarajan, Britta Peis

Comments: v2, 24 pages, 4 figures

Subjects: Data Structures and Algorithms (cs.DS)

[259] arXiv:1003.3045 [pdf, other]

Title: A Computational Approach to the Graceful Tree Conjecture

Wenjie Fang

Comments: 7 pages

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

[260] arXiv:1003.3047 [pdf, other]

Title: On the Relative Strength of Pebbling and Resolution

Jakob Nordström

Comments: Full-length version of paper to appear in Proceedings of the 25th Annual IEEE Conference on Computational Complexity (CCC '10), June 2010

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

[261] arXiv:1003.3056 [pdf, other]

Title: Spatial multiplexing with MMSE receivers: Single-stream optimality in ad hoc networks

Raymond H. Y. Louie, Matthew R. McKay, Nihar Jindal, Iain B. Collings

Comments: 5 pages, 3 figures, submitted to IEEE Globecom 2010

Subjects: Information Theory (cs.IT)

[262] arXiv:1003.3079 [pdf, other]

Title: Applications of the Digital-Discrete Method in Smooth-Continuous Data Reconstruction

Li Chen

Comments: 12 pages, 13 figures. Technical edited version. Correct some small errors.

Subjects: Numerical Analysis (math.NA)

[263] arXiv:1003.3080 [pdf, other]

Title: An Algorithm for Index Multimedia Data (Video) using the Movement Oriented Method for Real-time Online Services

A. Muslim, A.B. Mutiara, C.M. Karyati, P. Musa

Comments: 5 pages, International Conference on Robotics, Informatics, Intelligence control system Technologies (RIIT'09)

Subjects: Multimedia (cs.MM); Information Retrieval (cs.IR)

[264] arXiv:1003.3082 [pdf, other]

Title: Agreement Maintenance Based on Schema and Ontology Change in P2P Environment

L.Y. Banowosari, I.W.S. Wicaksana, A.B. Mutiara

Comments: 6 pages, the *11th Annual International Seminar on Global Meltdown or Recession: India vis-à-vis the rest of the world, January 4-5, 2010 at New Delhi.

Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB)

[265] arXiv:1003.3090 [pdf, other]

Title: Node Isolation Probability of Wireless Adhoc Networks in Nagakami Fading Channel

A.V. Babu, Mukesh Kumar Singh (National Institute of Technology Calicut, India)

Comments: 16 pages, IJCNC Journal

Journal-ref: International Journal of Computer Networks & Communications 2.2 (2010) 21-36

Subjects: Networking and Internet Architecture (cs.NI)

[266] arXiv:1003.3091 [pdf, other]

Title: Wireless Mesh Network Performance for Urban Search and Rescue Missions

Cristina Ribeiro (1), Alexander Ferworn (2), Jimmy Tran (2), ((1)University of Guelph, Canada and (2) Ryerson University, Toronto, Canada)

Comments: 19 Pages, IJCNC Journal

Journal-ref: International Journal of Computer Networks & Communications 2.2 (2010) 38-57

Subjects: Networking and Internet Architecture (cs.NI)

[267] arXiv:1003.3092 [pdf, other]

Title: Hierarchical Location Service with Prediction in Mobile Ad-Hoc Networks

Ebtisam Amar (1), Selma Boumerdassi (2), Éric Renault (3,4) ((1) University of Pierre and Marie Curie, France, (2) CNAM - CEDRIC, France, (3) Institut Télécom - Télécom SudParis, France and (4) Samovar UMR INT-CNRS, France)

Comments: 14 Pages, IJCNC Journal

Journal-ref: International Journal of Computer Networks & Communications 2.2 (2010) 59-72

Subjects: Networking and Internet Architecture (cs.NI)

[268] arXiv:1003.3094 [pdf, other]

Title: Graphically E-Learning introduction and its benefits in Virtual Learning

A.Daneshmand Malayeri, J.Abdollahi, R.Rezaei

Subjects: Computers and Society (cs.CY)

[269] arXiv:1003.3097 [pdf, other]

Title: New designing of E-Learning systems with using network learning

Amin Daneshmand Malayeri, Jalal Abdollahi

Subjects: Computers and Society (cs.CY)

[270] arXiv:1003.3103 [pdf, other]

Title: Effective closed subshifts in 1D can be implemented in 2D

Bruno Durand, Andrei Romashchenko, Alexander Shen

Comments: 9 pages, 2 figures

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Combinatorics (math.CO); Dynamical Systems (math.DS)

[271] arXiv:1003.3131 [pdf, other]

Title: Strategic Cooperation in Cost Sharing Games

Martin Hoefer

Comments: 17 pages, 1 figure

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

[272] arXiv:1003.3139 [pdf, other]

Title: Querying Incomplete Data over Extended ER Schemata

Andrea Cali, Davide Martinenghi

Comments: 40 pages, 1 figure.

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

[273] arXiv:1003.3181 [pdf, other]

Title: Stability Analysis of Linear Uncertain Systems via Checking Positivity of Forms on Simplices

Xiaorong Hou, Junwei Shao

Comments: 8 pages.

Subjects: Symbolic Computation (cs.SC); Dynamical Systems (math.DS)

[274] arXiv:1003.3242 [pdf, other]

Title: Private Information Disclosure from Web Searches. (The case of Google Web History)

Claude Castelluccia, Emiliano De Cristofaro, Daniele Perito

Comments: Our report was sent to Google on February 23rd, 2010. Google is investigating the problem and has decided to temporarily suspend search suggestions from Search History. Furthermore, Google Web History page is now offered over HTTPS only. Updated information about this project is available at: this http URL

Subjects: Cryptography and Security (cs.CR)

[275] arXiv:1003.3266 [pdf, other]

Title: Pattern recognition using inverse resonance filtration

Olga Sofina, Yuriy Bunyak, Roman Kvetnyy

Comments: 8 pages, 3 figures

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

[276] arXiv:1003.3275 [pdf, other]

Title: Scalable, Time-Responsive, Digital, Energy-Efficient Molecular Circuits using DNA Strand Displacement

Ehsan Chiniforooshan, David Doty, Lila Kari, Shinnosuke Seki

Comments: version 2: the paper itself is unchanged from version 1, but the arXiv software stripped some asterisk characters out of the abstract whose purpose was to highlight words. These characters have been replaced with underscores in version 2. The arXiv software also removed the second paragraph of the abstract, which has been (attempted to be) re-inserted. Also, although the secondary subject is "Soft Condensed Matter", this classification was chosen by the arXiv moderators after submission, not chosen by the authors. The authors consider this submission to be a theoretical computer science paper.

Subjects: Other Computer Science (cs.OH)

[277] arXiv:1003.3279 [pdf, other]

Title: A New Heuristic for Feature Selection by Consistent Biclustering

Antonio Mucherino, Sonia Cafieri

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

[278] arXiv:1003.3299 [pdf, other]

Title: Improved Bounds on Restricted Isometry Constants for Gaussian Matrices

Bubacarr Bah, Jared Tanner

Comments: 16 pages, 8 figures

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

[279] arXiv:1003.3305 [pdf, other]

Title: Towards trusted volunteer grid environments

Maher Khemakhem (1), Abdelfettah Belghith (2) ((1) Sousse University, Tunisia, (2) Manouba University, Tunisia)

Comments: 9 Pages, IJCNC Journal 2010

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

[280] arXiv:1003.3307 [pdf, other]

Title: H-MAC: A Hybrid MAC Protocol for Wireless Sensor Networks

S. Mehta (1), K.S. Kwak (1) ((1)Inha University, Korea)

Comments: 10 pages, IJCNC Journal 2010

Journal-ref: International Journal of Computer Networks & Communications 2.2 (2010) 108-117

Subjects: Networking and Internet Architecture (cs.NI)

[281] arXiv:1003.3310 [pdf, other]

Title: A Novel Solution to the Dynamic Routing and Wavelength Assignment Problem in Transparent Optical Networks

Urmila Bhanja (1), Sudipta Mahapatra (1), Rajarshi Roy (1), ((1) Indian Institute of Technology, Kharagpur, India)

Comments: 12 Pages, IJCNC Journal 2010

Journal-ref: International Journal of Computer Networks & Communications 2.2 (2010) 119-130

Subjects: Networking and Internet Architecture (cs.NI)

[282] arXiv:1003.3311 [pdf, other]

Title: A Powerful Optimization Approach for the Multi Channel Dissemination Networks

Ahmad Saad Al-Mogren (King Saud University, Saudi Arabia)

Comments: 9 Pages, IJCNC Journal 2010

Journal-ref: International Journal of Computer Networks & Communications 2.2 (2010) 132-140

Subjects: Networking and Internet Architecture (cs.NI)

[283] arXiv:1003.3312 [pdf, other]

Title: An Efficient Approach for Generalized Load Balancing in Multipath Packet Switched Networks

G. G. Md. Nawaz Ali (1), (2), Rajib Chakraborty (2), Md. Shihabul Alam (2), Edward Chan (1), ((1) City University of Hong Kong, China and (2) Khulna University of Engineering & Technology, Bangladesh)

Comments: 12 Pages, IJCNC Journal 2010

Journal-ref: International Journal of Computer Networks & Communications 2.2 (2010) 142-153

Subjects: Networking and Internet Architecture (cs.NI)

[284] arXiv:1003.3317 [pdf, other]

Title: Delay-Constrained Multicast Routing Algorithm Based on Average Distance Heuristic

Zhou Ling (1), (2), Ding Wei-xiong (2), Zhu Yu-xi (2) ((1) Central South University, <a href="http://P.R.China" rel="external noopener nofollow" class="link-external link-http">this http URL</a> and (2) Foshan University, P.R. China)

Comments: 8 Pages, IJCNC Journal 2010

Journal-ref: International Journal of Computer Networks & Communications 2.2 (2010) 155-162

Subjects: Networking and Internet Architecture (cs.NI)

[285] arXiv:1003.3322 [pdf, other]

Title: Mobile Codes Localization in Ad hoc Networks: a Comparative Study of Centralized and Distributed Approaches

Youcef Zafoune (1), Aicha Mokhtari (1), Rushed kanawati (2), ((1) USTHB University, Algeria and (2) Institute Galilee, Paris13 University, Paris, French)

Comments: 14 Pages, IJCNC Journal 2010

Journal-ref: International Journal of Computer Networks & Communications 2.2 (2010) 164-177

Subjects: Networking and Internet Architecture (cs.NI)

[286] arXiv:1003.3325 [pdf, other]

Title: Resource Pricing In A Dynamic Multi-Commodity Market For Computational Resources

K. Abdelkader (1), J. Broeckhove (1), K. Vanmechelen (1) ((1) University of Antwerp, Belgium)

Comments: 14 Pages, IJCNC Journal

Journal-ref: International Journal of Computer Networks & Communications 2.2 (2010) 74-87

Subjects: Computer Science and Game Theory (cs.GT); Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI)

[287] arXiv:1003.3326 [pdf, other]

Title: Innovative Rated-Resource Peer-to-Peer Network

Abhishek Sharma (1), Hao Shi (1) ((1) Victoria University, Australia)

Comments: 8 Pages, IJCNC Journal 2010

Journal-ref: International journal on applications of graph theory in wireless ad hoc networks and sensor networks 2.2 (2010) 89-96

Subjects: Networking and Internet Architecture (cs.NI)

[288] arXiv:1003.3330 [pdf, other]

Title: Cloud Process Execution Engine - Evaluation of the Core Concepts

Juergen Mangler, Gerhard Stuermer, Erich Schikuta

Subjects: Software Engineering (cs.SE)

[289] arXiv:1003.3338 [pdf, other]

Title: An Algebraic Formalization of the GoF Design Patterns

Paolo Bottoni, Esther Guerra, Juan de Lara

Comments: 17 pages and 41 figures. Supplementary material for the paper to appear in the Information and Software Technology Journal.

Subjects: Software Engineering (cs.SE)

[290] arXiv:1003.3352 [pdf, other]

Title: Error estimates for Stokes problem with Tresca friction condition

Ayadi Mekki, Gdoura Mohamed Khaled, Sassi Taoufik

Journal-ref: ESAIM: M2AN 48 (2014) 1413-1429

Subjects: Numerical Analysis (math.NA)

[291] arXiv:1003.3370 [pdf, other]

Title: Adding HL7 version 3 data types to PostgreSQL

Yeb Havinga, Willem Dijkstra, Ander de Keijzer

Comments: 12 pages, 9 figures, 6 tables

Subjects: Databases (cs.DB)

[292] arXiv:1003.3386 [pdf, other]

Title: Monomial-like codes

Edgar Martinez-Moro, Hakan Ozadam, Ferruh Ozbudak, Steve Szabo

Subjects: Information Theory (cs.IT)

[293] arXiv:1003.3395 [pdf, other]

Title: Dimensional Reductions for the Computation of Time-Dependent Quantum Expectations

Giacomo Mazzi, Ben Leimkuhler

Comments: 8 pages, 4 figures, submitted to SIAM J. this http URL.

Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)

[294] arXiv:1003.3396 [pdf, other]

Title: Stability and Capacity Regions or Discrete Time Queueing Networks

Michael J. Neely

Comments: 19 pages

Subjects: Networking and Internet Architecture (cs.NI)

[295] arXiv:1003.3418 [pdf, other]

Title: Exponential Lower Bounds For Policy Iteration

John Fearnley

Subjects: Data Structures and Algorithms (cs.DS)

[296] arXiv:1003.3457 [pdf, other]

Title: Hiding Inside HTML and Other Source Codes

Hameed Al_Qaheri, Sandipan Dey, Sugata Sanyal

Comments: 10 Pages, 7 Figures, 2 Algorithms

Journal-ref: International Journal on Image Processing and Communications, Poland, Vol. 14, No. 2-3, pp. 59 - 68, 2009

Subjects: Cryptography and Security (cs.CR)

[297] arXiv:1003.3477 [pdf, other]

Title: Stability of the bipartite matching model

Ana Bušić, Varun Gupta, Jean Mairesse

Subjects: Discrete Mathematics (cs.DM); Probability (math.PR)

[298] arXiv:1003.3490 [pdf, other]

Title: Flattening single-vertex origami: the non-expansive case

Gaiane Panina, Ileana Streinu

Comments: Accepted, to appear in Computational Geometry: Theory and applications.

Subjects: Computational Geometry (cs.CG); Differential Geometry (math.DG); Metric Geometry (math.MG)

[299] arXiv:1003.3492 [pdf, other]

Title: Generalized Maiorana-McFarland Constructions for Almost Optimal Resilient Functions

WeiGuo Zhang, GuoZhen Xiao

Comments: 18 pages

Subjects: Cryptography and Security (cs.CR); Information Theory (cs.IT); Combinatorics (math.CO)

[300] arXiv:1003.3499 [pdf, other]

Title: Geometric reconstruction from point-normal data

Eleanor G. Rieffel, Don Kimber, Jim Vaughan

Subjects: Computational Geometry (cs.CG)