Computer Science

Authors and titles for December 2012

[801] arXiv:1212.6183 [pdf, other]

Title: The Buffered \pi-Calculus: A Model for Concurrent Languages

Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[802] arXiv:1212.6193 [pdf, other]

Title: Learning Joint Query Interpretation and Response Ranking

Uma Sawant, Soumen Chakrabarti

Comments: 11 pages, 14 figures

Subjects: Information Retrieval (cs.IR)

[803] arXiv:1212.6196 [pdf, other]

Title: Development of Low Cost Private Office Access Control System (OACS)

Sadeque Reza Khan

Comments: ISSN: 1839-5171

Journal-ref: IJESA, Volume 02, Number 02, page 01-07, 2012

Subjects: Other Computer Science (cs.OH)

[804] arXiv:1212.6207 [pdf, other]

Title: Irrespective Priority-Based Regular Properties of High-Intensity Virtual Environments

Kirill A. Sorudeykin

Comments: 4 pages, 2 figures; ISBN: 978-1-4673-2984-2

Journal-ref: 20th Telecommunications Forum TELFOR 2012, 2012, pp. 510-513

Subjects: Artificial Intelligence (cs.AI)

[805] arXiv:1212.6216 [pdf, other]

Title: Generating Motion Patterns Using Evolutionary Computation in Digital Soccer

Masoud Amoozgar, Daniel Khashabi, Milad Heydarian, Mohammad Nokhbeh, Saeed Bagheri Shouraki

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

[806] arXiv:1212.6225 [pdf, other]

Title: Joint Sensing and Power Allocation in Nonconvex Cognitive Radio Games: Quasi-Nash Equilibria

Jong-Shi Pang, Gesualdo Scutari

Comments: to appear on IEEE Trans. on Signal Processing, 2013

Subjects: Information Theory (cs.IT)

[807] arXiv:1212.6235 [pdf, other]

Title: Real and Complex Monotone Communication Games

Gesualdo Scutari, Francisco Facchinei, Jong-Shi Pang, Daniel P. Palomar

Comments: to appear on IEEE Transactions in Information Theory

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

[808] arXiv:1212.6241 [pdf, other]

Title: Building design in tropical climates. Elaboration of the ECODOM standard in the french tropical islands

François Garde (PIMENT), Harry Boyer (PIMENT), Robert Celaire, Laurent Seauve

Comments: ISES'99, International Solar Energy Society, Jérusalem : Israel (1999). arXiv admin note: substantial text overlap with arXiv:1212.3925, arXiv:1212.5252

Subjects: Other Computer Science (cs.OH)

[809] arXiv:1212.6250 [pdf, other]

Title: Computer-Assisted Interactive Documentary and Performance Arts in Illimitable Space

Miao Song

Comments: PhD thesis copy; 272 pages, 83 figures, 6 algorithms

Subjects: Multimedia (cs.MM); Computers and Society (cs.CY); Graphics (cs.GR); Human-Computer Interaction (cs.HC)

[810] arXiv:1212.6259 [pdf, other]

Title: Image Steganography based on a Parameterized Canny Edge Detection Algorithm

Youssef Bassil

Comments: LACSC Lebanese Association for Computational Sciences, International Journal of Computer Applications, Vol 60, No.4, 2012, this http URL. arXiv admin note: text overlap with arXiv:1212.2064, arXiv:1212.5801

Subjects: Cryptography and Security (cs.CR)

[811] arXiv:1212.6273 [pdf, other]

Title: Human-Recognizable Robotic Gestures

John-John Cabibihan, Wing-Chee So, Soumo Pramanik

Comments: 21 pages, 5 figures

Journal-ref: Autonomous Mental Development, IEEE Transactions, 2012, 4(4), 305-314

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

[812] arXiv:1212.6276 [pdf, other]

Title: Echo State Queueing Network: a new reservoir computing learning tool

Sebastián Basterrech, Gerardo Rubino

Comments: Proceedings of the 10th IEEE Consumer Communications and Networking Conference (CCNC), Las Vegas, USA, 2013

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[813] arXiv:1212.6287 [pdf, other]

Title: Uniform shift estimates for transmission problems and optimal rates of convergence for the parametric Finite Element Method

Hengguang Li, Victor Nistor, Yu Qiao

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

[814] arXiv:1212.6296 [pdf, other]

Title: A Model of OpenEHR Based Electronic Medical Record In Indonesia

A. B. Mutiara, A. Muslim, T. Oswari, R. A. Miharja

Comments: 10 pages, 5 figures; European Journal of Scientific Research (EJSR), Vol. 90 Issues 3, 2012

Subjects: Computers and Society (cs.CY)

[815] arXiv:1212.6298 [pdf, other]

Title: Design of Intelligent Agents Based System for Commodity Market Simulation with JADE

R. Refianti, A. B. Mutiara, H. Gunawan

Comments: 13 pages, 11 figures; European Journal of Scientific Research (EJSR), Vol. 92 Issue 3, Desember 2012

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

[816] arXiv:1212.6299 [pdf, other]

Title: YAGI Antenna Design for Signal Phone Jammer

Y. Fitriyani, A. B. Mutiara, R. Refianti

Comments: 6 pages, 10 figures; Journal of Theoretical and Applied Information Technology (JATIT), Vol.43 No.1, 2012

Subjects: Other Computer Science (cs.OH)

[817] arXiv:1212.6303 [pdf, other]

Title: A brief experience on journey through hardware developments for image processing and its applications on Cryptography

Sangeet Saha, Chandrajit pal, Rourab paul, Satyabrata Maity, Suman Sau

Comments: In the proceedings of 100th Indian Science Congress,03-07 January,Kolkata

Subjects: Hardware Architecture (cs.AR); Cryptography and Security (cs.CR); Computer Vision and Pattern Recognition (cs.CV)

[818] arXiv:1212.6323 [pdf, other]

Title: Localized Algorithm of Community Detection on Large-Scale Decentralized Social Networks

Pili Hu, Wing Cheong Lau

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

[819] arXiv:1212.6325 [pdf, other]

Title: Existence of Oscillations in Cyclic Gene Regulatory Networks with Time Delay

Masaaki Takada, Yutaka Hori, Shinji Hara

Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC); Molecular Networks (q-bio.MN)

[820] arXiv:1212.6326 [pdf, other]

Title: Programming CUDA and OpenCL: A Case Study Using Modern C++ Libraries

Denis Demidov, Karsten Ahnert, Karl Rupp, Peter Gottschling

Comments: 21 pages, 4 figures, submitted to SIAM Journal of Scientific Computing and accepted

Subjects: Mathematical Software (cs.MS); Distributed, Parallel, and Cluster Computing (cs.DC); Computational Physics (physics.comp-ph)

[821] arXiv:1212.6327 [pdf, other]

Title: Speeding up shortest path algorithms

Andrej Brodnik, Marko Grgurovič

Comments: 10 pages

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

[822] arXiv:1212.6350 [pdf, other]

Title: Single-sided Real-time PESQ Score Estimation

Sebastián Basterrech, Gerardo Rubino, Martín Varela

Comments: In Proceeding of Measurement of Speech, Audio and Video Quality in Networks (MESAQIN'09), Prague, Czech Republic, June 2009, pp. 94-99

Subjects: Sound (cs.SD); Multimedia (cs.MM)

[823] arXiv:1212.6354 [pdf, other]

Title: LNOS - Live Network Operating System

Sajjad Haider, Mehboob Yasin, Naveed Hussain, Muhammad Imran

Comments: 6th CIIT Workshop on Research in Computing (CWRC, 2007)

Subjects: Networking and Internet Architecture (cs.NI); Operating Systems (cs.OS)

[824] arXiv:1212.6355 [pdf, other]

Title: Efficient Decomposition of Bimatrix Games

Xiang Jiang, Arno Pauly

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

[825] arXiv:1212.6360 [pdf, other]

Title: Mori-Zwanzig reduced models for uncertainty quantification II: Initial condition uncertainty

Panagiotis Stinis

Comments: 20 pages, 4 figures

Subjects: Numerical Analysis (math.NA)

[826] arXiv:1212.6371 [pdf, other]

Title: The Weight Distribution of a Class of Cyclic Codes Related to Hermitian Forms Graphs

Shuxing Li, Sihuang Hu, Tao Feng, Gennian Ge

Comments: 4 pages

Journal-ref: IEEE Transactions on Information Theory, 59 (2013), 3064-3067

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

[827] arXiv:1212.6372 [pdf, other]

Title: URI Identity and Web Architecture Revisited

Xiaoshu Wang

Comments: 14 pages, originally published at this http URL

Subjects: Other Computer Science (cs.OH)

[828] arXiv:1212.6375 [pdf, other]

Title: Energy in computing systems with speed scaling: optimization and mechanisms design

Oscar C. Vásquez

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

[829] arXiv:1212.6382 [pdf, other]

Title: 2-connecting Outerplanar Graphs without Blowing Up the Pathwidth

Jasine Babu, Manu Basavaraju, L. Sunil Chandran, Deepak Rajendraprasad

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

[830] arXiv:1212.6383 [pdf, other]

Title: Heuristics Miners for Streaming Event Data

Andrea Burattin, Alessandro Sperduti, Wil M. P. van der Aalst

Subjects: Databases (cs.DB)

[831] arXiv:1212.6385 [pdf, other]

Title: Robust Preconditioners for DG-Discretizations with Arbitrary Polynomial Degrees

Kolja Brix, Claudio Canuto, Wolfgang Dahmen

Comments: 8 pages, 2 figures, keywords: multi-stage preconditioner, spectral discontinuous Galerkin method, auxiliary space method, Legendre-Gauß-Lobatto grids

Subjects: Numerical Analysis (math.NA)

[832] arXiv:1212.6388 [pdf, other]

Title: Trajectory tracking control of kites with system delay

Jorn H. Baayen

Comments: 10 pages, 9 figures

Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

[833] arXiv:1212.6437 [pdf, other]

Title: Joint Sensing and Power Allocation in Nonconvex Cognitive Radio Games: Nash Equilibria and Distributed Algorithms

Gesualdo Scutari, Jong-Shi Pang

Comments: to appear IEEE Transactions on Information Theory, 2013. arXiv admin note: text overlap with arXiv:1212.6225

Subjects: Information Theory (cs.IT)

[834] arXiv:1212.6458 [pdf, other]

Title: Partial-indistinguishability obfuscation using braids

Gorjan Alagic, Stacey Jeffery, Stephen P. Jordan

Comments: 21 pages,Proceedings of TQC 2014

Journal-ref: Proceedings of the 9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014), p. 141-160

Subjects: Cryptography and Security (cs.CR); Quantum Physics (quant-ph)

[835] arXiv:1212.6461 [pdf, other]

Title: On algebraic Riccati equations associated with M-Matrices

Chun-Hua Guo

Comments: 16 pages

Subjects: Numerical Analysis (math.NA)

[836] arXiv:1212.6465 [pdf, other]

Title: Quantized Iterative Message Passing Decoders with Low Error Floor for LDPC Codes

Xiaojie Zhang, Paul H. Siegel

Subjects: Information Theory (cs.IT)

[837] arXiv:1212.6478 [pdf, other]

Title: The degrees of freedom of the Group Lasso for a General Design

Samuel Vaiter (CEREMADE), Charles Deledalle (CEREMADE), Gabriel Peyré (CEREMADE), Jalal Fadili (GREYC), Charles Dossal (IMB)

Subjects: Information Theory (cs.IT)

[838] arXiv:1212.6492 [pdf, other]

Title: Canonical Primal-Dual Method for Solving Non-convex Minimization Problems

Changzhi Wu, Chaojie Li, David Yang Gao

Comments: 21 pages, 6 figures and 4 tables

Subjects: Numerical Analysis (math.NA); Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)

[839] arXiv:1212.6500 [pdf, other]

Title: Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable

Manfred Kufleitner, Alexander Lauser

Comments: Accepted at STACS 2013

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[840] arXiv:1212.6510 [pdf, other]

Title: On Neighborhood Tree Search

Houda Derbel, Bilel Derbel (LIFL, INRIA Lille - Nord Europe)

Comments: Genetic and Evolutionary Computation Conference (GECCO'12) (2012)

Subjects: Other Computer Science (cs.OH)

[841] arXiv:1212.6519 [pdf, other]

Title: Dialectics of Knowledge Representation in a Granular Rough Set Theory

A. Mani

Comments: Enlarged version of Refereed Conference Paper. 18 pp 1 figure. (An extended version is to appear soon)

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

[842] arXiv:1212.6521 [pdf, other]

Title: A Frequency-Domain Encoding for Neuroevolution

Jan Koutník, Juergen Schmidhuber, Faustino Gomez

Subjects: Artificial Intelligence (cs.AI)

[843] arXiv:1212.6526 [pdf, other]

Title: High-SNR Asymptotics of Mutual Information for Discrete Constellations with Applications to BICM

Alex Alvarado, Fredrik Brannstrom, Erik Agrell, Tobias Koch

Comments: Submitted to IEEE Trans. Inf. Theory

Journal-ref: IEEE Trans. Inf. Theory, vol. 60, no. 2, pp. 1061-1076, Feb. 2014

Subjects: Information Theory (cs.IT)

[844] arXiv:1212.6527 [pdf, other]

Title: Discovering Basic Emotion Sets via Semantic Clustering on a Twitter Corpus

Eugene Yuta Bann

Comments: University of Bath BSc(Hons) Computer Science Dissertation, 105 Pages

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

[845] arXiv:1212.6531 [pdf, other]

Title: Domain ontology and multi-criteria analysis for enterprise modeling

Sabria Hadj Tayeb, Myriam Noureddine

Comments: Paper published in IJCSI International Journal of Computer Science Issues, Vol. 9, Issue 2, No 2, March 2012 ISSN (Online): 1694-0814

Subjects: Computers and Society (cs.CY)

[846] arXiv:1212.6542 [pdf, other]

Title: Explicit-Value Analysis Based on CEGAR and Interpolation

Dirk Beyer, Stefan Löwe

Comments: 12 pages, 5 figures, 3 tables, 4 algorithms

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

[847] arXiv:1212.6545 [pdf, other]

Title: A Parallel Method for Population Balance Equations Based on the Method of Characteristics

Yu Li, Qun Lin, Hehu Xie

Comments: 10 pages, 0 figure

Subjects: Numerical Analysis (math.NA)

[848] arXiv:1212.6550 [pdf, other]

Title: Alternating Directions Dual Decomposition

Andre F. T. Martins, Mario A. T. Figueiredo, Pedro M. Q. Aguiar, Noah A. Smith, Eric P. Xing

Subjects: Artificial Intelligence (cs.AI)

[849] arXiv:1212.6556 [pdf, other]

Title: Quantitative Timed Simulation Functions and Refinement Metrics for Timed Systems (Full Version)

Krishnendu Chatterjee, Vinayak S. Prabhu

Comments: Added some corrections from the Journal version

Subjects: Systems and Control (eess.SY); Computer Science and Game Theory (cs.GT)

[850] arXiv:1212.6559 [pdf, other]

Title: Finite element differential forms on curvilinear cubic meshes and their approximation properties

Douglas N. Arnold, Daniele Boffi, Francesca Bonizzoni

Comments: 17 pages, 1 figure; v2: changes in response to referee reports; v3: minor additional changes, this version accepted for Numerische Mathematik; v3: very minor updates, this version corresponds to the final published version

Journal-ref: Numer. Math. 129 (2015) 1-20

Subjects: Numerical Analysis (math.NA)