Computer Science

Authors and titles for March 2010

[451] arXiv:1003.4919 [pdf, other]

Title: Doubly Perfect Nonlinear Boolean Permutations

Laurent Poinsot (LIPN)

Journal-ref: Journal of Discrete Mathematical Sciences and Cryptography 13, 6 (2010) 571-582

Subjects: Discrete Mathematics (cs.DM); Cryptography and Security (cs.CR)

[452] arXiv:1003.4924 [pdf, other]

Title: Common Frame of reference in collaborative virtual environments and their impact on presence

Amine Chellali (IRCCyN), Cédric Dumas (IRCCyN), Isabelle Milleville-Pennel (IRCCyN), Eric Nouri (IRCCyN)

Journal-ref: The 10th Annual International Workshop on Presence, Barcelone : Spain (2007)

Subjects: Human-Computer Interaction (cs.HC)

[453] arXiv:1003.4942 [pdf, other]

Title: Approximate Dynamic Programming using Halfspace Queries and Multiscale Monge decomposition

Gary L. Miller, Richard Peng, Russell Schwartz, Charalampos E. Tsourakakis

Comments: 1) 12 pages 2) Updated 2nd Version: Removed section 3.3 of 1st version, updated references (for more details see this http URL)

Subjects: Data Structures and Algorithms (cs.DS); Computational Geometry (cs.CG)

[454] arXiv:1003.4963 [pdf, other]

Title: Bounded Degree Planar Geometric Spanners

Paz Carmi, Lilach Chaitman

Subjects: Computational Geometry (cs.CG)

[455] arXiv:1003.4972 [pdf, other]

Title: Quickest Time Herding and Detection for Optimal Social Learning

Vikram Krishnamurthy

Comments: This paper is an old/outdated version of the paper "Bayesian Sequential Detection with Phase-Distributed Change Time and Nonlinear Penalty -- A Lattice programming approach" arXiv:1011.5298

Subjects: Information Theory (cs.IT); Optimization and Control (math.OC); Physics and Society (physics.soc-ph)

[456] arXiv:1003.5042 [pdf, other]

Title: Local Popularity based Page Link Analysis

C Ravindranath Chowdary

Subjects: Information Retrieval (cs.IR)

[457] arXiv:1003.5056 [pdf, other]

Title: Cubes convexes

Sebastien Nedjar (LIF), Alain Casali (LIF), Rosine Cicchetti (LIF), Lotfi Lakhal (LIF)

Journal-ref: Revue des Sciences et Technologies de l'Information (S\'erie Ing\'enierie des Syst\`emes d'Information) 11, 6 (2006) 11-31

Subjects: Databases (cs.DB)

[458] arXiv:1003.5068 [pdf, other]

Title: On the stability of flow-aware CSMA

T. Bonald (Telecom ParisTech, Paris, France), M. Feuillet (INRIA, Rocquencourt, France)

Subjects: Performance (cs.PF); Networking and Internet Architecture (cs.NI); Probability (math.PR)

[459] arXiv:1003.5080 [pdf, other]

Title: Transparent Anonymization: Thwarting Adversaries Who Know the Algorithm

Xiaokui Xiao, Yufei Tao, Nick Koudas

Comments: To appear in the ACM Transaction on Database Systems (TODS)

Subjects: Databases (cs.DB)

[460] arXiv:1003.5097 [pdf, other]

Title: Power Loading in Parallel Diversity Channels Based on Statistical Channel Information

J. P. Coon, R. Cepeda

Comments: 6 pages, 7 figures

Subjects: Information Theory (cs.IT)

[461] arXiv:1003.5104 [pdf, other]

Title: Resilient networking in wireless sensor networks

Ochirkhand Erdene-Ochir (CITI Insa Lyon / INRIA Grenoble Rhône-Alpes), Marine Minier (CITI Insa Lyon / INRIA Grenoble Rhône-Alpes), Fabrice Valois (CITI Insa Lyon / INRIA Grenoble Rhône-Alpes), Apostolos Kountouris (FT R&D)

Subjects: Networking and Internet Architecture (cs.NI)

[462] arXiv:1003.5105 [pdf, other]

Title: Towards increasing diversity for the relaying of LT Fountain Codes in Wireless Sensor Networks

Apavatjrut Anya (CITI Insa Lyon / INRIA Grenoble Rhône-Alpes), Claire Goursaud (CITI Insa Lyon / INRIA Grenoble Rhône-Alpes), Katia Jaffrès-Runser (CITI Insa Lyon / INRIA Grenoble Rhône-Alpes, WNET), Cristina Comaniciu (WNET), Jean-Marie Gorce (CITI Insa Lyon / INRIA Grenoble Rhône-Alpes)

Subjects: Networking and Internet Architecture (cs.NI)

[463] arXiv:1003.5173 [pdf, other]

Title: LEXSYS: Architecture and Implication for Intelligent Agent systems

Charles A. B. Robert (LORIA)

Subjects: Artificial Intelligence (cs.AI)

[464] arXiv:1003.5192 [pdf, other]

Title: wiki.openmath.org - how it works, how you can participate

Christoph Lange

Comments: OpenMath workshop 2009 (this http URL)

Subjects: Digital Libraries (cs.DL); Mathematical Software (cs.MS); History and Overview (math.HO)

[465] arXiv:1003.5196 [pdf, other]

Title: SWiM -- A Semantic Wiki for Mathematical Knowledge Management

Christoph Lange

Journal-ref: S. Bechhofer, M. Hauswirth, J. Hoffmann, M. Koubarakis. The Semantic Web: Research and Applications. ESWC 2008. LNCS 5021, Springer 2008

Subjects: Digital Libraries (cs.DL); Mathematical Software (cs.MS); History and Overview (math.HO)

[466] arXiv:1003.5197 [pdf, other]

Title: Lazy Evaluation and Delimited Control

Ronald Garcia (Carnegie Mellon University), Andrew Lumsdaine (Indiana University), Amr Sabry (Indiana University)

Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 3 (July 11, 2010) lmcs:1013

Subjects: Programming Languages (cs.PL)

[467] arXiv:1003.5212 [pdf, other]

Title: Diversity-Multiplexing Tradeoff of Cooperative Communication with Linear Network Coded Relays

Hakan Topakkaya, Zhengdao Wang

Comments: Submitted to IEEE Globecom conference 2010. 5 pages, 6 figures.

Subjects: Information Theory (cs.IT)

[468] arXiv:1003.5238 [pdf, other]

Title: An efficient algorithm for the parallel solution of high-dimensional differential equations

Stefan Klus, Tuhin Sahai, Cong Liu, Michael Dellnitz

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Numerical Analysis (math.NA)

[469] arXiv:1003.5239 [pdf, other]

Title: Cross-Layer Designs in Coded Wireless Fading Networks with Multicast

Ketan Rajawat, Nikolaos Gatsis, Georgios B. Giannakis

Comments: Accepted in IEEE/ACM Transactions on Networking; revision pending

Subjects: Networking and Internet Architecture (cs.NI); Optimization and Control (math.OC)

[470] arXiv:1003.5249 [pdf, other]

Title: Active Testing for Face Detection and Localization

Raphael Sznitman, Bruno Jedynak

Comments: 16 pages, 5 figures, accepted in IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI), 2010

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

[471] arXiv:1003.5257 [pdf, other]

Title: Enforcing the non-negativity constraint and maximum principles for diffusion with decay on general computational grids

H. Nagarajan, K. B. Nakshatrala

Subjects: Numerical Analysis (math.NA)

[472] arXiv:1003.5263 [pdf, other]

Title: A Proof, Based on the Euler Sum Acceleration, of the Recovery of an Exponential (Geometric) Rate of Convergence for the Fourier Series of a Function with Gibbs Phenomenon

John P. Boyd

Comments: A short version, only one-third as long, will appear in the Proceedings of ICOSAHOM '09

Subjects: Numerical Analysis (math.NA); Geophysics (physics.geo-ph)

[473] arXiv:1003.5290 [pdf, other]

Title: A posteriori error estimates for approximate solutions of Barenblatt-Biot poroelastic model

J. M. Nordbotten, T. Rahman, S. I. Repin, J. Valdman

Comments: 12 pages

Subjects: Numerical Analysis (math.NA)

[474] arXiv:1003.5303 [pdf, other]

Title: Determinating Timing Channels in Compute Clouds

Amittai Aviram, Sen Hu, Bryan Ford, Ramakrishna Gummadi

Comments: 6 pages, 4 figures

Subjects: Operating Systems (cs.OS); Cryptography and Security (cs.CR)

[475] arXiv:1003.5304 [pdf, other]

Title: Review of Lattice-based Public key Cryptography(Russian)

V.S. Usatyuk

Comments: 13 pages, 12 figures

Subjects: Cryptography and Security (cs.CR)

[476] arXiv:1003.5305 [pdf, other]

Title: Rational Value of Information Estimation for Measurement Selection

David Tolpin, Solomon Eyal Shimony

Comments: 7 pages, 2 figures, presented at URPDM2010; plots fixed

Subjects: Artificial Intelligence (cs.AI)

[477] arXiv:1003.5309 [pdf, other]

Title: Gossip Algorithms for Distributed Signal Processing

Alexandros G. Dimakis, Soummya Kar, Jose M.F. Moura, Michael G. Rabbat, Anna Scaglione

Comments: Submitted to Proceedings of the IEEE, 29 pages

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)

[478] arXiv:1003.5320 [pdf, other]

Title: The Video Genome

Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel

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

[479] arXiv:1003.5324 [pdf, other]

Title: Stable Nash equilibria of medium access games under symmetric, socially altruistic behavior

G. Kesidis, Y. Jin, A.P. Azad, E. Altman

Subjects: Computer Science and Game Theory (cs.GT); Networking and Internet Architecture (cs.NI)

[480] arXiv:1003.5325 [pdf, other]

Title: What's in a Session: Tracking Individual Behavior on the Web

Mark Meiss, John Duncan, Bruno Gonçalves, José J. Ramasco, Filippo Menczer

Comments: 10 pages, 13 figures, 1 table

Journal-ref: Proceedings of the 20th ACM conference on Hypertext and hypermedia, 173-182 (2009)

Subjects: Human-Computer Interaction (cs.HC); Multiagent Systems (cs.MA); Physics and Society (physics.soc-ph)

[481] arXiv:1003.5326 [pdf, other]

Title: Truth and Envy in Capacitated Allocation Games

Edith Cohen, Michal Feldman, Amos Fiat, Haim Kaplan, Svetlana Olonetsky

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

[482] arXiv:1003.5327 [pdf, other]

Title: Agents, Bookmarks and Clicks: A topical model of Web traffic

Mark Meiss, Bruno Gonçalves, José J. Ramasco, Alessandro Flammini, Filippo Menczer

Comments: 10 pages, 16 figures, 1 table - Long version of paper to appear in Proceedings of the 21th ACM conference on Hypertext and Hypermedia

Journal-ref: Proceedings of the 21th ACM conference on Hypertext and hypermedia, 229 (2010)

Subjects: Networking and Internet Architecture (cs.NI); Information Retrieval (cs.IR); Multiagent Systems (cs.MA); Physics and Society (physics.soc-ph)

[483] arXiv:1003.5328 [pdf, other]

Title: On the Interplay between Incentive Compatibility and Envy Freeness

Edith Cohen, Michal Feldman, Amos Fiat, Haim Kaplan, Svetlana Olonetsky

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

[484] arXiv:1003.5330 [pdf, other]

Title: Lin-Kernighan Heuristic Adaptations for the Generalized Traveling Salesman Problem

Daniel Karapetyan, Gregory Gutin

Comments: 25 pages

Journal-ref: European Journal of Operational Research 208(3), pages 221-232, 2011

Subjects: Data Structures and Algorithms (cs.DS)

[485] arXiv:1003.5342 [pdf, other]

Title: Improving Waiting Time of Tasks Scheduled Under Preemptive Round Robin Using Changeable Time Quantum

Samih Mohemmed Mostafa

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

[486] arXiv:1003.5345 [pdf, other]

Title: Bounds for the Sum Capacity of Binary CDMA Systems in Presence of Near-Far Effect

P. Pad, M. H. Shafinia, S. M. Mansouri, P. Kabir, F. Marvasti

Subjects: Information Theory (cs.IT)

[487] arXiv:1003.5349 [pdf, other]

Title: On the optimality of Orthogonal Greedy Algorithm for M-coherent dictionaries

Eugene Livshitz

Subjects: Numerical Analysis (math.NA)

[488] arXiv:1003.5350 [pdf, other]

Title: An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications

Daniel J. Dougherty

Journal-ref: EPTCS 21, 2010, pp. 77-89

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

[489] arXiv:1003.5363 [pdf, other]

Title: Proceedings FM-09 Workshop on Formal Methods for Aerospace

Manuela Bujorianu (University of Manchester, UK), Michael Fisher (University of Liverpool, UK)

Journal-ref: EPTCS 20, 2010

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

[490] arXiv:1003.5372 [pdf, other]

Title: Learning Recursive Segments for Discourse Parsing

Stergos Afantenos, Pascal Denis, Philippe Muller, Laurence Danlos

Comments: published at LREC 2010

Subjects: Computation and Language (cs.CL)

[491] arXiv:1003.5383 [pdf, other]

Title: Automatic analysis of distance bounding protocols

Sreekanth Malladi, Bezawada Bruhadeshwar, Kishore Kothapalli

Comments: 22 pages, Appeared in Foundations of Computer Security, (Affiliated workshop of LICS 2009, Los Angeles, CA).

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

[492] arXiv:1003.5384 [pdf, other]

Title: Protocol indepedence through disjoint encryption under Exclusive-OR

Sreekanth Malladi

Comments: 22 pages, In Proceedings, Foundations of Security and Privacy (FCS-PrivMod 2010).

Subjects: Cryptography and Security (cs.CR); Symbolic Computation (cs.SC)

[493] arXiv:1003.5385 [pdf, other]

Title: How to prevent type-flaw attacks on security protocols under algebraic properties

Sreekanth Malladi, Pascal Lafourcade

Comments: 16 pages, Appeared in proceedings of Security with Rewriting Techniques (SecRet09), Affiliated to CSF Symposium 2009, Port Jefferson, NY.

Subjects: Cryptography and Security (cs.CR)

[494] arXiv:1003.5399 [pdf, other]

Title: Spatial logics with connectedness predicates

Roman Kontchakov (Birkbeck College London), Ian Pratt-Hartmann (Department of Computer Science, Manchester University), Frank Wolter (Department of Computer Science, University of Liverpool), Michael Zakharyaschev (Birkbeck College London)

Comments: Some results of the paper were presented at LPAR 2008 and ECAI 2000

Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 3 (August 18, 2010) lmcs:1229

Subjects: Logic in Computer Science (cs.LO)

[495] arXiv:1003.5406 [pdf, other]

Title: Disabling equational theories in unification for cryptographic protocol analysis through tagging

Sreekanth Malladi

Comments: 8 pages, submitted for publication

Subjects: Cryptography and Security (cs.CR); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[496] arXiv:1003.5413 [pdf, other]

Title: Modeling Multi-Point Transport Protocol in P2P Networks

Yong-Xiang Zhao, Chang-Jia Chen

Subjects: Networking and Internet Architecture (cs.NI)

[497] arXiv:1003.5429 [pdf, other]

Title: Preventing Distributed Denial-of-Service Attacks on the IMS Emergency Services Support through Adaptive Firewall Pinholing

Andreea Ancuta Onofrei (1), Yacine Rebahi (1), Thomas Magedanz (1), (1)Fokus Fraunhofer Institute, Germany

Comments: 17 Pages, IJNGN Journal

Journal-ref: International Journal of Next-Generation Networks 2.1 (2010) 1-17

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

[498] arXiv:1003.5431 [pdf, other]

Title: Securing Internet Protocol (IP) Storage: A Case Study

Siva Rama Krishnan Somayaji (1), Ch.A.S Murty (2), ((1)VIT University, India, (2)C-DAC, Hyderabad, India)

Comments: 10 Pages, IJNGN Journal

Journal-ref: International Journal of Next-Generation Networks 2.1 (2010) 19-28

Subjects: Networking and Internet Architecture (cs.NI)

[499] arXiv:1003.5432 [pdf, other]

Title: Computer Network Topology Design in Limelight of Pascal Graph Property

Sanjay Kumar Pal (1), Samar Sen Sarma (2), ((1)NSHM College of Management & Technology, India, (2) University of Calcutta, India)

Comments: 6 Pages, IJNGN Journal

Journal-ref: International Journal of Next-Generation Networks 2.1 (2010) 30-35

Subjects: Networking and Internet Architecture (cs.NI)

[500] arXiv:1003.5435 [pdf, other]

Title: Image Compression and Watermarking scheme using Scalar Quantization

Kilari Veera Swamy (1), B.Chandra Mohan (2), Y.V.Bhaskar Reddy (3), S.Srinivas Kumar (4) ((1) QISCET, Ongole, India, (2) BEC, Bapatla, India, (3) QISCET, Ongole, India and (4) JNTU, Kakinada, India)

Comments: 11 Pages, IJNGN Journal 2010

Journal-ref: International Journal of Next-Generation Networks 2.1 (2010) 37-47

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

[501] arXiv:1003.5437 [pdf, other]

Title: Improved Packet Forwarding Approach in Vehicular Ad Hoc Networks Using RDGR Algorithm

K.Prasanth (1), Dr.K.Duraiswamy (2), K.Jayasudha (3), Dr.C.Chandrasekar (4), ((1) <a href="http://K.S.Rangasamy" rel="external noopener nofollow" class="link-external link-http">this http URL</a> College of Technology, India, (2) <a href="http://K.S.Rangasamy" rel="external noopener nofollow" class="link-external link-http">this http URL</a> College of Technology, India, (3) K.S.R College of Engineering, India, (4) Periyar University, India)

Comments: 14 Pages, IJNGN Journal

Journal-ref: International Journal of Next-Generation Networks 2.1 (2010) 64-77

Subjects: Networking and Internet Architecture (cs.NI)

[502] arXiv:1003.5438 [pdf, other]

Title: A Performance Analysis for UMTS Packet Switched Network Based on Multivariate KPIS

Ye Ouyang, M. Hosein Fallah, (Stevens Institute of Technology, USA)

Comments: 15 Pages, IJNGN Journal

Journal-ref: International Journal of Next-Generation Networks 2.1 (2010) 79-92

Subjects: Networking and Internet Architecture (cs.NI)

[503] arXiv:1003.5439 [pdf, other]

Title: Design of A Low Power Low Voltage CMOS Opamp

Ratul Kr. Baruah (Tezpur University, India)

Comments: 8 Pages, VLSICS Journal

Journal-ref: International Journal Of VLSI Design & Communication Systems 1.1 (2010) 1-8

Subjects: Other Computer Science (cs.OH)

[504] arXiv:1003.5440 [pdf, other]

Title: QoS Based Capacity Enhancement for WCDMA Network with Coding Scheme

K.Ayyappan (1), R. Kumar (2) ((1) Rajiv Gandhi College of Engineering and Technology, India, (2) SRM University, India)

Comments: 10 Pages, VLSICS Journal

Journal-ref: International Journal Of VLSI Design & Communication Systems 1.1 (2010) 10-19

Subjects: Networking and Internet Architecture (cs.NI)

[505] arXiv:1003.5442 [pdf, other]

Title: Arithmetic Operations in Multi-Valued Logic

Vasundara Patel (1), K. S. Gurumurthy (2) ((1) Vishweshwaraiah Technological University, India, (2) UVCE, Bangalore, India)

Comments: 12 Pages, VLSICS Journal 2010

Journal-ref: International Journal Of VLSI Design & Communication Systems 1.1 (2010) 21-32

Subjects: Other Computer Science (cs.OH)

[506] arXiv:1003.5447 [pdf, other]

Title: Relating Nominal and Higher-order Abstract Syntax Specifications

Andrew Gacek

Comments: To appear in PPDP 2010

Subjects: Logic in Computer Science (cs.LO)

[507] arXiv:1003.5455 [pdf, other]

Title: Towards physical laws for software architecture

A.D. Chepelianskii

Subjects: Software Engineering (cs.SE); Information Retrieval (cs.IR); Data Analysis, Statistics and Probability (physics.data-an); Physics and Society (physics.soc-ph)

[508] arXiv:1003.5458 [pdf, other]

Title: Seidel complementation on ($P_5$, $House$, $Bull$)-free graphs

Jean-Luc Fouquet (LIFO), Jean-Marie Vanherpe (LIFO)

Subjects: Discrete Mathematics (cs.DM)

[509] arXiv:1003.5459 [pdf, other]

Title: On a family of cubic graphs containing the flower snarks

Jean-Luc Fouquet (LIFO), Henri Thuillier (LIFO), Jean-Marie Vanherpe (LIFO)

Journal-ref: Discussiones Mathematicae Graph Theory 30, 2 (2010) 289-314

Subjects: Discrete Mathematics (cs.DM)

[510] arXiv:1003.5461 [pdf, other]

Title: A Note on Integer Factorization Using Lattices

Antonio Ignacio Vera (INRIA Lorraine - LORIA)

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

[511] arXiv:1003.5474 [pdf, other]

Title: Angle Tree: Nearest Neighbor Search in High Dimensions with Low Intrinsic Dimensionality

Ilia Zvedeniouk, Sanjay Chawla

Comments: To be submitted to IEEE Transactions on Pattern Analysis and Machine Intelligence

Subjects: Data Structures and Algorithms (cs.DS)

[512] arXiv:1003.5480 [pdf, other]

Title: Truthful Fair Division

Elchanan Mossel, Omer Tamuz

Comments: 10 pages

Journal-ref: Algorithmic Game Theory, volume 6386 of Lecture Notes in Computer Science, pages 288-299. Springer Berlin / Heidelberg, 2010 (SAGT 2010)

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

[513] arXiv:1003.5509 [pdf, other]

Title: An LSB Data Hiding Technique Using Prime Numbers

Sandipan Dey, Ajith Abraham, Sugata Sanyal

Comments: 6 Pages, 7 Figures, Third International Symposium on Information Assurance and Security, August 29-31, 2007, Manchester, United Kingdom, IEEE Computer Society press, USA, ISBN 0-7695-2876-7, pp. 101-106, 2007.

Subjects: Cryptography and Security (cs.CR)

[514] arXiv:1003.5510 [pdf, other]

Title: EphPub: Toward Robust Ephemeral Publishing

Claude Castelluccia, Emiliano De Cristofaro, Aurelien Francillon, Mohamed-Ali Kaafar

Comments: Proceedings of IEEE ICNP 2011

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

[515] arXiv:1003.5511 [pdf, other]

Title: Categorical Models for a Semantically Linear Lambda-calculus

Marco Gaboardi, Mauro Piccolo

Journal-ref: EPTCS 22, 2010, pp. 1-13

Subjects: Logic in Computer Science (cs.LO)

[516] arXiv:1003.5512 [pdf, other]

Title: Resource-Bound Quantification for Graph Transformation

Paolo Torrini, Reiko Heckel

Journal-ref: EPTCS 22, 2010, pp. 14-25

Subjects: Logic in Computer Science (cs.LO)

[517] arXiv:1003.5513 [pdf, other]

Title: Uniqueness Typing for Resource Management in Message-Passing Concurrency

Edsko de Vries, Adrian Francalanza, Matthew Hennessy

Journal-ref: EPTCS 22, 2010, pp. 26-37

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

[518] arXiv:1003.5515 [pdf, other]

Title: Labelled Lambda-calculi with Explicit Copy and Erase

Maribel Fernández, Nikolaos Siafakas

Journal-ref: EPTCS 22, 2010, pp. 49-64

Subjects: Logic in Computer Science (cs.LO)

[519] arXiv:1003.5517 [pdf, other]

Title: Competition with Dynamic Spectrum Leasing

Lingjie Duan, Jianwei Huang, Biying Shou

Comments: A shorter version appears in IEEE DySPAN 2010. This version has been submitted to IEEE/ACM Transactions on Networking.

Subjects: Networking and Internet Architecture (cs.NI)

[520] arXiv:1003.5518 [pdf, other]

Title: On Linear Information Systems

A. Bucciarelli, A. Carraro, T. Ehrhard, A. Salibra

Journal-ref: EPTCS 22, 2010, pp. 38-48

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

[521] arXiv:1003.5525 [pdf, other]

Title: Searching publications on operating systems

C. A. Middelburg

Comments: 8 pages

Subjects: Operating Systems (cs.OS)

[522] arXiv:1003.5619 [pdf, other]

Title: Flexible Authentication Technique for Ubiquitous Wireless Communication using Passport and Visa Tokens

Abdullah M.Almuhaideb, Mohammed A. Alhabeeb, Phu D.Le, Bala Srinivasan

Journal-ref: Journal of Telecommunications, Volume 1, Issue 2, pp1-10, March 2010

Subjects: Networking and Internet Architecture (cs.NI)

[523] arXiv:1003.5623 [pdf, other]

Title: Spoken Language Identification Using Hybrid Feature Extraction Methods

Pawan Kumar, Astik Biswas, A .N. Mishra, Mahesh Chandra

Journal-ref: Journal of Telecommunications, Volume 1, Issue 2, pp11-15, March 2010

Subjects: Sound (cs.SD); Machine Learning (cs.LG)

[524] arXiv:1003.5627 [pdf, other]

Title: Wavelet-Based Mel-Frequency Cepstral Coefficients for Speaker Identification using Hidden Markov Models

Mahmoud I. Abdalla, Hanaa S. Ali

Journal-ref: Journal of Telecommunications, Volume 1, Issue 2, pp16-21, March 2010

Subjects: Sound (cs.SD); Machine Learning (cs.LG)

[525] arXiv:1003.5629 [pdf, other]

Title: Bit Error Rate Performance Analysis on Modulation Techniques of Wideband Code Division Multiple Access

M. A. Masud, M. Samsuzzaman, M. A.Rahman

Journal-ref: Journal of Telecommunications,Volume 1, Issue 2, pp22-29, March 2010

Subjects: Other Computer Science (cs.OH)

[526] arXiv:1003.5631 [pdf, other]

Title: A Mobile Message Scheduling and Delivery System using m-Learning framework

Moumita Majumder, Sumit Dhar

Journal-ref: Journal of Telecommunications,Volume 1, Issue 2, pp30-34, March 2010

Subjects: Other Computer Science (cs.OH)

[527] arXiv:1003.5633 [pdf, other]

Title: Performance Analysis of Best suited Adaptive Equalization Algorithm for Optical Communication

Tarek Hasan-Al-Mahmud, M.Mahbubur Rahman, Sumon Kumar Debnath

Journal-ref: Journal of Telecommunications,Volume 1, Issue 2, pp35-41, March 2010

Subjects: Other Computer Science (cs.OH)

[528] arXiv:1003.5635 [pdf, other]

Title: Web-Based Learning and Training for Virtual Metrology Lab

Fahad Al-Zahrani

Journal-ref: Journal of Telecommunications,Volume 1, Issue 2, pp42-54, March 2010

Subjects: Other Computer Science (cs.OH)

[529] arXiv:1003.5648 [pdf, other]

Title: The Error-Pattern-Correcting Turbo Equalizer

Hakim Alhussien, Jaekyun Moon

Comments: This work has been submitted to the special issue of the IEEE Transactions on Information Theory titled: "Facets of Coding Theory: from Algorithms to Networks". This work was supported in part by the NSF Theoretical Foundation Grant 0728676.

Journal-ref: Alhussien, H.; Moon, J.; , "The Error-Pattern-Correcting Turbo Equalizer: Spectrum Thinning at High SNRs," Information Theory, IEEE Transactions on , vol.57, no.2, pp.953-971, Feb. 2011

Subjects: Information Theory (cs.IT)

[530] arXiv:1003.5693 [pdf, other]

Title: An Iteratively Decodable Tensor Product Code with Application to Data Storage

Hakim Alhussien, Jaekyun Moon

Comments: Hakim Alhussien, Jaekyun Moon, "An Iteratively Decodable Tensor Product Code with Application to Data Storage"

Journal-ref: IEEE Journal on Selected Areas in Communications, vol.28, no.2, pp.228-240, February 2010.

Subjects: Information Theory (cs.IT)

[531] arXiv:1003.5699 [pdf, other]

Title: Predicting the Future with Social Media

Sitaram Asur, Bernardo A. Huberman

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

[532] arXiv:1003.5716 [pdf, other]

Title: Proceedings First International Workshop on Linearity

Mário Florido, Ian Mackie

Journal-ref: EPTCS 22, 2010

Subjects: Logic in Computer Science (cs.LO)

[533] arXiv:1003.5746 [pdf, other]

Title: BitTorrent Experiments on Testbeds: A Study of the Impact of Network Latencies

Ashwin Rao (INRIA Sophia Antipolis / INRIA Rhône-Alpes), Arnaud Legout (INRIA Sophia Antipolis / INRIA Rhône-Alpes), Walid Dabbous (INRIA Sophia Antipolis / INRIA Rhône-Alpes)

Journal-ref: JDIR, Sophia Antipolis : France (2010)

Subjects: Networking and Internet Architecture (cs.NI)

[534] arXiv:1003.5749 [pdf, other]

Title: Etiqueter un corpus oral par apprentissage automatique à l'aide de connaissances linguistiques

Iris Eshkol (CORAL), Isabelle Tellier (LIFO), Taalab Samer (LIFO), Sylvie Billot (LIFO)

Journal-ref: 10\`emes Journ\'ees Internationales d'Analyse statistique des Donn\'ees Textuelles JADT'2010, Rome : Italie (2010)

Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL)

[535] arXiv:1003.5758 [pdf, other]

Title: Proceedings Tenth International Workshop on Rule-Based Programming

Ian Mackie, Anamaria Martins Moreira

Journal-ref: EPTCS 21, 2010

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

[536] arXiv:1003.5771 [pdf, other]

Title: Analysis of a CSMA-Based Wireless Network: Feasible Throughput Region and Power Consumption

Fu-Te Hsu, Hsuan-Jung Su

Comments: submitted to IEEE Transactions on Communications

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

[537] arXiv:1003.5775 [pdf, other]

Title: The impact of cell site re-homing on the performance of umts core networks

Ye Ouyang (1), M. Hosein Fallah (1), ((1)Stevens Institute of Technology, USA)

Comments: 14 Pages, IJNGN Journal

Journal-ref: International Journal of Next-Generation Networks 2.1 (2010) 49-62

Subjects: Networking and Internet Architecture (cs.NI)

[538] arXiv:1003.5777 [pdf, other]

Title: Specifying Reusable Components

Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer

Journal-ref: Proceedings of the 3rd International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'10). Lecture Notes in Computer Science, 6217:127--141, Springer-Verlag, August 2010

Subjects: Software Engineering (cs.SE)

[539] arXiv:1003.5782 [pdf, other]

Title: Bricks and conjectures of Berge, Fulkerson and Seymour

Vahan Mkrtchyan, Eckhard Steffen

Comments: 4 pages

Subjects: Discrete Mathematics (cs.DM)

[540] arXiv:1003.5783 [pdf, other]

Title: Measures of edge-uncolorability

Vahan Mkrtchyan, Eckhard Steffen

Comments: 9 pages

Journal-ref: Discrete Mathematics 312/2 (2012) pp. 476--478

Subjects: Discrete Mathematics (cs.DM)

[541] arXiv:1003.5787 [pdf, other]

Title: A secured Cryptographic Hashing Algorithm

Rakesh Mohanty, Niharjyoti Sarangi, Sukant kumar Bishi

Comments: 4 pages,2 figures, 1 tabular data set

Subjects: Cryptography and Security (cs.CR)

[542] arXiv:1003.5794 [pdf, other]

Title: Scalable Group Management in Large-Scale Virtualized Clusters

Wei Zhou, Lei Wang, Dan Meng, Lin Yuan, Jianfeng Zhan

Comments: 9 pages

Journal-ref: The Journal of High Technology Letters, January, 2011

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

[543] arXiv:1003.5803 [pdf, other]

Title: Why the Internet is so 'small'?

Shi Zhou

Journal-ref: EuropeComm 2009, LNICST 16, pp. 4-12, 2009

Subjects: Networking and Internet Architecture (cs.NI)

[544] arXiv:1003.5821 [pdf, other]

Title: Tuning CLD Maps

Roberto Marazzato, Amelia Carolina Sparavigna

Comments: Keywords: coherence length, image analysis, 2D textures; texture functions; defect localisation; directional defect pattern; optimization; histogram

Journal-ref: International Journal of Software Engineering and Computing, 2011, Volume 3, Issue 1, Pages 17-23

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

[545] arXiv:1003.5861 [pdf, other]

Title: Robust multi-camera view face recognition

Dakshina Ranjan Kisku, Hunny Mehrotra, Phalguni Gupta, Jamuna Kanta Sing

Comments: 10 pages, 3 figures, IJCA

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

[546] arXiv:1003.5865 [pdf, other]

Title: Offline Signature Identification by Fusion of Multiple Classifiers using Statistical Learning Theory

Dakshina Ranjan Kisku, Phalguni Gupta, Jamuna Kanta Sing

Comments: 11 pages, 3 figures, IJSIA 2010

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[547] arXiv:1003.5874 [pdf, other]

Title: Stability of epsilon-Kernels

Pankaj K. Agarwal, Jeff M. Phillips, Hai Yu

Comments: 15 pages, 7 figures

Subjects: Computational Geometry (cs.CG)

[548] arXiv:1003.5884 [pdf, other]

Title: CWTS crown indicator measures citation impact of a research group's publication oeuvre

Henk F. Moed

Comments: Letter to the editor; reply to paper arXiv:1002.2769

Subjects: Digital Libraries (cs.DL); Physics and Society (physics.soc-ph)

[549] arXiv:1003.5886 [pdf, other]

Title: Development of a multi-user handwriting recognition system using Tesseract open source OCR engine

Sandip Rakshit, Subhadip Basu

Comments: Proc. International Conference on C3IT (2009) 240-247

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

[550] arXiv:1003.5891 [pdf, other]

Title: Recognition of Handwritten Roman Script Using Tesseract Open source OCR Engine

Sandip Rakshit, Subhadip Basu

Comments: Proc. National Conference on NAQC (2008) 141-145

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