Computer Science

Authors and titles for September 2008

[201] arXiv:0809.3049 [pdf, other]

Title: Numerical Solution of Multiple Nonlinear Volterra Integral Equations

S. A. Belbas, Yuriy Bulka

Comments: 29 pages

Subjects: Numerical Analysis (math.NA); Classical Analysis and ODEs (math.CA)

[202] arXiv:0809.3083 [pdf, other]

Title: Supervised Dictionary Learning

Julien Mairal (WILLOW), Francis Bach (WILLOW), Jean Ponce (WILLOW, LIENS), Guillermo Sapiro, Andrew Zisserman (WILLOW, VGG)

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

[203] arXiv:0809.3091 [pdf, other]

Title: A Distributed Algorithm for Fair and Efficient User-Network Association in Multi-Technology Wireless Networks

Pierre Coucheney (INRIA Rhône-Alpes / LIG laboratoire d'Informatique de Grenoble), Corinne Touati (INRIA Rhône-Alpes / LIG laboratoire d'Informatique de Grenoble), Bruno Gaujal (INRIA Rhône-Alpes / LIG laboratoire d'Informatique de Grenoble)

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

[204] arXiv:0809.3140 [pdf, other]

Title: Monadic Datalog over Finite Structures with Bounded Treewidth

Georg Gottlob, Reinhard Pichler, Fang Wei

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

[205] arXiv:0809.3159 [pdf, other]

Title: A Geometrical Description of the SINR Region of the Gaussian Interference Channel: the two and three-user case

Abdoulaye Bagayoko, Patrick Tortelier

Comments: Submitted to IEEE ICC 2009, 5 pages

Subjects: Information Theory (cs.IT)

[206] arXiv:0809.3179 [pdf, other]

Title: Kinematic and Dynamic Analyses of the Orthoglide 5-axis

Raza Ur-Rehman (IRCCyN), Stéphane Caro (IRCCyN), Damien Chablat (IRCCyN), Philippe Wenger (IRCCyN)

Journal-ref: Congress on Mechatronics, Le Grand-Bornand : France (2008)

Subjects: Robotics (cs.RO)

[207] arXiv:0809.3180 [pdf, other]

Title: Singularity Analysis of Limited-dof Parallel Manipulators using Grassmann-Cayley Algebra

Daniel Kanaan (IRCCyN), Philippe Wenger (IRCCyN), Damien Chablat (IRCCyN)

Journal-ref: 11th International Symposium on Advances in Robot Kinematics, France (2008)

Subjects: Robotics (cs.RO)

[208] arXiv:0809.3181 [pdf, other]

Title: Framework for Dynamic Evaluation of Muscle Fatigue in Manual Handling Work

Liang Ma (IRCCyN), Fouad Bennis (IRCCyN), Damien Chablat (IRCCyN), Wei Zhang (DIE)

Comments: International Conference On Industrial Technology, Chengdu : Chine (2008)

Subjects: Robotics (cs.RO)

[209] arXiv:0809.3182 [pdf, other]

Title: SINGULAB - A Graphical user Interface for the Singularity Analysis of Parallel Robots based on Grassmann-Cayley Algebra

Patricia Ben-Horin (Technion), Moshe Shoham (Technion), Stéphane Caro (IRCCyN), Damien Chablat (IRCCyN), Philippe Wenger (IRCCyN)

Comments: Advances in Robot Kinematics, Batz sur Mer : France (2008)

Subjects: Robotics (cs.RO)

[210] arXiv:0809.3187 [pdf, other]

Title: A Control Variate Approach for Improving Efficiency of Ensemble Monte Carlo

T. Borogovac, F. J. Alexander, P. Vakili

Comments: 15 pages, 2 ps figures, this http URL

Subjects: Computational Engineering, Finance, and Science (cs.CE); Statistical Mechanics (cond-mat.stat-mech); Computation (stat.CO)

[211] arXiv:0809.3204 [pdf, other]

Title: Extended ASP tableaux and rule redundancy in normal logic programs

Matti Järvisalo, Emilia Oikarinen

Comments: 27 pages, 5 figures, 1 table

Journal-ref: Theory and Practice of Logic Programming, 8(5-6):691-716, 2008

Subjects: Artificial Intelligence (cs.AI)

[212] arXiv:0809.3214 [pdf, other]

Title: A Statistical Approach to Modeling Indian Classical Music Performance

Soubhik Chakraborty, Sandeep Singh Solanki, Sayan Roy, Shivee Chauhan, Sanjaya Shankar Tripathy, Kartik Mahto

Comments: 24 pages,11 figures;a replacement paper is being uploaded because the the nyas swars of Yaman were not correctly given;some typos have been corrected

Subjects: Sound (cs.SD); Applications (stat.AP)

[213] arXiv:0809.3232 [pdf, other]

Title: A Local Clustering Algorithm for Massive Graphs and its Application to Nearly-Linear Time Graph Partitioning

Daniel A. Spielman, Shang-Hua Teng

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

[214] arXiv:0809.3250 [pdf, other]

Title: Using descriptive mark-up to formalize translation quality assessment

Andrey Kutuzov

Comments: 9 pages

Journal-ref: Published in Russian in 'Translation industry and information supply in international business activities: materials of international conference' - Perm, 2008, pp. 90-101

Subjects: Computation and Language (cs.CL)

[215] arXiv:0809.3276 [pdf, other]

Title: Criteria on Utility Designing of Convex Optimization in FDMA Networks

Zheng Sun, Wenjun Xu, Zhiqiang He, Kai Niu

Comments: published in workshop of ICC '08

Subjects: Networking and Internet Architecture (cs.NI)

[216] arXiv:0809.3279 [pdf, other]

Title: Distributed Spiral Optimization in Wireless Sensor Networks without Fusion Centers

Zheng Sun

Comments: submitted

Subjects: Networking and Internet Architecture (cs.NI)

[217] arXiv:0809.3280 [pdf, other]

Title: A Heuristic Scheduling Scheme in Multiuser OFDMA Networks

Zheng Sun, Zhiqiang He, Ruochen Wang, Kai Niu

Comments: published in VTC Fall '08

Subjects: Networking and Internet Architecture (cs.NI)

[218] arXiv:0809.3283 [pdf, other]

Title: Performance Comparison of Cooperative and Distributed Spectrum Sensing in Cognitive Radio

Zheng Sun, Wenjun Xu, Zhiqiang He, Kai Niu

Comments: submitted

Subjects: Networking and Internet Architecture (cs.NI)

[219] arXiv:0809.3285 [pdf, other]

Title: Load Balancing Strategies to Solve Flowshop Scheduling on Parallel Computing

Zheng Sun, Xiaohong Huang, Yan Ma

Comments: submitted

Subjects: Networking and Internet Architecture (cs.NI)

[220] arXiv:0809.3352 [pdf, other]

Title: Generalized Prediction Intervals for Arbitrary Distributed High-Dimensional Data

Steffen Kuehn

Comments: 13 pages, 3 figures

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

[221] arXiv:0809.3357 [pdf, other]

Title: More on Combinatorial Batch Codes

Sushmita Ruj, Bimal Roy

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

[222] arXiv:0809.3365 [pdf, other]

Title: Algebraic reduction for space-time codes based on quaternion algebras

Laura Luzzi, Ghaya Rekaya-Ben Othman, Jean-Claude Belfiore

Comments: 29 pages, 7 figures

Subjects: Information Theory (cs.IT)

[223] arXiv:0809.3370 [pdf, other]

Title: Achievability of the Rate ${1/2}\log(1+\es)$ in the Discrete-Time Poisson Channel

Alfonso Martinez

Subjects: Information Theory (cs.IT)

[224] arXiv:0809.3384 [pdf, other]

Title: Changing Assembly Modes without Passing Parallel Singularities in Non-Cuspidal 3-R\underline{P}R Planar Parallel Robots

Ilian Bonev (GPA), Sébastien Briot (GPA), Philippe Wenger (IRCCyN), Damien Chablat (IRCCyN)

Comments: 2nd International Workshop on Fundamental Issues and Future Research Directions for Parallel Mechanisms and Manipulators, Montpellier : France (2008)

Subjects: Robotics (cs.RO)

[225] arXiv:0809.3415 [pdf, other]

Title: Ten weeks in the life of an eDonkey server

Frederic Aidouni, Matthieu Latapy, Clemence Magnien

Subjects: Networking and Internet Architecture (cs.NI)

[226] arXiv:0809.3447 [pdf, other]

Title: An Exploratory Study of Calendar Use

Manas Tungare, Manuel Perez-Quinones, Alyssa Sams

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

[227] arXiv:0809.3485 [pdf, other]

Title: A First Step to Convolutive Sparse Representation

Hamed Firouzi, Massoud Babaie-Zadeh, Aria Ghasemian, Christian Jutten

Comments: 4 Pages-In Proceeding of ICASSP 2008

Subjects: Multimedia (cs.MM); Other Computer Science (cs.OH)

[228] arXiv:0809.3503 [pdf, other]

Title: JDATATRANS for Array Obfuscation in Java Source Code to Defeat Reverse Engineering from Decompiled Codes

Praveen Sivadasan, P Sojan Lal, Naveen Sivadasan

Comments: Manuscript submitted to ACM COMPUTE 2009 Conference,Bangalore

Subjects: Cryptography and Security (cs.CR)

[229] arXiv:0809.3527 [pdf, other]

Title: Inferring Company Structure from Limited Available Information

Mugurel Ionut Andreica, Angela Andreica, Romulus Andreica

Comments: Some of the algorithmic techniques presented in this paper were used as part of the solutions for some of the tasks proposed in several programming contests in which the first author participated (see the related materials for several such tasks and their solutions)

Journal-ref: International Symposium on Social Development and Economic Performance, Satu Mare : Romania (2008)

Subjects: Data Structures and Algorithms (cs.DS)

[230] arXiv:0809.3528 [pdf, other]

Title: Locating Restricted Facilities on Binary Maps

Mugurel Ionut Andreica, Cristina Teodora Andreica, Madalina Ecaterina Andreica

Comments: The algorithmic techniques presented in this paper were used by the first author in the implementation of solutions to various algorithmic contest tasks (see the attached zip archive for some examples)

Journal-ref: International Symposium on Social Development and Economic Performance, Satu Mare : Romania (2008)

Subjects: Data Structures and Algorithms (cs.DS)

[231] arXiv:0809.3542 [pdf, other]

Title: A High Performance Memory Database for Web Application Caches

Ivan Voras, Danko Basch, Mario Zagar

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

[232] arXiv:0809.3546 [pdf, other]

Title: Universal Secure Network Coding via Rank-Metric Codes

Danilo Silva, Frank R. Kschischang

Comments: 12 pages, 1 figure, substantially rewritten and improved. Submitted to IEEE Transactions on Information Theory

Journal-ref: IEEE Transactions on Information Theory, vol. 57, no. 2, pp. 1124-1135, Feb. 2011

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

[233] arXiv:0809.3554 [pdf, other]

Title: The Approximate Capacity of the Many-to-One and One-to-Many Gaussian Interference Channels

Guy Bresler, Abhay Parekh, David Tse

Comments: 45 pages, 16 figures. Submitted to IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[234] arXiv:0809.3565 [pdf, other]

Title: On fractionality of the path packing problem

N. Vanetik

Comments: 18 pages, 5 figures in .eps format, 2 latex files, main file is this http URL Resubmission due to incorrectly specified CS type of the article; no changes to the context have been made

Subjects: Discrete Mathematics (cs.DM)

[235] arXiv:0809.3571 [pdf, other]

Title: Evaluation of an Intelligent Assistive Technology for Voice Navigation of Spreadsheets

Derek Flood, Kevin Mc Daid, Fergal Mc Caffery, Brian Bishop

Comments: 10 Pages, 2 Colour Figures, 4 Tables

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2008 69-78 ISBN 978-905617-69-2

Subjects: Human-Computer Interaction (cs.HC)

[236] arXiv:0809.3574 [pdf, other]

Title: Spreadsheet modelling for solving combinatorial problems: The vendor selection problem

Pandelis G. Ipsilandis

Comments: 13 Pages, 8 Colour Figures, 1 Table

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2008 95-107 ISBN 978-905617-69-2

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)

[237] arXiv:0809.3584 [pdf, other]

Title: Spreadsheet Components For All

Jocelyn Paine

Comments: 19 Pages

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2008 109-127 ISBN 978-905617-69-2

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)

[238] arXiv:0809.3586 [pdf, other]

Title: A Primer on Spreadsheet Analytics

Thomas A. Grossman

Comments: 12 Pages, 8 Colour Figures

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2008 129-140 ISBN 978-905617-69-2

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)

[239] arXiv:0809.3587 [pdf, other]

Title: Spreadsheet End-User Behaviour Analysis

Brian Bishop, Kevin McDaid

Comments: 12 Pages, 13 Figures

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2008 141-152 ISBN 978-905617-69-2

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)

[240] arXiv:0809.3595 [pdf, other]

Title: Controlling End User Computing Applications - a case study

Jamie Chambers, John Hamill

Comments: 9 Pages

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2008 153-161 ISBN 978-905617-69-2

Subjects: Human-Computer Interaction (cs.HC)

[241] arXiv:0809.3597 [pdf, other]

Title: Spreadsheets: Aiming the Accountant's Hammer to Hit the Nail on the Head

Mbwana Alliy, Patty Brown

Comments: 8 Pages

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2008 163-170 ISBN 978-905617-69-2

Subjects: Human-Computer Interaction (cs.HC)

[242] arXiv:0809.3600 [pdf, other]

Title: On the Capacity Improvement of Multicast Traffic with Network Coding

Zheng Wang, Shirish Karande, Hamid R. Sadjadpour, J.J. Garcia-Luna-Aceves

Subjects: Information Theory (cs.IT)

[243] arXiv:0809.3609 [pdf, other]

Title: Information and Data Quality in Spreadsheets

Patrick O'Beirne

Comments: 15 Pages, 3 Tables, 1 Figure

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2008 171-185 ISBN 978-905617-69-2

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)

[244] arXiv:0809.3612 [pdf, other]

Title: Overview and main results of the DidaTab project

Francois-Marie Blondel, Eric Bruillard, Francoise Tort

Comments: 12 Pages, 5 Figures

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2008 187-198 ISBN 978-905617-69-2

Subjects: Human-Computer Interaction (cs.HC)

[245] arXiv:0809.3613 [pdf, other]

Title: Revisiting the Panko-Halverson Taxonomy of Spreadsheet Errors

Raymond R. Panko

Comments: 22 Pages, 17 Figures

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2008 199-220 ISBN 978-905617-69-2

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)

[246] arXiv:0809.3614 [pdf, other]

Title: Improved Monotone Circuit Depth Upper Bound for Directed Graph Reachability

Sergey Volkov

Comments: preprint

Subjects: Computational Complexity (cs.CC)

[247] arXiv:0809.3618 [pdf, other]

Title: Robust Near-Isometric Matching via Structured Learning of Graphical Models

Julian J. McAuley, Tiberio S. Caetano, Alexander J. Smola

Comments: 11 pages, 9 figures

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

[248] arXiv:0809.3634 [pdf, other]

Title: Polynomial two-parameter eigenvalue problems and matrix pencil methods for stability of delay-differential equations

Elias Jarlebring, Michiel E. Hochstenbach

Subjects: Numerical Analysis (math.NA); Dynamical Systems (math.DS)

[249] arXiv:0809.3646 [pdf, other]

Title: Approximating acyclicity parameters of sparse hypergraphs

Fedor V. Fomin, Petr A. Golovach, Dimitrios M. Thilikos

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

[250] arXiv:0809.3688 [pdf, other]

Title: Mathematical and computer tools of discrete dynamic modeling and analysis of complex systems in control loop

Armen Bagdasaryan

Comments: 14 pages, 15 figures

Journal-ref: Int J Mathematical Models and Methods in Applied Sciences, vol. 2, issue 1, 2008, pp. 82-95

Subjects: Computational Engineering, Finance, and Science (cs.CE); Multiagent Systems (cs.MA)

[251] arXiv:0809.3690 [pdf, other]

Title: Modeling and Control with Local Linearizing Nadaraya Watson Regression

Steffen Kühn, Clemens Gühmann

Comments: 13 pages, 5 figures

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

[252] arXiv:0809.3711 [pdf, other]

Title: Chirplet approximation of band-limited, real signals made easy

J.M Greenberg, Laurent Gosse (CNR BARI)

Journal-ref: SIAM J. Sci. Comp. (2009) ??

Subjects: Numerical Analysis (math.NA)

[253] arXiv:0809.3714 [pdf, other]

Title: Existence, uniqueness and a constructive solution algorithm for a class of finite Markov moment problems

Laurent Gosse (CNR BARI), Olof Runborg

Journal-ref: SIAM J. Appl. Math. 68, 6 (2008) 1618-1640

Subjects: Numerical Analysis (math.NA); Computational Finance (q-fin.CP); Applications (stat.AP)

[254] arXiv:0809.3731 [pdf, other]

Title: Uncertainty Relations for Shift-Invariant Analog Signals

Yonina C. Eldar

Comments: Accepted to IEEE Trans. on Inform. Theory

Subjects: Information Theory (cs.IT)

[255] arXiv:0809.3908 [pdf, other]

Title: Optimal Energy Management Policies for Energy Harvesting Sensor Nodes

Vinod Sharma, Utpal Mukherji, Vinay Joseph, Shrey Gupta

Comments: Submitted to the IEEE Transactions on Wireless Communications; 22 pages with 10 figures

Subjects: Networking and Internet Architecture (cs.NI)

[256] arXiv:0809.3910 [pdf, other]

Title: A globally accelerated numerical method for optical tomography with continuous wave source

Hua Shan, M.V. Klibanov, Jianzhong Su, Natee Pantong, Hanli Liu

Comments: 31 pages, 7 figures

Subjects: Numerical Analysis (math.NA)

[257] arXiv:0809.3935 [pdf, other]

Title: Characterizing graphs with convex and connected configuration spaces

Meera Sitharam, Heping Gao

Subjects: Computational Geometry (cs.CG)

[258] arXiv:0809.3942 [pdf, other]

Title: A Reconfigurable Programmable Logic Block for a Multi-Style Asynchronous FPGA resistant to Side-Channel Attacks

Philippe Hoogvorst, Sylvain Guilley, Sumanta Chaudhuri, Jean-Luc Danger, Taha Beyrouthy, Laurent Fesquet

Comments: 29 pages

Subjects: Cryptography and Security (cs.CR); Other Computer Science (cs.OH)

[259] arXiv:0809.3960 [pdf, other]

Title: Formalising the pi-calculus using nominal logic

Jesper Bengtson, Joachim Parrow

Comments: 36 pages, 3 figures

Journal-ref: Logical Methods in Computer Science, Volume 5, Issue 2 (June 30, 2009) lmcs:832

Subjects: Logic in Computer Science (cs.LO)

[260] arXiv:0809.4017 [pdf, other]

Title: Termination Criteria for Solving Concurrent Safety and Reachability Games

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger

Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

[261] arXiv:0809.4019 [pdf, other]

Title: Throughput Scaling of Wireless Networks With Random Connections

Shengshan Cui, Alexander M. Haimovich, Oren Somekh, H. Vincent Poor, Shlomo Shamai (Shitz)

Comments: 13 pages, 4 figures, To appear in IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[262] arXiv:0809.4058 [pdf, other]

Title: Target Localization Accuracy Gain in MIMO Radar Based Systems

Hana Godrich, Alexander M. Haimovich, Rick S. Blum

Comments: 36 pages, 5 figures, submitted to IEEE Transaction on Information Theory

Subjects: Information Theory (cs.IT)

[263] arXiv:0809.4082 [pdf, other]

Title: Multiprocessor Global Scheduling on Frame-Based DVFS Systems

Vandy Berten, Joël Goossens

Subjects: Operating Systems (cs.OS)

[264] arXiv:0809.4086 [pdf, other]

Title: Learning Hidden Markov Models using Non-Negative Matrix Factorization

George Cybenko, Valentino Crespi

Comments: Submitted to IEEE Transactions on Information Theory in September 2008

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

[265] arXiv:0809.4093 [pdf, other]

Title: Perspective Drawing of Surfaces with Line Hidden Line Elimination, Dibujando Superficies En Perspectiva Con Eliminacion De Lineas Ocultas

Ignacio Vega-Paez, Jose Angel Ortega, Georgina G. Pulido

Journal-ref: Proceedings in Technical Memory, XI Congreso Nacional de Ingenieria Electromecanica y de Sistemas, pp. 136-144, Mexico, DF., Nov 2009

Subjects: Graphics (cs.GR); Computational Geometry (cs.CG)

[266] arXiv:0809.4101 [pdf, other]

Title: On Gaussian MIMO BC-MAC Duality With Multiple Transmit Covariance Constraints

Lan Zhang, Rui Zhang, Ying-Chang Liang, Yan Xin, H. Vincent Poor

Comments: 36 pages, 5 figures

Subjects: Information Theory (cs.IT)

[267] arXiv:0809.4107 [pdf, other]

Title: Modelling interdependencies between the electricity and information infrastructures

Jean-Claude Laprie (LAAS), Karama Kanoun (LAAS), Mohamed Kaaniche (LAAS)

Journal-ref: 26th International Conference on Computer Safety, Reliability and Security, SAFECOMP-2007, Nurenberg : Allemagne (2007)

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

[268] arXiv:0809.4108 [pdf, other]

Title: The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation

Ana E. Rugina (LAAS), Karama Kanoun (LAAS), Mohamed Kaaniche (LAAS)

Comments: 6 pages

Journal-ref: 7th European Dependable Computing Conference (EDCC), Kaunas : Lituanie (2008)

Subjects: Software Engineering (cs.SE)

[269] arXiv:0809.4109 [pdf, other]

Title: Software dependability modeling using an industry-standard architecture description language

Ana-Elena Rugina (LAAS), Peter H. Feiler (CMU-SEI), Karama Kanoun (LAAS), Mohamed Kaaniche (LAAS)

Subjects: Software Engineering (cs.SE)

[270] arXiv:0809.4115 [pdf, other]

Title: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König

Comments: To appear in "Logical Methods in Computer Science", 41 pages

Journal-ref: Logical Methods in Computer Science, Volume 4, Issue 4 (October 21, 2008) lmcs:1165

Subjects: Logic in Computer Science (cs.LO)

[271] arXiv:0809.4149 [pdf, other]

Title: Block Network Error Control Codes and Syndrome-based Complete Maximum Likelihood Decoding

Hossein Bahramgiri, Farshad Lahouti

Subjects: Information Theory (cs.IT)

[272] arXiv:0809.4183 [pdf, other]

Title: An Asymptotically Optimal RFID Authentication Protocol Against Relay Attacks

Gildas Avoine, Aslan Tchamkerten

Comments: 10 pages

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

[273] arXiv:0809.4194 [pdf, other]

Title: Rate based call gapping with priorities and fairness between traffic classes

Benedek Kovacs

Subjects: Networking and Internet Architecture (cs.NI)

[274] arXiv:0809.4316 [pdf, other]

Title: A Layered Lattice Coding Scheme for a Class of Three User Gaussian Interference Channels

Sriram Sridharan, Amin Jafarian, Sriram Vishwanath, Syed A. Jafar, Shlomo Shamai (Shitz)

Comments: 8 pages, 4 figures

Subjects: Information Theory (cs.IT)

[275] arXiv:0809.4325 [pdf, other]

Title: On the Unicast Capacity of Stationary Multi-channel Multi-radio Wireless Networks: Separability and Multi-channel Routing

Liangping Ma

Subjects: Information Theory (cs.IT)

[276] arXiv:0809.4326 [pdf, other]

Title: Algorithms for Game Metrics

Krishnendu Chatterjee (Institute of Science and Technology, Vienna, Austria), Luca de Alfaro (University of California, Santa Cruz, USA), Rupak Majumdar (University of California, Los Angeles, USA), Vishwanath Raman (University of California, Santa Cruz, USA)

Comments: 27 pages. Full version of the paper accepted at FSTTCS 2008

Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 3 (September 1, 2010) lmcs:783

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

[277] arXiv:0809.4342 [pdf, other]

Title: Towards a More Accurate Carrier Sensing Model for CSMA Wireless Networks

Caihong Kai, Soung Chang Liew

Subjects: Networking and Internet Architecture (cs.NI)

[278] arXiv:0809.4395 [pdf, other]

Title: Content Sharing for Mobile Devices

Rudi Ball

Comments: 98 page, Masters Dissertation, 64 figures, September 2007

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

[279] arXiv:0809.4398 [pdf, other]

Title: Multistep greedy algorithm identifies community structure in real-world and computer-generated networks

Philipp Schuetz, Amedeo Caflisch

Comments: 17 pages, 2 figures

Journal-ref: Phys. Rev. E 78, 026112 (2008)

Subjects: Data Structures and Algorithms (cs.DS); Disordered Systems and Neural Networks (cond-mat.dis-nn); Physics and Society (physics.soc-ph); Molecular Networks (q-bio.MN); Quantitative Methods (q-bio.QM)

[280] arXiv:0809.4484 [pdf, other]

Title: Llull and Copeland Voting Computationally Resist Bribery and Control

Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Joerg Rothe

Comments: This 2008/9/28 version is the same as both the 2008/9/25 version at arxiv.org and the 2008/9/25 revision of URCS TR-2008-933, except the present version corrects a minor typo in the penultimate paragraph of Section 3

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

[281] arXiv:0809.4501 [pdf, other]

Title: Audio Classification from Time-Frequency Texture

Guoshen Yu, Jean-Jacques Slotine

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

[282] arXiv:0809.4529 [pdf, other]

Title: The Equivalence of Semidefinite Relaxation MIMO Detectors for Higher-Order QAM

Wing-Kin Ma, Chao-Cheng Su, Joakim Jalden, Tsung-Hui Chang, Chong-Yung Chi

Comments: Submitted to IEEE Journal of Selected Topics in Signal Processing, Aug 2008

Subjects: Information Theory (cs.IT); Optimization and Control (math.OC)

[283] arXiv:0809.4530 [pdf, other]

Title: Mining Meaning from Wikipedia

Olena Medelyan, David Milne, Catherine Legg, Ian H. Witten

Comments: An extensive survey of re-using information in Wikipedia in natural language processing, information retrieval and extraction and ontology building. Accepted for publication in International Journal of Human-Computer Studies

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Information Retrieval (cs.IR)

[284] arXiv:0809.4576 [pdf, other]

Title: On-the-Fly Coding to Enable Full Reliability Without Retransmission

Jerome Lacan, Emmanuel Lochin

Comments: 9 pages

Subjects: Networking and Internet Architecture (cs.NI)

[285] arXiv:0809.4577 [pdf, other]

Title: A Generic Top-Down Dynamic-Programming Approach to Prefix-Free Coding

Mordecai Golin, Xiaoming Xu, Jiajin Yu

Subjects: Data Structures and Algorithms (cs.DS); Information Theory (cs.IT)

[286] arXiv:0809.4582 [pdf, other]

Title: Achieving compositionality of the stable model semantics for Smodels programs

Emilia Oikarinen, Tomi Janhunen

Comments: 44 pages, 2 tables

Subjects: Artificial Intelligence (cs.AI)

[287] arXiv:0809.4622 [pdf, other]

Title: A computational approach to the covert and overt deployment of spatial attention

Jérémy Fix (INRIA Lorraine - Loria), Nicolas P. Rougier (INRIA Lorraine - Loria, University of Colorado, Boulder), Frédéric Alexandre (INRIA Lorraine - Loria)

Journal-ref: Dans NeuroComp 2008 : 2i\`eme Conf\'erence Fran\c{c}aise de Neurosciences Computationnelles (2008)

Subjects: Neural and Evolutionary Computing (cs.NE)

[288] arXiv:0809.4632 [pdf, other]

Title: Surrogate Learning - An Approach for Semi-Supervised Classification

Sriharsha Veeramachaneni, Ravikumar Kondadadi

Comments: 8 pages, 2 figures

Subjects: Machine Learning (cs.LG)

[289] arXiv:0809.4635 [pdf, other]

Title: Mechanistic Behavior of Single-Pass Instruction Sequences

Jan A. Bergstra, Mark B. van der Zwaag

Comments: 12 pages

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

[290] arXiv:0809.4668 [pdf, other]

Title: Faceted Ranking of Egos in Collaborative Tagging Systems

Jose Ignacio Orlicki (CoreLabs, ITBA), Pablo Ignacio Fierens (ITBA), José Ignacio Alvarez-Hamelin (ITBA, CONICET)

Journal-ref: WEBIST 2009, Lisboa : Portugal (2009)

Subjects: Information Retrieval (cs.IR)

[291] arXiv:0809.4725 [pdf, other]

Title: A local greedy algorithm and higher order extensions for global numerical continuation of analytically varying subspaces

Kevin Zumbrun

Comments: Added references plus discussuion of higher order algorithms

Subjects: Numerical Analysis (math.NA)

[292] arXiv:0809.4743 [pdf, other]

Title: The Imaginary Sliding Window As a New Data Structure for Adaptive Algorithms

Boris Ryabko

Comments: Published in: Problems of information transmission,1996,v.32,#2

Subjects: Information Theory (cs.IT); Data Structures and Algorithms (cs.DS)

[293] arXiv:0809.4747 [pdf, other]

Title: On parsimonious edge-colouring of graphs with maximum degree three

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

Comments: Revised version submitted to Graphs and Combinatorics

Subjects: Discrete Mathematics (cs.DM)

[294] arXiv:0809.4784 [pdf, other]

Title: A Computational Study on Emotions and Temperament in Multi-Agent Systems

Luis Paulo Reis, Daria Barteneva, Nuno Lau

Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA); Robotics (cs.RO)

[295] arXiv:0809.4792 [pdf, other]

Title: On Pure and (approximate) Strong Equilibria of Facility Location Games

Thomas Dueholm Hansen, Orestis A. Telelis

Comments: 19 pages, 5 figures, 2 tables, partially appeared in WINE 2008

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

[296] arXiv:0809.4794 [pdf, other]

Title: Efficient, Differentially Private Point Estimators

Adam Smith

Comments: 9 pages

Subjects: Cryptography and Security (cs.CR); Data Structures and Algorithms (cs.DS)

[297] arXiv:0809.4802 [pdf, other]

Title: A variational multiscale Newton-Schur approach for the incompressible Navier-Stokes equations

D. Z. Turner, K. B. Nakshatrala, K. D. Hjelmstad

Comments: 22 Pages, 11 Figures

Subjects: Numerical Analysis (math.NA)

[298] arXiv:0809.4804 [pdf, other]

Title: On the Secure Degrees of Freedom of Wireless X Networks

Tiangao Gou, Syed A. Jafar

Comments: To appear in Proceedings of 46th Annual Allerton Conference on Communication, Control and Computing, Sept. 2008

Subjects: Information Theory (cs.IT)

[299] arXiv:0809.4807 [pdf, other]

Title: Secure Wireless Communications via Cooperation

Lun Dong, Zhu Han, Athina P. Petropulu, H. Vincent Poor

Comments: 7 pages, 5 figures, appeared in 2008 Allerton Conference on Communication, Control, and Computing

Subjects: Information Theory (cs.IT)

[300] arXiv:0809.4812 [pdf, other]

Title: Control software analysis, Part I Open-loop properties

Eric Feron, Fernando Alegre

Comments: 20 pages, 3 figures

Subjects: Software Engineering (cs.SE)