Computer Science

Authors and titles for June 2011

[301] arXiv:1106.2414 [pdf, other]

Title: Some remarks on cops and drunk robbers

Athanasios Kehagias, Pawel Pralat

Subjects: Discrete Mathematics (cs.DM); Computer Science and Game Theory (cs.GT); Robotics (cs.RO); Combinatorics (math.CO); Probability (math.PR)

[302] arXiv:1106.2417 [pdf, other]

Title: Inferring Internet AS Relationships Based on BGP Routing Policies

Vasileios Giotsas, Shi Zhou

Comments: 8 pages and 3 figures

Subjects: Networking and Internet Architecture (cs.NI)

[303] arXiv:1106.2429 [pdf, other]

Title: Efficient Transductive Online Learning via Randomized Rounding

Nicolò Cesa-Bianchi, Ohad Shamir

Comments: To appear in a Festschrift in honor of V.N. Vapnik. Preliminary version presented in NIPS 2011

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

[304] arXiv:1106.2436 [pdf, other]

Title: From Bandits to Experts: On the Value of Side-Observations

Shie Mannor, Ohad Shamir

Comments: Presented at the NIPS 2011 conference

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

[305] arXiv:1106.2464 [pdf, other]

Title: On the Sum Capacity of K-user Cascade Gaussian Z-Interference Channel

Yuanpeng Liu, Elza Erkip

Comments: Accepted to ISIT 2011

Subjects: Information Theory (cs.IT)

[306] arXiv:1106.2473 [pdf, other]

Title: Resolving Author Name Homonymy to Improve Resolution of Structures in Co-author Networks

Theresa Velden, Asif-ul Haque, Carl Lagoze

Comments: Accepted for JCDL 2011. Groundtruth data set attached and described in README file

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

[307] arXiv:1106.2481 [pdf, other]

Title: Another approach to the equivalence of measure-many one-way quantum finite automata and its application

Tianrong Lin

Comments: V 10: Corollary 3 is deleted, since it is folk. (V 9: Revised in terms of the referees's comments) All comments, especially the linguistic comments, are welcome

Journal-ref: Journal of Computer and System Sciences 78 (2012) 807-821

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

[308] arXiv:1106.2489 [pdf, other]

Title: Eliciting Forecasts from Self-interested Experts: Scoring Rules for Decision Makers

Craig Boutilier (Department of Computer Science, University of Toronto, Canada)

Comments: 11 pages 4 figures pdflatex See this http URL

Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA); Social and Information Networks (cs.SI)

[309] arXiv:1106.2503 [pdf, other]

Title: A Large-Scale Community Structure Analysis In Facebook

Emilio Ferrara

Comments: 30 pages, 13 Figures - Published on: EPJ Data Science, 1:9, 2012 - open access at: this http URL

Journal-ref: EPJ Data Science, 1:9, 2012

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

[310] arXiv:1106.2522 [pdf, other]

Title: Degrees of Freedom Region of the Gaussian MIMO Broadcast Channel with Common and Private Messages

Ersen Ekrem, Sennur Ulukus

Comments: Submitted to IEEE Transactions on Information Theory, May 2011

Subjects: Information Theory (cs.IT)

[311] arXiv:1106.2530 [pdf, other]

Title: Quantum Finite Automata and Probabilistic Reversible Automata: R-trivial Idempotent Languages

Marats Golovkins, Maksim Kravtsev, Vasilijs Kravcevs

Comments: 30 pages, 3 figures

Journal-ref: MFCS 2011, Lecture Notes in Computer Science, Vol. 6907, pp. 351-363, 2011

Subjects: Formal Languages and Automata Theory (cs.FL); Quantum Physics (quant-ph)

[312] arXiv:1106.2533 [pdf, other]

Title: Obstructions for linear rankwidth at most 1

Isolde Adler, Arthur M. Farley, Andrzej Proskurowski

Comments: 16 pages, 10 figures

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

[313] arXiv:1106.2568 [pdf, other]

Title: HMTT: A Hybrid Hardware/Software Tracing System for Bridging Memory Trace's Semantic Gap

Yungang Bao, Jinyong Zhang, Yan Zhu, Dan Tang, Yuan Ruan, Mingyu Chen, Jianping Fan

Comments: 16 papges, an extension version of ACM SIGMETRICS'08 paper

Subjects: Hardware Architecture (cs.AR); Performance (cs.PF)

[314] arXiv:1106.2575 [pdf, other]

Title: The Design and Implementation of Typed Scheme: From Scripts to Programs

Sam Tobin-Hochstadt, Matthias Felleisen

Comments: Accepted for publication in Higher Order and Symbolic Computation. This is a revised and extended version of a paper presented at the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Subjects: Programming Languages (cs.PL)

[315] arXiv:1106.2578 [pdf, other]

Title: Extensible Pattern Matching in an Extensible Language

Sam Tobin-Hochstadt

Subjects: Programming Languages (cs.PL)

[316] arXiv:1106.2581 [pdf, other]

Title: Distributed Storage Allocations for Optimal Delay

Derek Leong, Alexandros G. Dimakis, Tracey Ho

Comments: Extended version of an IEEE ISIT 2011 paper. 10 pages, 4 figures

Subjects: Information Theory (cs.IT)

[317] arXiv:1106.2587 [pdf, other]

Title: Relative Lempel-Ziv Factorization for Efficient Storage and Retrieval of Web Collections

Christopher Hoobin, Simon J. Puglisi, Justin Zobel

Comments: VLDB2012

Journal-ref: Proceedings of the VLDB Endowment (PVLDB), Vol. 5, No. 3, pp. 265-273 (2011)

Subjects: Data Structures and Algorithms (cs.DS); Databases (cs.DB); Information Retrieval (cs.IR)

[318] arXiv:1106.2593 [pdf, other]

Title: A Simple Multi-Processor Computer Based on Subleq

Oleg Mazonka, Alex Kolodin

Comments: 24 pages

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Hardware Architecture (cs.AR); Programming Languages (cs.PL)

[319] arXiv:1106.2601 [pdf, other]

Title: Knowledge Dispersion Index for Measuring Intellectual Capital

Vikram Dhillon

Comments: Submitted to Innocentive

Subjects: Social and Information Networks (cs.SI); General Finance (q-fin.GN)

[320] arXiv:1106.2603 [pdf, other]

Title: SparseAssembler: de novo Assembly with the Sparse de Bruijn Graph

Chengxi Ye, Zhanshan Sam Ma, Charles H. Cannon, Mihai Pop, Douglas W. Yu

Comments: Corresponding author: Douglas W. Yu, [email protected]

Subjects: Data Structures and Algorithms (cs.DS); Genomics (q-bio.GN)

[321] arXiv:1106.2619 [pdf, other]

Title: Approximating the Closest Vector Problem Using an Approximate Shortest Vector Oracle

Chandan Dubey, Thomas Holenstein

Comments: 10 pages, Published in APPROX 2011

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

[322] arXiv:1106.2637 [pdf, other]

Title: Using Bounded Model Checking to Focus Fixpoint Iterations

David Monniaux (VERIMAG - IMAG), Laure Gonnord (LIFL)

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

[323] arXiv:1106.2647 [pdf, other]

Title: From Causal Models To Counterfactual Structures

Joseph Y. Halpern

Comments: A preliminary version of this paper appears in the Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), 2010.}

Journal-ref: Review of Symbolic Logic 6:2, 2013, pp. 305--322

Subjects: Artificial Intelligence (cs.AI)

[324] arXiv:1106.2649 [pdf, other]

Title: Viewpoint: Journals for Certification, Conferences for Rapid Dissemination

Joseph Y. Halpern, David C. Parkes

Comments: To appear, Communications of the ACM

Subjects: Digital Libraries (cs.DL)

[325] arXiv:1106.2650 [pdf, other]

Title: On the Nash Equilibria in Decentralized Parallel Interference Channels

Luca Rose, Samir M. Perlaza, Mérouane Debbah

Comments: 6 pages, 4 figures, presented in ICCC Kyoto 2011

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

[326] arXiv:1106.2652 [pdf, other]

Title: Actual causation and the art of modeling

Joseph Y. Halpern, Christopher Hitchcock

Comments: In <em>Heuristics, Probability and Causality: A Tribute to Judea Pearl</em> (editors, R. Dechter, H. Geffner, and J. Y. Halpern), College Publications, 2010, pp. 383-406

Subjects: Artificial Intelligence (cs.AI)

[327] arXiv:1106.2657 [pdf, other]

Title: I Don't Want to Think About it Now:Decision Theory With Costly Computation

Joseph Y. Halpern, Rafael Pass

Comments: In Conference on Knowledge Representation and Reasoning (KR '10)

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

[328] arXiv:1106.2662 [pdf, other]

Title: Learning Equilibria with Partial Information in Decentralized Wireless Networks

Luca Rose, Samir M. Perlaza, Samson Lasaulce, Mérouane Debbah

Comments: 16 pages, 5 figures, 1 table. To appear in IEEE Communication Magazine, special Issue on Game Theory

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)

[329] arXiv:1106.2670 [pdf, other]

Title: Transduction on Kadanoff Sand Pile Model Avalanches, Application to Wave Pattern Emergence

Kévin Perrot, Eric Rémila

Comments: 14 pages

Journal-ref: MFCS 2011, ARCoSS LNCS Springer-Verlag, volume 6907, pages 508-520

Subjects: Discrete Mathematics (cs.DM)

[330] arXiv:1106.2673 [pdf, other]

Title: No justified complaints: On fair sharing of multiple resources

Danny Dolev, Dror G. Feitelson, Joseph Y. Halpern, Raz Kupferman, Nati Linial

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

[331] arXiv:1106.2677 [pdf, other]

Title: A Framework for Enabling Distributed Applications on the Internet

Mark Anthony McLaughlin

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

[332] arXiv:1106.2684 [pdf, other]

Title: QIS-XML: An Extensible Markup Language for Quantum Information Science

Pascal Heus, Richard Gomez

Comments: 83 pages, 58 figures

Subjects: Software Engineering (cs.SE); Emerging Technologies (cs.ET); Programming Languages (cs.PL); Quantum Physics (quant-ph)

[333] arXiv:1106.2686 [pdf, other]

Title: Automated Software Testing Using Metahurestic Technique Based on An Ant Colony Optimization

Praveen Ranjan Srivastava, Km Baby

Comments: Electronic System Design (ISED), 2010 International Symposium on Issue Date: 20-22 Dec. 2010 On page(s): 235 - 240 Location: Bhubaneswar Print ISBN: 978-1-4244-8979-4 INSPEC Accession Number: 11835766 Digital Object Identifier: https://doi.org/10.1109/ISED.2010.52

Subjects: Software Engineering (cs.SE)

[334] arXiv:1106.2692 [pdf, other]

Title: Generating Schemata of Resolution Proofs

Vincent Aravantinos, Nicolas Peltier

Subjects: Artificial Intelligence (cs.AI)

[335] arXiv:1106.2694 [pdf, other]

Title: Geometric Simultaneous RAC Drawings of Graphs

Evmorfia N. Argyriou, Michael A. Bekos, Michael Kaufmann, Antonios Symvonis

Subjects: Data Structures and Algorithms (cs.DS)

[336] arXiv:1106.2695 [pdf, other]

Title: Robust Mobile Object Tracking Based on Multiple Feature Similarity and Trajectory Filtering

Duc Phu Chau (INRIA Sophia Antipolis), François Bremond (INRIA Sophia Antipolis), Monique Thonnat (INRIA Sophia Antipolis), Etienne Corvee (INRIA Sophia Antipolis)

Journal-ref: The International Conference on Computer Vision Theory and Applications (VISAPP) (2011)

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

[337] arXiv:1106.2696 [pdf, other]

Title: Who clicks there!: Anonymizing the photographer in a camera saturated society

Peter Schaffer, Djamila Aouada, Shishir Nagaraja

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

[338] arXiv:1106.2729 [pdf, other]

Title: Nested Graph Words for Object Recognition

Svebor Karaman (LaBRI), Jenny Benois-Pineau (LaBRI), Rémi Mégret (IMS)

Comments: Preliminary version of accepted paper "Multi-Layer Local Graph Words for Object Recognition". Leaving only final version to avoid confusion

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

[339] arXiv:1106.2756 [pdf, other]

Title: On the Eavesdropper's Correct Decision in Gaussian and Fading Wiretap Channels Using Lattice Codes

Anne-Maria Ernvall-Hytönen, Camilla Hollanti

Comments: 5 pages. Submitted to ITW 2011

Journal-ref: Proceedings of 2011 IEEE Inf. Theory Workshop ITW 2011

Subjects: Cryptography and Security (cs.CR)

[340] arXiv:1106.2766 [pdf, other]

Title: Supporting Parallelism in Server-based Multiprocessor Systems

Luís Nogueira, Luís Miguel Pinho

Comments: WiP Session of the 31st IEEE Real-Time Systems Symposium

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Operating Systems (cs.OS)

[341] arXiv:1106.2769 [pdf, other]

Title: Co-c.e. spheres and cells in computable metric spaces

Zvonko Iljazovic (University of Zagreb, Croatia)

Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 3 (August 25, 2011) lmcs:885

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

[342] arXiv:1106.2772 [pdf, other]

Title: Dominating Induced Matchings for P7-Free Graphs in Linear Time

Andreas Brandstadt, Raffaele Mosca

Subjects: Discrete Mathematics (cs.DM)

[343] arXiv:1106.2774 [pdf, other]

Title: Orthogonal Matching Pursuit with Replacement

Prateek Jain, Ambuj Tewari, Inderjit S. Dhillon

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

[344] arXiv:1106.2788 [pdf, other]

Title: Co-evolution of Selection and Influence in Social Networks

Yoon-Sik Cho, Greg Ver Steeg, Aram Galstyan

Comments: In Proc. of the Twenty-Fifth Conference on Artificial Intelligence (AAAI-11)

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

[345] arXiv:1106.2792 [pdf, other]

Title: Algebraic codes for Slepian-Wolf code design

Shizheng Li, Aditya Ramamoorthy

Comments: 5 pages, accepted by ISIT 2011

Subjects: Information Theory (cs.IT)

[346] arXiv:1106.2794 [pdf, other]

Title: Power Management during Scan Based Sequential Circuit Testing

Reshma.p

Comments: ACIJ 2011

Subjects: Computational Engineering, Finance, and Science (cs.CE)

[347] arXiv:1106.2819 [pdf, other]

Title: Optimizing Constellations for Single-Subcarrier Intensity-Modulated Optical Systems

Johnny Karout, Erik Agrell, Krzysztof Szczerba, Magnus Karlsson

Comments: submitted to IEEE Transactions on Information Theory, June 2011

Journal-ref: IEEE Transactions on Information Theory, vol. 58, no. 7, pp. 4645-4659, July 2012

Subjects: Information Theory (cs.IT)

[348] arXiv:1106.2872 [pdf, other]

Title: Program Equivalence in Linear Contexts

Yuxin Deng, Yu Zhang

Comments: Technical report, Laboratory for Computer Science, ISCAS

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

[349] arXiv:1106.2877 [pdf, other]

Title: Injectivity of 2D Toric Bézier Patches

Frank Sottile, Chungang Zhu

Comments: 4 pages, extended abstract, to be publised in Proceedings of CAD/Graphis 2011

Subjects: Graphics (cs.GR); Algebraic Geometry (math.AG)

[350] arXiv:1106.2886 [pdf, other]

Title: The Finite Field Multi-Way Relay Channel with Correlated Sources: The Three-User Case

Lawrence Ong, Roy Timo, Gottfried Lechner, Sarah J. Johnson, Christopher M. Kellett

Comments: to be presented at ISIT 2011

Journal-ref: Proceedings of the 2011 IEEE International Symposium on Information Theory (ISIT 2011), Saint Petersburg, Russia, pp. 2238-2242, July 31-Aug. 5, 2011

Subjects: Information Theory (cs.IT)

[351] arXiv:1106.2888 [pdf, other]

Title: On Achievable Rate Regions of the Asymmetric AWGN Two-Way Relay Channel

Lawrence Ong, Christopher M. Kellett, Sarah J. Johnson

Comments: to be presented at ISIT 2011

Journal-ref: Proceedings of the 2011 IEEE International Symposium on Information Theory (ISIT 2011), Saint Petersburg, Russia, pp. 84-88, July 31-Aug. 5, 2011

Subjects: Information Theory (cs.IT)

[352] arXiv:1106.2945 [pdf, other]

Title: Discontinuous information in the worst case and randomized settings

Aicke Hinrichs, Erich Novak, Henryk Wozniakowski

Journal-ref: Math.Nachr. 286 (2013) 679-690

Subjects: Numerical Analysis (math.NA)

[353] arXiv:1106.2946 [pdf, other]

Title: A Unified Relevance Retrieval Model by Eliteness Hypothesis

Jagadeesh Gorla, Stephen Robertson, Jun Wang

Subjects: Information Retrieval (cs.IR)

[354] arXiv:1106.2992 [pdf, other]

Title: A Characterization of the SPARC T3-4 System

Michiel W. van Tol

Subjects: Performance (cs.PF); Distributed, Parallel, and Cluster Computing (cs.DC); Operating Systems (cs.OS)

[355] arXiv:1106.2993 [pdf, other]

Title: Algorithmic Randomness and Capacity of Closed Sets

Douglas Cenzer (University of Florida), Paul Brodhead (Indian River State College), Ferit Toska (University of Florida), Sebastian Wyman (University of Florida)

Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 3 (September 23, 2011) lmcs:1020

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

[356] arXiv:1106.2994 [pdf, other]

Title: Widely Linear vs. Conventional Subspace-Based Estimation of SIMO Flat-Fading Channels: Mean-Squared Error Analysis

Saeed Abdallah, Ioannis N. Psaromiligkos

Comments: 20 pages, 7 figures

Subjects: Information Theory (cs.IT); Other Statistics (stat.OT)

[357] arXiv:1106.3037 [pdf, other]

Title: Efficient algorithm for the vertex connectivity of trapezoid graphs

Aleksandar Ilic

Comments: 12 pages, 2 figures

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

[358] arXiv:1106.3054 [pdf, other]

Title: The Complexity of Mean-Payoff Automaton Expression

Yaron Velner

Comments: arXiv admin note: text overlap with arXiv:1006.1492

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

[359] arXiv:1106.3059 [pdf, other]

Title: Algorithmic Complexity for Short Binary Strings Applied to Psychology: A Primer

Nicolas Gauvrit, Hector Zenil, Jean-Paul Delahaye, Fernando Soler-Toscano

Comments: To appear in Behavior Research Methods

Subjects: Computational Complexity (cs.CC)

[360] arXiv:1106.3077 [pdf, other]

Title: Chameleons in imagined conversations: A new approach to understanding coordination of linguistic style in dialogs

Cristian Danescu-Niculescu-Mizil, Lillian Lee

Comments: data available at this http URL

Journal-ref: Proceedings of the ACL workshop on Cognitive Modeling and Computational Linguistics, pp 76-87, 2011

Subjects: Computation and Language (cs.CL); Physics and Society (physics.soc-ph)

[361] arXiv:1106.3126 [pdf, other]

Title: Testing List H-Homomorphisms

Yuichi Yoshida

Subjects: Data Structures and Algorithms (cs.DS)

[362] arXiv:1106.3134 [pdf, other]

Title: Communicate only when necessary: Cooperative tasking for multi-agent systems

Mohammad Karimadini, Hai Lin

Comments: 36 Pages, 4 figures

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

[363] arXiv:1106.3153 [pdf, other]

Title: Algorithmic analogies to kamae-Weiss theorem on normal numbers

Hayato Takahashi

Subjects: Information Theory (cs.IT)

[364] arXiv:1106.3161 [pdf, other]

Title: Confronting Intractability via Parameters

Rodney G. Downey, Dimitrios M. Thilikos

Comments: Accepted for publication in Computer Science Review [with some additional corrections]

Subjects: Computational Complexity (cs.CC)

[365] arXiv:1106.3172 [pdf, other]

Title: On Democracy in Peer-to-Peer systems

Ranieri Baraglia, Patrizio Dazzi, Matteo Mordacchini, Laura Ricci, Luca Alessi

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

[366] arXiv:1106.3176 [pdf, other]

Title: A new DFM approach to combine machining and additive manufacturing

Olivier Kerbrat (IRCCyN), Pascal Mognol (IRCCyN), Jean-Yves Hascoët (IRCCyN)

Journal-ref: Computers in Industry (2011) XXX-XXX

Subjects: Other Computer Science (cs.OH)

[367] arXiv:1106.3184 [pdf, other]

Title: The restricted isometry property for time-frequency structured random matrices

Götz E. Pfander, Holger Rauhut, Joel A. Tropp

Comments: 25 pages

Journal-ref: Probab. Theory Related Fields, Vol. 156, num. 3--4, pp. 707-737, Aug. 2013

Subjects: Information Theory (cs.IT); Classical Analysis and ODEs (math.CA); Probability (math.PR)

[368] arXiv:1106.3242 [pdf, other]

Title: The Public Option: a Non-regulatory Alternative to Network Neutrality

Richard T. B. Ma, Vishal Misra

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

[369] arXiv:1106.3269 [pdf, other]

Title: Mean field games equations with quadratic Hamiltonian: a specific approach

Olivier Guéant

Comments: Submitted in June 2011

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

[370] arXiv:1106.3276 [pdf, other]

Title: Sufficient Conditions for Low-rank Matrix Recovery, Translated from Sparse Signal Recovery

Lingchen Kong, Levent Tunçel, Naihua Xiu

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

[371] arXiv:1106.3286 [pdf, other]

Title: ReProCS: A Missing Link between Recursive Robust PCA and Recursive Sparse Recovery in Large but Correlated Noise

Chenlu Qiu, Namrata Vaswani

Subjects: Information Theory (cs.IT)

[372] arXiv:1106.3314 [pdf, other]

Title: Reducing Interpolation on Multi-Grid to Quantizing Grid's Data-Base as a Recursion

Roman Gitlin

Comments: 75 pages, 2 code snippets

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Geometry (cs.CG); Programming Languages (cs.PL)

[373] arXiv:1106.3325 [pdf, other]

Title: Distributed Transactions for Google App Engine: Optimistic Distributed Transactions built upon Local Multi-Version Concurrency Control

Daniel Shawcross Wilkerson, Simon Fredrick Vicente Goldsmith, Ryan Barrett, Erick Armbrust, Robert Johnson, Alfred Fuller

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Databases (cs.DB); Data Structures and Algorithms (cs.DS); Software Engineering (cs.SE)

[374] arXiv:1106.3326 [pdf, other]

Title: Adaptive Monte Carlo applied to uncertainty estimation in a five axis machine tool link errors identification

Loïc Andolfatto (LURPA), René Mayer (LRFV), Sylvain Lavernhe (LURPA)

Journal-ref: International Journal of Machine Tools and Manufacture 51, 7-8 (2011) July-August 2011, Pages 618-627

Subjects: Other Computer Science (cs.OH)

[375] arXiv:1106.3338 [pdf, other]

Title: Creating domain mappings

Kendall Atkinson, Olaf Hansen

Comments: 16 figures

Subjects: Numerical Analysis (math.NA)

[376] arXiv:1106.3348 [pdf, other]

Title: A polyhedral approach for the Equitable Coloring Problem

Isabel Méndez-Díaz, Graciela Nasini, Daniel Severin

Journal-ref: Discrete Applied Mathematics. Volume 164, Part 2 (2014), p. 413--426

Subjects: Discrete Mathematics (cs.DM)

[377] arXiv:1106.3349 [pdf, other]

Title: Polyhedral results for the Equitable Coloring Problem

Isabel Méndez-Díaz, Graciela Nasini, Daniel Severin

Journal-ref: Electronic Notes in Discrete Mathematics. Volume 37 (2011), p. 159--164

Subjects: Discrete Mathematics (cs.DM)

[378] arXiv:1106.3355 [pdf, other]

Title: On epsilon-optimality of the pursuit learning algorithm

Ryan Martin, Omkar Tilak

Journal-ref: Journal of Applied Probability, 49(3), 795-805, 2012

Subjects: Machine Learning (cs.LG)

[379] arXiv:1106.3361 [pdf, other]

Title: Random forest models of the retention constants in the thin layer chromatography

Miron B. Kursa, Łukasz Komsta, Witold R. Rudnicki

Subjects: Artificial Intelligence (cs.AI)

[380] arXiv:1106.3369 [pdf, other]

Title: Evaluation of Fiji National University Campus Information Systems

Bimal Aklesh Kumar

Comments: vol. 2 no. 3 2011

Subjects: Human-Computer Interaction (cs.HC)

[381] arXiv:1106.3373 [pdf, other]

Title: Perturbation Analysis of Orthogonal Matching Pursuit

Jie Ding, Laming Chen, Yuantao Gu

Comments: 29 pages

Journal-ref: IEEE Transactions on Signal Processing, 61(2): 398-410, 2013

Subjects: Information Theory (cs.IT)

[382] arXiv:1106.3381 [pdf, other]

Title: The rates of convergence for generalized entropy of the normalized sums of IID random variables

Hongfei Cui, Jianqiang Sun, Yiming Ding

Comments: 7 pages

Subjects: Information Theory (cs.IT); Probability (math.PR)

[383] arXiv:1106.3395 [pdf, other]

Title: Decoding finger movements from ECoG signals using switching linear models

Rémi Flamary (LITIS), Alain Rakotomamonjy (LITIS)

Subjects: Machine Learning (cs.LG)

[384] arXiv:1106.3396 [pdf, other]

Title: Large margin filtering for signal sequence labeling

Rémi Flamary (LITIS), Benjamin Labbé (LITIS), Alain Rakotomamonjy (LITIS)

Comments: IEEE International Conference on Acoustics Speech and Signal Processing (ICASSP), 2010, Dallas : United States (2010)

Subjects: Machine Learning (cs.LG)

[385] arXiv:1106.3397 [pdf, other]

Title: Handling uncertainties in SVM classification

Emilie Niaf (CREATIS), Rémi Flamary (LITIS), Carole Lartizien (CREATIS), Stéphane Canu (LITIS)

Comments: IEEE Workshop on Statistical Signal Processing, Nice: France (2011)

Subjects: Machine Learning (cs.LG)

[386] arXiv:1106.3402 [pdf, other]

Title: The Capacity Region of the Linear Shift Deterministic Y-Channel

Anas Chaaban, Aydin Sezgin

Comments: to appear in ISIT 2011

Subjects: Information Theory (cs.IT)

[387] arXiv:1106.3409 [pdf, other]

Title: System Identification in Wireless Relay Networks via Gaussian Process

Gareth W. Peters, Ido Nevat, Jinhong Yuan, Ian B. Collings

Comments: 28 pages, 9 figures, one table

Subjects: Information Theory (cs.IT); Applications (stat.AP)

[388] arXiv:1106.3445 [pdf, other]

Title: Constraint solving in non-permutative nominal abstract syntax

Matthew R. Lakin (University of Cambridge)

Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 3 (August 25, 2011) lmcs:995

Subjects: Programming Languages (cs.PL)

[389] arXiv:1106.3448 [pdf, other]

Title: Type classes for efficient exact real arithmetic in Coq

Robbert Krebbers, Bas Spitters

Comments: arXiv admin note: text overlap with arXiv:1105.2751

Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 1 (February 14, 2013) lmcs:958

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

[390] arXiv:1106.3456 [pdf, other]

Title: Conditional and Unique Coloring of Graphs

P.Venkata Subba Reddy, K.Viswanathan Iyer

Comments: Under review in International Journal of Computer Mathematics

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

[391] arXiv:1106.3457 [pdf, other]

Title: Extensional Higher-Order Logic Programming

A. Charalambidis, K. Handjopoulos, P. Rondogiannis, W. W. Wadge

Comments: 45 pages

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

[392] arXiv:1106.3464 [pdf, other]

Title: Polar Fusion Technique Analysis for Evaluating the Performances of Image Fusion of Thermal and Visual Images for Human Face Recognition

Mrinal Kanti Bhowmik, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri

Comments: Proceedings of IEEE Workshop on Computational Intelligence in Biometrics and Identity Management (IEEE CIBIM 2011), Paris, France, April 11 - 15, 2011

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

[393] arXiv:1106.3466 [pdf, other]

Title: Next Level of Data Fusion for Human Face Recognition

Mrinal Kanti Bhowmik, Gautam Majumdar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri

Comments: Keywords: Thermal Image, Visual Image, Fused Image, Data Fusion, Wavelet decomposition, Decision Fusion, Classification

Journal-ref: Proceedings of International Conference on Mathematical Modeling and Applications to Industrial Problems (MMIP' 11), National Institute of Technology, Calicut, India, March 28-31, 2011

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

[394] arXiv:1106.3467 [pdf, other]

Title: High Performance Human Face Recognition using Independent High Intensity Gabor Wavelet Responses: A Statistical Approach

Arindam Kar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri, Mahantapas Kundu

Comments: Keywords: Feature extraction; Gabor Wavelets; independent high-intensity feature (IHIF); Independent Component Analysis (ICA); Specificity; Sensitivity; Cosine Similarity Measure; E-ISSN: 2044-6004

Journal-ref: International Journal of Computer Science & Emerging Technologies pp 178-187, Volume 2, Issue 1, February 2011

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

[395] arXiv:1106.3478 [pdf, other]

Title: Conditional Elimination through Code Duplication

Joachim Breitner

Comments: 11 pages, 5 figures

Subjects: Programming Languages (cs.PL)

[396] arXiv:1106.3480 [pdf, other]

Title: The reduction of the problem of maximization of the fraction of two functionals

Ivan P Smirnov

Comments: 8 pages, 6 figures

Subjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)

[397] arXiv:1106.3488 [pdf, other]

Title: Proceedings 15th International Refinement Workshop

John Derrick (University of Sheffield), Eerke Boiten (University of Kent), Steve Reeves (University of Waikato)

Journal-ref: EPTCS 55, 2011

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

[398] arXiv:1106.3490 [pdf, other]

Title: New Computational Result on Harmonious Trees

Wenjie Fang

Comments: 5 pages, source code of the improved version used in yoyo@home is available at this http URL

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

[399] arXiv:1106.3498 [pdf, other]

Title: On the expressive power of unit resolution

Olivier Bailleux

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)

[400] arXiv:1106.3508 [pdf, other]

Title: Surrogate Parenthood: Protected and Informative Graphs

Barbara Blaustein (MITRE), Adriane Chapman (MITRE), Len Seligman (MITRE), M. David Allen (MITRE), Arnon Rosenthal (MITRE)

Comments: VLDB2011

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