We gratefully acknowledge support from
the Simons Foundation and member institutions.

Computer Science

Authors and titles for Jun 2014

[ total of 1299 entries: 1-1299 ]
[ showing 1299 entries per page: fewer | more ]
[1]  arXiv:1406.0017 [pdf, ps, other]
Title: Biclique coverings, rectifier networks and the cost of $\varepsilon$-removal
Comments: 12 pages, to appear in proceedings of DCFS 2014: 16th International Conference on Descriptional Complexity of Finite-State Systems
Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM)
[2]  arXiv:1406.0022 [pdf, other]
Title: Error Decay of (almost) Consistent Signal Estimations from Quantized Gaussian Random Projections
Authors: Laurent Jacques
Comments: 24 pages, 1 figure
Subjects: Information Theory (cs.IT)
[3]  arXiv:1406.0023 [pdf]
Title: Circle detection using electro-magnetism optimization
Comments: arXiv admin note: substantial text overlap with arXiv:1405.7362
Journal-ref: Information Sciences, Volume 182, Issue 1, 1 January 2012, Pages 40-55, ISSN 0020-0255,
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[4]  arXiv:1406.0032 [pdf, other]
Title: Comparing and Combining Sentiment Analysis Methods
Comments: Proceedings of the first ACM conference on Online social networks (2013) 27-38
Subjects: Computation and Language (cs.CL)
[5]  arXiv:1406.0043 [pdf, other]
Title: SAT Modulo Monotonic Theories
Subjects: Logic in Computer Science (cs.LO)
[6]  arXiv:1406.0045 [pdf, ps, other]
Title: A belief-based evolutionarily stable strategy
Comments: 26 pages, 3 figures
Subjects: Computer Science and Game Theory (cs.GT); Populations and Evolution (q-bio.PE)
[7]  arXiv:1406.0049 [pdf, ps, other]
Title: Ergodic Capacity Comparison of Different Relay Precoding Schemes in Dual-Hop AF Systems with Co-Channel Interference
Comments: Accepted, to appear in IEEE Transactions on Communications, 2014
Subjects: Information Theory (cs.IT)
[8]  arXiv:1406.0053 [pdf, ps, other]
Title: Fast Kötter-Nielsen-Høholdt Interpolation in the Guruswami-Sudan Algorithm
Comments: Submitted to ACCT-14
Subjects: Information Theory (cs.IT); Symbolic Computation (cs.SC)
[9]  arXiv:1406.0062 [pdf]
Title: Towards a Multiagent Decision Support System for crisis Management
Comments: 14 pages. arXiv admin note: text overlap with arXiv:0907.0499
Journal-ref: J. Intelligent Systems 20(1): 47-60 (2011)
Subjects: Artificial Intelligence (cs.AI)
[10]  arXiv:1406.0073 [pdf, ps, other]
Title: Size of Sets with Small Sensitivity: a Generalization of Simon's Lemma
Subjects: Computational Complexity (cs.CC)
[11]  arXiv:1406.0074 [pdf]
Title: Combined Approach for Image Segmentation
Comments: 4 pages, 5 figures, Published with International Journal of Computer Trends and Technology (IJCTT)
Journal-ref: IJCTT, Volume 11 Number 3 May 2014
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[12]  arXiv:1406.0079 [pdf]
Title: Bridging the gap between Legal Practitioners and Knowledge Engineers using semi-formal KR
Comments: published in proceedings of the 8th International Workshop on Value Modeling and Business Ontology, VMBO, Berlin, 2014
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)
[13]  arXiv:1406.0080 [pdf, ps, other]
Title: On the equivalence between low rank matrix completion and tensor rank
Authors: Harm Derksen
Subjects: Numerical Analysis (math.NA)
[14]  arXiv:1406.0085 [pdf, other]
Title: Cooperative Control of Linear Multi-Agent Systems via Distributed Output Regulation and Transient Synchronization
Subjects: Systems and Control (eess.SY); Dynamical Systems (math.DS)
[15]  arXiv:1406.0086 [pdf, ps, other]
Title: Joint Source-Channel Vector Quantization for Compressed Sensing
Comments: 15 Pages, Accepted for publication in IEEE Transactions on Signal Processing
Subjects: Information Theory (cs.IT)
[16]  arXiv:1406.0089 [pdf, other]
Title: Recursive Algorithms for Distributed Forests of Octrees
Comments: 35 pages, 15 figures, 3 tables
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Engineering, Finance, and Science (cs.CE); Mathematical Software (cs.MS)
[17]  arXiv:1406.0090 [pdf]
Title: Error Control Codes: A Novel Solution for Secret Key Generation and Key Refreshment Problem
Comments: 6 pages, 2 figures
Journal-ref: International Journal of Computer Applications 92(1):1-6, April 2014
Subjects: Cryptography and Security (cs.CR)
[18]  arXiv:1406.0117 [pdf, ps, other]
Title: EACOF: A Framework for Providing Energy Transparency to enable Energy-Aware Software Development
Subjects: Software Engineering (cs.SE)
[19]  arXiv:1406.0124 [pdf]
Title: Software-Defined Networking: State of the Art and Research Challenges
Subjects: Networking and Internet Architecture (cs.NI)
[20]  arXiv:1406.0132 [pdf, ps, other]
Title: Seeing the Big Picture: Deep Embedding with Contextual Evidences
Comments: 10 pages, 13 figures, 7 tables, submitted to ACM Multimedia 2014
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[21]  arXiv:1406.0140 [pdf, ps, other]
Title: Team Selection For Prediction Tasks
Comments: 17 pages
Subjects: Data Structures and Algorithms (cs.DS)
[22]  arXiv:1406.0143 [pdf, ps, other]
Title: Power Allocation and Transmitter Switching for Broadcasting with Multiple Energy Harvesting Transmitters
Subjects: Information Theory (cs.IT)
[23]  arXiv:1406.0154 [pdf, other]
Title: On the Galois Lattice of Bipartite Distance Hereditary Graphs
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[24]  arXiv:1406.0155 [pdf, other]
Title: On the measure of conflicts: A MUS-Decomposition Based Framework
Subjects: Artificial Intelligence (cs.AI)
[25]  arXiv:1406.0156 [pdf, other]
Title: $l_1$-regularized Outlier Isolation and Regression
Comments: Outlier Detection, Robust Regression, Robust Rank Factorization, $l_1$-regularization
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Machine Learning (stat.ML)
[26]  arXiv:1406.0157 [pdf, ps, other]
Title: Deterministic Rateless Codes for BSC
Subjects: Information Theory (cs.IT)
[27]  arXiv:1406.0173 [pdf, other]
Title: On the ISAR Image Analysis and Recovery with Unavailable or Heavily Corrupted Data
Comments: 9 pages, 6 figures, submitted to the IEEE Transactions on Aerospace and Electronic Systems
Subjects: Information Theory (cs.IT)
[28]  arXiv:1406.0175 [pdf]
Title: Evolutionary Search in the Space of Rules for Creation of New Two-Player Board Games
Authors: Zahid Halim
Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI)
[29]  arXiv:1406.0184 [pdf]
Title: Parallelism Via Concurrency at Multiple Levels
Authors: Kamran Latif
Subjects: Performance (cs.PF)
[30]  arXiv:1406.0187 [pdf, ps, other]
Title: Piecewise Toeplitz Matrices-based Sensing for Rank Minimization
Subjects: Information Theory (cs.IT)
[31]  arXiv:1406.0196 [pdf]
Title: A linear algorithm for the grundy number of a tree
Journal-ref: International Journal of Computer Science & Information Technology (IJCSIT) Vol 6, No 1, February 2014
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[32]  arXiv:1406.0200 [pdf, ps, other]
Title: Efficient Soft-Input Soft-Output Detection of Dual-Layer MIMO Systems
Comments: 4 pages, 3 figures
Subjects: Information Theory (cs.IT)
[33]  arXiv:1406.0214 [pdf, other]
Title: Topological and Statistical Behavior Classifiers for Tracking Applications
Subjects: Systems and Control (eess.SY); Algebraic Topology (math.AT); Machine Learning (stat.ML)
[34]  arXiv:1406.0215 [pdf, other]
Title: Cognitive Coordination of Global Service Delivery
Subjects: Other Computer Science (cs.OH)
[35]  arXiv:1406.0216 [pdf, other]
Title: LODE: Linking Digital Humanities Content to the Web of Data
Subjects: Digital Libraries (cs.DL)
[36]  arXiv:1406.0223 [pdf, other]
Title: Holistic Measures for Evaluating Prediction Models in Smart Grids
Comments: 14 Pages, 8 figures, Accepted and to appear in IEEE Transactions on Knowledge and Data Engineering, 2014. Authors' final version. Copyright transferred to IEEE
Journal-ref: IEEE Transactions on Knowledge and Data Engineering, Volume: 27, Issue: 2, Feb. 1 2015
Subjects: Machine Learning (cs.LG)
[37]  arXiv:1406.0231 [pdf]
Title: Ambiguous Proximity Distribution
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[38]  arXiv:1406.0234 [pdf, ps, other]
Title: Joint PIC and relay selection based on greedy techniques for cooperative DS-CDMA systems
Comments: 5 figures, 2 tables, 5 pages
Subjects: Information Theory (cs.IT)
[39]  arXiv:1406.0253 [pdf]
Title: VirtuMob : Remote Desktop Virtualization Solution for Smarphones
Comments: 5 Pages, 4 Figures, Published with International Journal of Computer Trends and Technology (IJCTT). arXiv admin note: text overlap with arXiv:1310.5850 by other authors without attribution
Journal-ref: International Journal of Computer Trends and Technology (IJCTT) V11(4):169-173,May 2014
Subjects: Other Computer Science (cs.OH)
[40]  arXiv:1406.0256 [pdf]
Title: HYBRIST Mobility Model- A Novel Hybrid Mobility Model for VANET Simulations
Comments: International Journal of Computers Applications. 7 pages paper with 10 figures presents a novel mobility model for VANET simulations which best suits the fast developing BRT system type of mobility in Vehicular communications systems
Journal-ref: IJCA 86(14):15-21, January 2014
Subjects: Networking and Internet Architecture (cs.NI)
[41]  arXiv:1406.0263 [pdf, ps, other]
Title: The "Runs" Theorem
Comments: simple proof with some more bounds
Journal-ref: SIAM J. Comput., 46(5), 1501-1514, 2017
Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
[42]  arXiv:1406.0271 [pdf, other]
Title: Extended Generalized DoF Optimality Regime of Treating Interference as Noise in the X Channel
Comments: 5 pages, 2 figures
Subjects: Information Theory (cs.IT)
[43]  arXiv:1406.0285 [pdf, ps, other]
Title: Block-Structured Supermarket Models
Comments: 65 pages; 7 figures
Subjects: Performance (cs.PF)
[44]  arXiv:1406.0288 [pdf, other]
Title: Continuous Action Recognition Based on Sequence Alignment
Journal-ref: International Journal of Computer Vision 112(1), 90-114, 2015
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[45]  arXiv:1406.0289 [pdf, other]
Title: The constitution of visual perceptual units in the functional architecture of V1
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[46]  arXiv:1406.0292 [pdf, other]
Title: Interactive Simplifier Tracing and Debugging in Isabelle
Authors: Lars Hupel
Comments: Conferences on Intelligent Computer Mathematics, 2014
Subjects: Mathematical Software (cs.MS); Logic in Computer Science (cs.LO)
[47]  arXiv:1406.0295 [pdf]
Title: Mobile Agents for Distance Evaluation Procedures
Comments: 4 pages, 1 figure
Subjects: Computers and Society (cs.CY)
[48]  arXiv:1406.0296 [pdf]
Title: Using Mobile Agents for Information Retrival in B2B Systems
Comments: 6 pages, 2 figures, in Romanian
Subjects: Information Retrieval (cs.IR)
[49]  arXiv:1406.0298 [pdf]
Title: Analysis of Security Threats in Wireless Sensor Network
Comments: 12 pages, 2 figures. arXiv admin note: substantial text overlap with arXiv:0712.4169 by other authors
Subjects: Networking and Internet Architecture (cs.NI); Cryptography and Security (cs.CR)
[50]  arXiv:1406.0303 [pdf, other]
Title: A Superposition Calculus for Abductive Reasoning
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[51]  arXiv:1406.0304 [pdf, other]
Title: Transductive Learning for Multi-Task Copula Processes
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[52]  arXiv:1406.0306 [pdf, other]
Title: Fast Isogeometric Boundary Element Method based on Independent Field Approximation
Comments: 32 pages, 27 figures
Journal-ref: Computer Methods in Applied Mechanics and Engineering, Volume 284, 2015, Pages 458-488
Subjects: Numerical Analysis (math.NA)
[53]  arXiv:1406.0309 [pdf]
Title: Network Function Virtualization based on FPGAs:A Framework for all-Programmable network devices
Comments: Network function virtualizations, FPGA, dynamic reconfiguration
Subjects: Networking and Internet Architecture (cs.NI); Hardware Architecture (cs.AR)
[54]  arXiv:1406.0312 [pdf, other]
Title: Generalized Max Pooling
Comments: (to appear) CVPR 2014 - IEEE Conference on Computer Vision & Pattern Recognition (2014)
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[55]  arXiv:1406.0333 [pdf, other]
Title: Collection of abstracts of the Workshop on Triangulations in Geometry and Topology at CG Week 2014 in Kyoto
Comments: 4 x 6 page extended abstracts. The workshop was held as part of CG-Week 2014 at Kyoto University. June 10th, 2014
Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC); Combinatorics (math.CO); Geometric Topology (math.GT)
[56]  arXiv:1406.0342 [pdf, ps, other]
Title: A faster method for computing Gama-Nguyen-Regev's extreme pruning coefficients
Authors: Yoshinori Aono
Subjects: Cryptography and Security (cs.CR)
[57]  arXiv:1406.0349 [pdf, ps, other]
Title: Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference
Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB)
[58]  arXiv:1406.0370 [pdf, other]
Title: Simulation and Virtual Prototyping of Tangible User Interfaces
Comments: 8 pages, 8 images
Subjects: Human-Computer Interaction (cs.HC)
[59]  arXiv:1406.0373 [pdf, ps, other]
Title: Linear Programming Relaxations for Goldreich's Generators over Non-Binary Alphabets
Comments: 14 pages, 1 figure
Subjects: Cryptography and Security (cs.CR); Computational Complexity (cs.CC); Information Theory (cs.IT)
[60]  arXiv:1406.0375 [pdf]
Title: Assessment Model for Opportunistic Routing
Comments: 6 pages, 5 figures, in Portuguese
Journal-ref: IEEE Latin America Transactions, Vol 10 Issue 3 April 2012
Subjects: Networking and Internet Architecture (cs.NI)
[61]  arXiv:1406.0379 [pdf, ps, other]
Title: An improved vulnerability index of complex networks based on fractal dimension
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[62]  arXiv:1406.0380 [pdf, other]
Title: An Algebraic Framework for the Real-Time Solution of Inverse Problems on Embedded Systems
Comments: 24 pages, journal article
Subjects: Discrete Mathematics (cs.DM)
[63]  arXiv:1406.0403 [pdf, other]
Title: Optimizing the flash-RAM energy trade-off in deeply embedded systems
Subjects: Other Computer Science (cs.OH)
[64]  arXiv:1406.0416 [pdf, other]
Title: More Bang For Your Buck: Quorum-Sensing Capabilities Improve the Efficacy of Suicidal Altruism
Comments: 8 pages, 8 figures, ALIFE '14 conference
Journal-ref: ALIFE 14: The Fourteenth Conference on the Synthesis and Simulation of Living Systems. (2014) Vol. 14
Subjects: Neural and Evolutionary Computing (cs.NE); Computational Engineering, Finance, and Science (cs.CE); Populations and Evolution (q-bio.PE)
[65]  arXiv:1406.0435 [pdf, ps, other]
Title: Odysseus/DFS: Integration of DBMS and Distributed File System for Transaction Processing of Big Data
Comments: 35 pages, 13 figures
Subjects: Databases (cs.DB)
[66]  arXiv:1406.0440 [pdf, other]
Title: Software-Defined Networking: A Comprehensive Survey
Comments: Version 2.01: 61 pages, 11 figures, 17 tables, 579 references
Subjects: Networking and Internet Architecture (cs.NI)
[67]  arXiv:1406.0455 [pdf, ps, other]
Title: Buyer to Seller Recommendation under Constraints
Comments: 9 pages, 7 figures
Subjects: Social and Information Networks (cs.SI); Computer Science and Game Theory (cs.GT); General Finance (q-fin.GN); Statistical Finance (q-fin.ST)
[68]  arXiv:1406.0486 [pdf, other]
Title: Monte Carlo Tree Search with Heuristic Evaluations using Implicit Minimax Backups
Comments: 24 pages, 7 figures, 9 tables, expanded version of paper presented at IEEE Conference on Computational Intelligence and Games (CIG) 2014 conference
Subjects: Artificial Intelligence (cs.AI)
[69]  arXiv:1406.0492 [pdf, other]
Title: Dijkstra meets Steiner: a fast exact goal-oriented Steiner tree algorithm
Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM)
[70]  arXiv:1406.0495 [pdf]
Title: Automatic Recognition of Dyslalia Affecting Pre-Scholars
Comments: 9 pages, 4 figures. arXiv admin note: text overlap with arXiv:0912.3969
Subjects: Computers and Society (cs.CY)
[71]  arXiv:1406.0516 [pdf, other]
Title: Modeling Adoption and Usage of Competing Products
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[72]  arXiv:1406.0532 [pdf, other]
Title: Multimodal vs. Unimodal Physiological Control in Videogames for Enhanced Realism and Depth
Comments: MSc Thesis, English-written, 89 pages, University of Porto
Subjects: Human-Computer Interaction (cs.HC)
[73]  arXiv:1406.0554 [pdf, other]
Title: Universal Convexification via Risk-Aversion
Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Optimization and Control (math.OC)
[74]  arXiv:1406.0574 [pdf, other]
Title: The Dark Side of Micro-Task Marketplaces: Characterizing Fiverr and Automatically Detecting Crowdturfing
Subjects: Social and Information Networks (cs.SI); Computers and Society (cs.CY); Physics and Society (physics.soc-ph)
[75]  arXiv:1406.0576 [pdf, ps, other]
Title: Welfare and Revenue Guarantees for Competitive Bundling Equilibrium
Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS)
[76]  arXiv:1406.0582 [pdf, other]
Title: A Tiling Perspective for Register Optimization
Authors: Lukasz Domagala (INRIA Grenoble Rhône-Alpes), Fabrice Rastello (INRIA Grenoble Rhône-Alpes), Sadayappan Ponnuswany, Duco Van Amstel (INRIA Grenoble Rhône-Alpes)
Journal-ref: N° RR-8541 (2014)
Subjects: Programming Languages (cs.PL)
[77]  arXiv:1406.0588 [pdf, other]
Title: Image retrieval with hierarchical matching pursuit
Comments: 5 pages, 6 figures, conference
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[78]  arXiv:1406.0599 [pdf, ps, other]
Title: Hierarchical Comprehensive Triangular Decomposition
Subjects: Symbolic Computation (cs.SC)
[79]  arXiv:1406.0609 [pdf, other]
Title: Optimization for Speculative Execution of Multiple Jobs in a MapReduce-like Cluster
Comments: This paper has been withdrawn due to the simulation part need to be strengthened
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[80]  arXiv:1406.0623 [pdf, ps, other]
Title: Identification of parameterized gray-box state-space systems: from a black-box linear time-invariant representation to a structured one: detailed derivation of the gradients involved in the cost functions
Comments: Companion paper of an eponymous article accepted for publication in IEEE Transactions on Automatic Control
Subjects: Systems and Control (eess.SY)
[81]  arXiv:1406.0641 [pdf, ps, other]
Title: Extensions of Configuration Structures
Journal-ref: Journal of Logical and Algebraic Methods in Programming, 85(6), 1201-1233, 2016
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)
[82]  arXiv:1406.0647 [pdf, ps, other]
Title: Pentapods with Mobility 2
Comments: 18 pages, 5 figures
Subjects: Robotics (cs.RO)
[83]  arXiv:1406.0650 [pdf, ps, other]
Title: New Quantum Codes from Evaluation and Matrix-Product Codes
Subjects: Information Theory (cs.IT)
[84]  arXiv:1406.0670 [pdf, other]
Title: Decision Algorithms for Fibonacci-Automatic Words, with Applications to Pattern Avoidance
Comments: inserted new section 9 on abelian properties
Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[85]  arXiv:1406.0671 [pdf, other]
Title: Modeling and Efficient Cancellation of Nonlinear Self-Interference in MIMO Full-Duplex Transceivers
Comments: 7 pages, 5 figures. To be presented in the 2014 International Workshop on Emerging Technologies for 5G Wireless Cellular Networks
Subjects: Information Theory (cs.IT)
[86]  arXiv:1406.0680 [pdf, ps, other]
Title: Visual Reranking with Improved Image Graph
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[87]  arXiv:1406.0688 [pdf, other]
Title: Reduced List-Decoding of Reed--Solomon Codes Using Reliability Information
Subjects: Information Theory (cs.IT)
[88]  arXiv:1406.0690 [pdf, ps, other]
Title: On the state complexity of closures and interiors of regular languages with subwords and superwords
Journal-ref: Theoretical Computer Science, 610:91-107, 2016
Subjects: Formal Languages and Automata Theory (cs.FL)
[89]  arXiv:1406.0728 [pdf, other]
Title: A Game-theoretic Machine Learning Approach for Revenue Maximization in Sponsored Search
Comments: Twenty-third International Conference on Artificial Intelligence (IJCAI 2013)
Subjects: Computer Science and Game Theory (cs.GT); Machine Learning (cs.LG)
[90]  arXiv:1406.0767 [pdf, other]
Title: A generalization of Witsenhausen's zero-error rate for directed graphs
Comments: 27 pages, 4 figures
Subjects: Information Theory (cs.IT); Combinatorics (math.CO)
[91]  arXiv:1406.0769 [pdf, other]
Title: A quadratic lower bound for the convergence rate in the one-dimensional Hegselmann-Krause bounded confidence dynamics
Comments: 6 pages, one figure. Arxiv may flag for text overlap with a companion paper which we are uploading simoultaneously, as there is some similar text in the introductions to the two papers. Version 2: Some minor glitches fixed: an error in Footnote 2, some spelling mistakes and an incomplete reference in the bibliography. Version 3: This version accepted for publication
Subjects: Systems and Control (eess.SY); Combinatorics (math.CO)
[92]  arXiv:1406.0774 [pdf, other]
Title: Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?
Comments: Preprint of a paper accepted for the forthcoming CICM 2014 conference (cicm-conference.org/2014): S.M. Watt et al. (Eds.): CICM 2014, LNAI 8543, Springer International Publishing Switzerland 2014. 16 pages, 1 figure
Subjects: Logic in Computer Science (cs.LO)
[93]  arXiv:1406.0775 [pdf, ps, other]
Title: A Cooperative Emergency Navigation Framework using Mobile Cloud Computing
Comments: This document contains 8 pages and 3 figures and has been accepted by ISCIS 2014 (29th International Symposium on Computer and Information Sciences)
Subjects: Networking and Internet Architecture (cs.NI)
[94]  arXiv:1406.0866 [pdf, ps, other]
Title: Subspace Methods for Data Attack on State Estimation: A Data Driven Approach
Comments: 12 pages
Subjects: Cryptography and Security (cs.CR)
[95]  arXiv:1406.0879 [src]
Title: Computing rank of finite algebraic structures with limited nondeterminism
Comments: Lemma 2.1 incorrectly claims composition of nondeterministic functions
Subjects: Computational Complexity (cs.CC)
[96]  arXiv:1406.0888 [pdf, ps, other]
Title: McCammond's normal forms for free aperiodic semigroups revisited
Journal-ref: LMS J. Comput. Math. 18 (2015) 130-147
Subjects: Formal Languages and Automata Theory (cs.FL)
[97]  arXiv:1406.0893 [pdf, ps, other]
Title: Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version)
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[98]  arXiv:1406.0905 [pdf, other]
Title: Provenance and data differencing for workflow reproducibility analysis
Journal-ref: Provenance and data differencing for workflow reproducibility analysis Missier, P.; Woodman, S.; Hiden, H.; and Watson, P. Concurrency and Computation: Practice and Experience, . 2013
Subjects: Databases (cs.DB)
[99]  arXiv:1406.0907 [pdf, other]
Title: Computing GCRDs of Approximate Differential Polynomials
Comments: To appear, Workshop on Symbolic-Numeric Computing (SNC'14) July 2014
Subjects: Symbolic Computation (cs.SC); Numerical Analysis (math.NA)
[100]  arXiv:1406.0909 [pdf]
Title: Improvement Tracking Dynamic Programming using Replication Function for Continuous Sign Language Recognition
Comments: 5 pages, 13 figures, Published with "International Journal of Engineering Trends and Technology (IJETT)"
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[101]  arXiv:1406.0912 [pdf, other]
Title: Towards Quality of Experience Determination for Video in Augmented Binocular Vision Scenarios
Authors: Patrick Seeling
Comments: Accepted to Signal Processing: Image Communication
Subjects: Multimedia (cs.MM); Human-Computer Interaction (cs.HC)
[102]  arXiv:1406.0924 [pdf, other]
Title: Multiscale Fields of Patterns
Comments: In NIPS 2014
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[103]  arXiv:1406.0928 [pdf]
Title: Enabling Disaster Resilient 4G Mobile Communication Networks
Comments: Submitted to IEEE Communications Magazine
Subjects: Networking and Internet Architecture (cs.NI)
[104]  arXiv:1406.0930 [pdf]
Title: ACO Implementation for Sequence Alignment with Genetic Algorithms
Authors: Aaron Lee, Livia King
Comments: Report 6 pages, 4 figures, Supplementary material 11 pages
Subjects: Computational Engineering, Finance, and Science (cs.CE); Neural and Evolutionary Computing (cs.NE)
[105]  arXiv:1406.0941 [pdf, other]
Title: Augmentative Message Passing for Traveling Salesman Problem and Graph Partitioning
Subjects: Artificial Intelligence (cs.AI)
[106]  arXiv:1406.0946 [pdf, other]
Title: Beyond $χ^2$ Difference: Learning Optimal Metric for Boundary Detection
Authors: Fei He, Shengjin Wang
Comments: Submitted to IEEE Signal Processing Letters
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[107]  arXiv:1406.0955 [pdf, other]
Title: Cascading A*: a Parallel Approach to Approximate Heuristic Search
Authors: Yan Gu
Subjects: Artificial Intelligence (cs.AI)
[108]  arXiv:1406.0975 [pdf, other]
Title: A.Q.M.E.I.S.: Air Quality Meteorological and Enviromental Information System in Western Macedonia, Hellas
Subjects: Other Computer Science (cs.OH)
[109]  arXiv:1406.0993 [pdf, ps, other]
Title: Latent Kullback Leibler Control for Continuous-State Systems using Probabilistic Graphical Models
Comments: 9 pages, 5 figures, accepted in Uncertainty in Artificial Intelligence (UAI '14)
Subjects: Systems and Control (eess.SY); Robotics (cs.RO)
[110]  arXiv:1406.1012 [pdf, ps, other]
Title: Comfortability of a Team in Social Networks
Comments: 24 pages, 5 figures. arXiv admin note: substantial text overlap with arXiv:1405.4534
Subjects: Social and Information Networks (cs.SI)
[111]  arXiv:1406.1022 [pdf, other]
Title: Navigating in a sea of repeats in RNA-seq without drowning
Subjects: Data Structures and Algorithms (cs.DS); Computational Engineering, Finance, and Science (cs.CE); Quantitative Methods (q-bio.QM)
[112]  arXiv:1406.1033 [pdf]
Title: Identity Management issues in Cloud Computing
Comments: 3 pages."Published with International Journal of Computer Trends and Technology (IJCTT)"
Journal-ref: IJCTT V9(8):414-416, March 2014
Subjects: Cryptography and Security (cs.CR)
[113]  arXiv:1406.1034 [pdf, ps, other]
Title: Don't Believe Everything You Hear; Preserving Relevant Information by Discarding Social Information
Comments: 8 pages, 4 figures, accepted for publication in Proceedings of Alife14
Subjects: Multiagent Systems (cs.MA); Social and Information Networks (cs.SI); Adaptation and Self-Organizing Systems (nlin.AO)
[114]  arXiv:1406.1035 [pdf, ps, other]
Title: From algebra to logic: there and back again -- the story of a hierarchy
Authors: Pascal Weil (LaBRI)
Comments: Developments in Language Theory 2014, Ekaterinburg : Russian Federation (2014)
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[115]  arXiv:1406.1036 [pdf, ps, other]
Title: Some Results on Bent-Negabent Boolean Functions over Finite Fields
Authors: Sumanta Sarkar
Subjects: Information Theory (cs.IT)
[116]  arXiv:1406.1041 [pdf, ps, other]
Title: An efficient algorithm for computing the edit distance of a regular language via input-altering transducers
Subjects: Formal Languages and Automata Theory (cs.FL)
[117]  arXiv:1406.1049 [pdf, ps, other]
Title: Fourier Transforms and Bent Functions on Finite Abelian Group-Acted Sets
Authors: Yun Fan, Bangteng Xu
Subjects: Discrete Mathematics (cs.DM); Cryptography and Security (cs.CR); Representation Theory (math.RT)
[118]  arXiv:1406.1055 [pdf, ps, other]
Title: Lattice Codes for the Binary Deletion Channel
Comments: 2 figs; presented in part in ISIT 2013; submitted to IEEE trans. on Information Theory
Subjects: Information Theory (cs.IT)
[119]  arXiv:1406.1058 [pdf, other]
Title: Specifying and Placing Chains of Virtual Network Functions
Subjects: Networking and Internet Architecture (cs.NI)
[120]  arXiv:1406.1059 [pdf]
Title: Minimizing Energy Consumption for Cooperative Network and Diversity Coded Sensor Networks
Subjects: Networking and Internet Architecture (cs.NI)
[121]  arXiv:1406.1061 [pdf, other]
Title: A Methodology for Empirical Analysis of LOD Datasets
Authors: Vit Novacek
Comments: A current working draft of the paper submitted to the ISWC'14 conference (track information available here: this http URL)
Subjects: Artificial Intelligence (cs.AI); Social and Information Networks (cs.SI)
[122]  arXiv:1406.1062 [pdf]
Title: An Innovative Wireless Cardiac Rhythm Management (iCRM) System
Subjects: Computational Engineering, Finance, and Science (cs.CE); Systems and Control (eess.SY)
[123]  arXiv:1406.1065 [pdf]
Title: Uniform definition of comparable and searchable information on the web
Comments: 36 pages, 20 figures
Subjects: Information Retrieval (cs.IR)
[124]  arXiv:1406.1066 [pdf, other]
Title: Fast Matlab compatible sparse assembly on multicore computers
Journal-ref: Parallel Comput. 56:1--17 (2016)
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Mathematical Software (cs.MS); Numerical Analysis (math.NA)
[125]  arXiv:1406.1069 [pdf, ps, other]
Title: Petri Games: Synthesis of Distributed Systems with Causal Memory
Authors: Bernd Finkbeiner (Universität des Saarlandes), Ernst-Rüdiger Olderog (Carl von Ossietzky Universität Oldenburg)
Comments: In Proceedings GandALF 2014, arXiv:1408.5560
Journal-ref: EPTCS 161, 2014, pp. 217-230
Subjects: Logic in Computer Science (cs.LO)
[126]  arXiv:1406.1077 [pdf, ps, other]
Title: How inefficient can a sort algorithm be?
Authors: Miguel A. Lerma
Comments: 8 pages
Subjects: Data Structures and Algorithms (cs.DS)
[127]  arXiv:1406.1078 [pdf, other]
Title: Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translation
Comments: EMNLP 2014
Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Machine Learning (stat.ML)
[128]  arXiv:1406.1081 [pdf, ps, other]
Title: Throughput Optimized Multi-Source Cooperative Networks With Compute-and-Forward
Comments: 25 pages, 11 figures
Subjects: Information Theory (cs.IT)
[129]  arXiv:1406.1090 [pdf, other]
Title: Tight Bounds for Complementing Parity Automata
Comments: Full version of paper accepted for publication at MFCS 2014
Journal-ref: Proceedings of MFCS 2014, Springer-Verlag Lecture Notes in Computer Science Vol. 8634(1): pp 499-510
Subjects: Formal Languages and Automata Theory (cs.FL)
[130]  arXiv:1406.1102 [pdf, ps, other]
Title: Linear Convergence of Variance-Reduced Stochastic Gradient without Strong Convexity
Comments: 18 pages
Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Computation (stat.CO); Machine Learning (stat.ML)
[131]  arXiv:1406.1120 [pdf]
Title: Online Rotor Resistance Adaptation Of Induction Motor Drive
Subjects: Systems and Control (eess.SY)
[132]  arXiv:1406.1128 [pdf]
Title: A self-organizing system for urban traffic control based on predictive interval microscopic model
Comments: 29 pages, 8 figures
Journal-ref: Engineering Applications of Artificial Intelligence, vol. 34, pp. 75-84, 2014
Subjects: Artificial Intelligence (cs.AI); Systems and Control (eess.SY)
[133]  arXiv:1406.1133 [pdf, other]
Title: Timing Analysis for DAG-based and GFP Scheduled Tasks
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Operating Systems (cs.OS)
[134]  arXiv:1406.1134 [pdf, other]
Title: Local Decorrelation For Improved Detection
Comments: To appear in Neural Information Processing Systems (NIPS), 2014
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[135]  arXiv:1406.1137 [pdf, ps, other]
Title: Crowds on Wall Street: Extracting Value from Social Investing Platforms
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[136]  arXiv:1406.1140 [pdf, ps, other]
Title: Fading Two-Way Relay Channels: Physical-Layer Versus Digital Network Coding
Comments: 25 pages, 5 figures
Subjects: Information Theory (cs.IT)
[137]  arXiv:1406.1143 [pdf, other]
Title: Identifying Duplicate and Contradictory Information in Wikipedia
Subjects: Information Retrieval (cs.IR); Computation and Language (cs.CL); Digital Libraries (cs.DL); Social and Information Networks (cs.SI)
[138]  arXiv:1406.1154 [pdf, ps, other]
Title: Decodability Attack against the Fuzzy Commitment Scheme with Public Feature Transforms
Authors: Benjamin Tams
Subjects: Cryptography and Security (cs.CR)
[139]  arXiv:1406.1158 [pdf, ps, other]
Title: Kernelization lower bound for Permutation Pattern Matching
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[140]  arXiv:1406.1167 [pdf, ps, other]
Title: Learning to Diversify via Weighted Kernels for Classifier Ensemble
Comments: Submitted to IEEE Trans. Pattern Analysis and Machine Intelligence (TPAMI)
Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV)
[141]  arXiv:1406.1169 [pdf, ps, other]
Title: On The Impact of Time-Varying Interference-Channel on the Spatial Approach of Spectrum Sharing between S-band Radar and Communication System
Comments: Accepted version: IEEE Military Communications Conference (MILCOM) 2014
Subjects: Information Theory (cs.IT)
[142]  arXiv:1406.1203 [pdf]
Title: A Semantic Approach to Summarization
Subjects: Computation and Language (cs.CL)
[143]  arXiv:1406.1213 [pdf, other]
Title: On Covert Acoustical Mesh Networks in Air
Comments: 10 pages, updated version
Journal-ref: Journal of Communications 8(11), Nov. 2013
Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI); Sound (cs.SD)
[144]  arXiv:1406.1215 [pdf, other]
Title: Parallel Algorithms for Generating Random Networks with Given Degree Sequences
Comments: Accepted in NPC 2015
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[145]  arXiv:1406.1222 [pdf, other]
Title: Discovering Structure in High-Dimensional Data Through Correlation Explanation
Comments: 15 pages, 6 figures. Includes supplementary material and link to code. Published in the proceedings of the 28th Annual Conference on Neural Information Processing Systems, NIPS 2014
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)
[146]  arXiv:1406.1224 [pdf, ps, other]
Title: XTQ: A Declarative Functional XML Query Language
Comments: 65 pages
Subjects: Programming Languages (cs.PL); Databases (cs.DB)
[147]  arXiv:1406.1230 [pdf, ps, other]
Title: Statistical Intercell Interference Modeling for Capacity-Coverage Tradeoff Analysis in Downlink Cellular Networks
Comments: 5 pages, 7 figures, conference
Subjects: Information Theory (cs.IT); Statistics Theory (math.ST)
[148]  arXiv:1406.1234 [pdf]
Title: A Geometric Method to Obtain the Generation Probability of a Sentence
Authors: Chen Lijiang
Comments: 13 pages
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Statistics Theory (math.ST); Computation (stat.CO); Methodology (stat.ME)
[149]  arXiv:1406.1238 [html]
Title: Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications
Authors: Freek Verbeek (Open University of The Netherlands), Julien Schmaltz (Eindhoven University of Technology)
Journal-ref: EPTCS 152, 2014
Subjects: Logic in Computer Science (cs.LO); Mathematical Software (cs.MS)
[150]  arXiv:1406.1241 [pdf]
Title: The Best Templates Match Technique For Example Based Machine Translation
Comments: Eleventh International Conference on Artificial Intelligence Applications, 2003
Subjects: Computation and Language (cs.CL)
[151]  arXiv:1406.1244 [pdf, other]
Title: Distributed Approximation of Minimum Routing Cost Trees
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)
[152]  arXiv:1406.1247 [pdf, other]
Title: Shared Representation Learning for Heterogeneous Face Recognition
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[153]  arXiv:1406.1255 [pdf, ps, other]
Title: Flow Level QoE of Video Streaming in Wireless Networks
Comments: 14 pages
Subjects: Networking and Internet Architecture (cs.NI)
[154]  arXiv:1406.1273 [src]
Title: On The Communication Complexity of Finding an (Approximate) Stable Marriage
Comments: This paper has been subsumed by arXiv:1405.7709
Subjects: Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT)
[155]  arXiv:1406.1275 [pdf]
Title: Sensing and Link Model for Wireless Sensor Network: Coverage and Connectivity Analysis
Comments: 5 pages, conference EAPE 2013, 2nd National Conference EAPE 2013, Kolkata, India
Subjects: Information Theory (cs.IT)
[156]  arXiv:1406.1280 [pdf, other]
Title: Basis Identification for Automatic Creation of Pronunciation Lexicon for Proper Names
Subjects: Computation and Language (cs.CL)
[157]  arXiv:1406.1281 [pdf, ps, other]
Title: On codes over R_{k,m} and constructions for new binary self-dual codes
Comments: 17 pages
Subjects: Information Theory (cs.IT)
[158]  arXiv:1406.1284 [pdf, ps, other]
Title: The Price of Updating the Control Plane in Information-Centric Networks
Comments: 10 pages, 12 figures
Subjects: Networking and Internet Architecture (cs.NI)
[159]  arXiv:1406.1286 [pdf, ps, other]
Title: The Volume-Correlation Subspace Detector
Comments: 35 pages, submitted to IEEE Trans, part of this paper has been published by ISIT'2015
Subjects: Information Theory (cs.IT)
[160]  arXiv:1406.1308 [pdf, other]
Title: Elias Bound for General Distances and Stable Sets in Edge-Weighted Graphs
Authors: Marco Dalai
Comments: Accepted, IEEE Transaction on Information Theory
Subjects: Information Theory (cs.IT); Combinatorics (math.CO)
[161]  arXiv:1406.1310 [pdf, ps, other]
Title: Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi
Comments: Accepted at ICTAC 2014. The final publication will be available at link.springer.com
Journal-ref: Proc. of ICTAC'14, in LNCS vol. 8687, pp 442-459 (2014)
Subjects: Logic in Computer Science (cs.LO)
[162]  arXiv:1406.1329 [pdf]
Title: Algorithmes dynamiques pour la communication dans le réseau ad hoc Coloration des graphes
Comments: in French
Subjects: Discrete Mathematics (cs.DM)
[163]  arXiv:1406.1335 [pdf, other]
Title: Understanding Types of Users on Twitter
Comments: 6 pages
Subjects: Social and Information Networks (cs.SI); Computers and Society (cs.CY)
[164]  arXiv:1406.1352 [pdf, other]
Title: Approximate analysis of biological systems by hybrid switching jump diffusion
Subjects: Performance (cs.PF); Probability (math.PR); Quantitative Methods (q-bio.QM)
[165]  arXiv:1406.1362 [pdf, ps, other]
Title: An Implementation of Voice over the Cognitive Packet Network
Comments: 8 pages, 4 figures
Subjects: Networking and Internet Architecture (cs.NI)
[166]  arXiv:1406.1368 [pdf, other]
Title: Peeling potatoes near-optimally in near-linear time
Comments: 30 pages, 7 figures; minor revision. Preliminary version was presented at SoCG 2014
Journal-ref: SIAM Journal on Computing 46(5) (2017), 1574-1602
Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS); Metric Geometry (math.MG)
[167]  arXiv:1406.1385 [pdf, ps, other]
Title: Learning the Information Divergence
Comments: 12 pages, 7 figures
Subjects: Machine Learning (cs.LG)
[168]  arXiv:1406.1393 [pdf, other]
Title: Interclausal Logic Variables
Comments: to appear as a ICLP'14 technical contribution
Subjects: Programming Languages (cs.PL)
[169]  arXiv:1406.1395 [pdf, other]
Title: An LTL Semantics of Business Workflows with Recovery
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[170]  arXiv:1406.1404 [pdf, ps, other]
Title: On the satisfiability problem for SPARQL patterns
Comments: Major revision, erroneous polynomial-time claims corrected, NP-completeness result added, detailed proofs added, experimental section added
Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI)
[171]  arXiv:1406.1411 [pdf, other]
Title: Advances in Learning Bayesian Networks of Bounded Treewidth
Comments: 23 pages, 2 figures, 3 tables
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Machine Learning (stat.ML)
[172]  arXiv:1406.1414 [pdf, other]
Title: Subgraph covers -- An information theoretic approach to motif analysis in networks
Authors: Anatol E. Wegner
Comments: 10 pages, 7 tables, 1 Figure
Journal-ref: Phys. Rev. X 4, 041026 (2014)
Subjects: Social and Information Networks (cs.SI); Discrete Mathematics (cs.DM); Physics and Society (physics.soc-ph); Molecular Networks (q-bio.MN)
[173]  arXiv:1406.1423 [pdf, ps, other]
Title: A ToolBox for Conservative XML Schema Evolution and Document Adaptation
Comments: 15 pages, DEXA'14
Subjects: Databases (cs.DB)
[174]  arXiv:1406.1431 [pdf]
Title: Intégration des règles actives dans des documents
Comments: master's thesis, in French
Subjects: Databases (cs.DB)
[175]  arXiv:1406.1433 [pdf, other]
Title: Reconfiguring Independent Sets in Cographs
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[176]  arXiv:1406.1469 [pdf]
Title: Diffusion of the Adoption of Online Retailing in Saudi Arabia
Authors: Rayed AlGhamdi
Comments: PhD thesis, 312 pages including appendices
Subjects: Computers and Society (cs.CY)
[177]  arXiv:1406.1475 [pdf]
Title: Modeling CSFs of B2C E-commerce Systems Using the Enterprise Architecture Approach
Authors: Rayed AlGhamdi
Comments: Master Thesis, 80 pages
Subjects: Computers and Society (cs.CY)
[178]  arXiv:1406.1476 [pdf, other]
Title: A Context-aware Delayed Agglomeration Framework for Electron Microscopy Segmentation
Journal-ref: PLoS ONE 10(5): e0125825, 2015
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[179]  arXiv:1406.1488 [pdf]
Title: IRCI Free Colocated MIMO Radar Based on Sufficient Cyclic Prefix OFDM Waveforms
Comments: 27 pages, 11 figures
Subjects: Information Theory (cs.IT)
[180]  arXiv:1406.1501 [pdf, other]
Title: Connectivity of Natura 2000 forest sites in Europe
Comments: 9 pages, from a poster published in F1000Posters 2014, 5: 485
Journal-ref: F1000Posters 2014, 5: 485
Subjects: Computational Engineering, Finance, and Science (cs.CE); Populations and Evolution (q-bio.PE)
[181]  arXiv:1406.1502 [pdf, ps, other]
Title: Towards designing artificial universes for artificial agents under interaction closure
Comments: 8 pages, 3 figures; accepted for publication in ALIFE 14 proceedings
Subjects: Multiagent Systems (cs.MA)
[182]  arXiv:1406.1509 [pdf, other]
Title: Systematic N-tuple Networks for Position Evaluation: Exceeding 90% in the Othello League
Comments: Added technical report number
Journal-ref: ICGA Journal 37(2), 2014, pp. 85-96
Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[183]  arXiv:1406.1510 [html]
Title: Proceedings of the Eleventh Workshop on Constraint Handling Rules
Subjects: Programming Languages (cs.PL)
[184]  arXiv:1406.1516 [pdf, ps, other]
Title: On the Performance of Non-Orthogonal Multiple Access in 5G Systems with Randomly Deployed Users
Subjects: Information Theory (cs.IT)
[185]  arXiv:1406.1520 [pdf, ps, other]
Title: Inherent limits on optimization and discovery in physical systems
Authors: Vladan Mlinar
Journal-ref: Ann. Phys. 351, 837-849 (2014)
Subjects: Social and Information Networks (cs.SI); Materials Science (cond-mat.mtrl-sci); Physics and Society (physics.soc-ph)
[186]  arXiv:1406.1528 [pdf, other]
Title: Towards building a Crowd-Sourced Sky Map
Comments: Appeared at AI-STATS 2014
Journal-ref: JMLR Workshop and Conference Proceedings, 33 (AI & Statistics 2014), 549
Subjects: Computer Vision and Pattern Recognition (cs.CV); Instrumentation and Methods for Astrophysics (astro-ph.IM)
[187]  arXiv:1406.1534 [html]
Title: Proceedings 5th Workshop on Mathematically Structured Functional Programming
Authors: Paul Levy (University of Birmingham), Neel Krishnaswami (University of Birmingham)
Journal-ref: EPTCS 153, 2014
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[188]  arXiv:1406.1543 [pdf, other]
Title: Untappable key distribution system: a one-time-pad booster
Comments: 12 pages, 16 figures
Subjects: Cryptography and Security (cs.CR); Quantum Physics (quant-ph)
[189]  arXiv:1406.1556 [pdf, other]
Title: Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
Authors: Matt Kaufmann (UT Austin), J Strother Moore (UT Austin)
Comments: In Proceedings ACL2 2014, arXiv:1406.1238
Journal-ref: EPTCS 152, 2014, pp. 1-7
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Mathematical Software (cs.MS)
[190]  arXiv:1406.1557 [pdf, other]
Title: Data Definitions in the ACL2 Sedan
Authors: Harsh Raju Chamarthi (Northeastern Univeristy), Peter C. Dillinger (Northeastern Univeristy), Panagiotis Manolios (Northeastern Univeristy)
Comments: In Proceedings ACL2 2014, arXiv:1406.1238
Journal-ref: EPTCS 152, 2014, pp. 27-48
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[191]  arXiv:1406.1558 [pdf, ps, other]
Title: Polymorphic Types in ACL2
Authors: Benjamin Selfridge (University of Texas at Austin), Eric Smith (Kestrel Institute)
Comments: In Proceedings ACL2 2014, arXiv:1406.1238
Journal-ref: EPTCS 152, 2014, pp. 49-59
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[192]  arXiv:1406.1559 [pdf, ps, other]
Title: Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems
Authors: Sebastiaan Joosten (Technical University of Eindhoven/Radboud University Nijmegen), Cezary Kaliszyk (University of Innsbruck), Josef Urban (Radboud University Nijmegen)
Comments: In Proceedings ACL2 2014, arXiv:1406.1238
Journal-ref: EPTCS 152, 2014, pp. 77-85
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[193]  arXiv:1406.1560 [pdf, ps, other]
Title: Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis
Authors: John Cowles (University of Wyoming), Ruben Gamboa (University of Wyoming)
Comments: In Proceedings ACL2 2014, arXiv:1406.1238
Journal-ref: EPTCS 152, 2014, pp. 89-100
Subjects: Logic in Computer Science (cs.LO)
[194]  arXiv:1406.1561 [pdf, ps, other]
Title: Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent
Authors: Ruben Gamboa (University of Wyoming), John Cowles (University of Wyoming)
Comments: In Proceedings ACL2 2014, arXiv:1406.1238
Journal-ref: EPTCS 152, 2014, pp. 101-110
Subjects: Logic in Computer Science (cs.LO); Mathematical Software (cs.MS)
[195]  arXiv:1406.1562 [pdf, other]
Title: Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis
Authors: Disha Puri (Dept. of Computer Science, Portland State University), Sandip Ray (Strategic CAD Labs, Intel Corporation), Kecheng Hao (Dept. of Computer Science, Portland State University), Fei Xie (Dept. of Computer Science, Portland State University)
Comments: In Proceedings ACL2 2014, arXiv:1406.1238
Journal-ref: EPTCS 152, 2014, pp. 111-128
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[196]  arXiv:1406.1563 [pdf, ps, other]
Title: An ACL2 Mechanization of an Axiomatic Framework for Weak Memory
Authors: Benjamin Selfridge (University of Texas at Austin)
Comments: In Proceedings ACL2 2014, arXiv:1406.1238
Journal-ref: EPTCS 152, 2014, pp. 129-144
Subjects: Logic in Computer Science (cs.LO)
[197]  arXiv:1406.1565 [pdf, ps, other]
Title: Modeling Algorithms in SystemC and ACL2
Authors: John W. O'Leary (Intel Corp.), David M. Russinoff (Intel Corp)
Comments: In Proceedings ACL2 2014, arXiv:1406.1238
Journal-ref: EPTCS 152, 2014, pp. 145-162
Subjects: Hardware Architecture (cs.AR); Programming Languages (cs.PL)
[198]  arXiv:1406.1566 [pdf, other]
Title: Development of a Translator from LLVM to ACL2
Authors: David S. Hardin (Rockwell Collins), Jennifer A. Davis (Rockwell Collins), David A. Greve (Rockwell Collins), Jedidiah R. McClurg (University of Colorado)
Comments: In Proceedings ACL2 2014, arXiv:1406.1238
Journal-ref: EPTCS 152, 2014, pp. 163-177
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[199]  arXiv:1406.1567 [html]
Title: Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems
Authors: Nathalie Bertrand (INRIA, Rennes), Luca Bortolussi (University of Trieste)
Journal-ref: EPTCS 154, 2014
Subjects: Logic in Computer Science (cs.LO); Computational Engineering, Finance, and Science (cs.CE); Performance (cs.PF)
[200]  arXiv:1406.1569 [pdf, other]
Title: Two-Part Reconstruction with Noisy-Sudocodes
Comments: 23 pages, 7 figures, to appear in IEEE Transactions on Signal Processing
Subjects: Information Theory (cs.IT)
[201]  arXiv:1406.1571 [pdf, ps, other]
Title: Optimal Auctions for Correlated Buyers with Sampling
Subjects: Computer Science and Game Theory (cs.GT)
[202]  arXiv:1406.1572 [pdf, ps, other]
Title: Consensus-based In-Network Computation of the PARAFAC Decomposition
Subjects: Numerical Analysis (math.NA)
[203]  arXiv:1406.1579 [pdf, ps, other]
Title: Approximation Algorithms for Model-Based Compressive Sensing
Subjects: Information Theory (cs.IT); Data Structures and Algorithms (cs.DS)
[204]  arXiv:1406.1580 [pdf]
Title: Machine learning approach for text and document mining
Comments: arXiv admin note: text overlap with arXiv:1003.1795, arXiv:1212.2065 by other authors
Subjects: Information Retrieval (cs.IR); Machine Learning (cs.LG)
[205]  arXiv:1406.1583 [pdf]
Title: Fuzzy clustering of web documents using equivalence relations and fuzzy hierarchical clustering
Comments: 5 pages, Software Engineering (CONSEG), 2012
Subjects: Information Retrieval (cs.IR)
[206]  arXiv:1406.1584 [pdf, other]
Title: Learning to Discover Efficient Mathematical Identities
Subjects: Machine Learning (cs.LG)
[207]  arXiv:1406.1605 [pdf, ps, other]
Title: Energy Efficient and Reliable Wireless Sensor Networks - An Extension to IEEE 802.15.4e
Subjects: Networking and Internet Architecture (cs.NI)
[208]  arXiv:1406.1619 [pdf, other]
Title: An Invariant Linear Quadratic Gaussian controller for a simplified car
Subjects: Robotics (cs.RO); Systems and Control (eess.SY)
[209]  arXiv:1406.1621 [pdf, other]
Title: Separable Cosparse Analysis Operator Learning
Comments: 5 pages, 3 figures, accepted at EUSIPCO 2014
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[210]  arXiv:1406.1623 [pdf, ps, other]
Title: Deciding the On-line Chromatic Number of a Graph with Pre-Coloring is PSPACE-Complete
Authors: Christian Kudahl
Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
[211]  arXiv:1406.1626 [pdf]
Title: Ant Colony Optimization for Inferring Key Gene Interactions
Comments: 8 pages, 2 figures and 4 tables
Journal-ref: Proc. of 9th INDIACom-2015, 2nd International Conference on Computing for Sustainable Global Development, March 11-13, 2015 pp. 1242-1246
Subjects: Neural and Evolutionary Computing (cs.NE); Computational Engineering, Finance, and Science (cs.CE)
[212]  arXiv:1406.1633 [pdf, ps, other]
Title: The dagger lambda calculus
Authors: Philip Atzemoglou (University of Oxford)
Comments: In Proceedings QPL 2014, arXiv:1412.8102
Journal-ref: EPTCS 172, 2014, pp. 217-235
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT); Quantum Physics (quant-ph)
[213]  arXiv:1406.1638 [pdf, other]
Title: Automated Generation of Geometric Theorems from Images of Diagrams
Comments: 31 pages. Submitted to Annals of Mathematics and Artificial Intelligence (special issue on Geometric Reasoning)
Subjects: Artificial Intelligence (cs.AI)
[214]  arXiv:1406.1677 [pdf]
Title: Modified Binary Search Algorithm
Journal-ref: International Journal of Applied Information Systems 7(2):37-40, April 2014
Subjects: Data Structures and Algorithms (cs.DS); Information Theory (cs.IT)
[215]  arXiv:1406.1691 [pdf, other]
Title: Towards a Better Understanding of the Local Attractor in Particle Swarm Optimization: Speed and Solution Quality
Subjects: Neural and Evolutionary Computing (cs.NE)
[216]  arXiv:1406.1695 [pdf, ps, other]
Title: Tsallis information dimension of complex networks
Comments: 14 pages, 4 figures
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[217]  arXiv:1406.1697 [pdf, ps, other]
Title: Multiscale probability transformation of basic probability assignment
Comments: 22 pages, 1 figure
Subjects: Artificial Intelligence (cs.AI)
[218]  arXiv:1406.1701 [pdf, ps, other]
Title: A computational study of the effects of remodelled electrophysiology and mechanics on initiation of ventricular fibrillation in human heart failure
Comments: 20 pages, 8 figures, 3 tables
Subjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA); Tissues and Organs (q-bio.TO)
[219]  arXiv:1406.1717 [pdf, other]
Title: Median Filtering is Equivalent to Sorting
Authors: Jukka Suomela
Comments: 1 + 24 pages, 13 figures
Subjects: Data Structures and Algorithms (cs.DS)
[220]  arXiv:1406.1719 [pdf, ps, other]
Title: Smooth Parametrizations in Dynamics, Analysis, Diophantine and Computational Geometry
Authors: Y. Yomdin
Subjects: Computational Geometry (cs.CG); Differential Geometry (math.DG)
[221]  arXiv:1406.1724 [pdf, ps, other]
Title: Random Aerial Beamforming for Underlay Cognitive Radio with Exposed Secondary Users
Subjects: Information Theory (cs.IT)
[222]  arXiv:1406.1725 [pdf, ps, other]
Title: Bi-level Protected Compressive Sampling
Comments: 14 pages, 8 figures
Subjects: Information Theory (cs.IT)
[223]  arXiv:1406.1727 [pdf]
Title: MIMO In Vivo
Comments: WAMICON 2014
Subjects: Information Theory (cs.IT)
[224]  arXiv:1406.1738 [pdf, other]
Title: Explicit Reference Governor for Continuous Time Nonlinear Systems Subject to Convex Constraints
Comments: Submitted to: IEEE Transactions on Automatic Control
Subjects: Systems and Control (eess.SY)
[225]  arXiv:1406.1754 [pdf, other]
Title: Eigenvalues and Transduction of Morphic Sequences: Extended Version
Subjects: Formal Languages and Automata Theory (cs.FL)
[226]  arXiv:1406.1765 [pdf]
Title: Linguistic Analysis of Requirements of a Space Project and their Conformity with the Recommendations Proposed by a Controlled Natural Language
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[227]  arXiv:1406.1767 [pdf, other]
Title: Changing the Environment Based on Empowerment as Intrinsic Motivation
Comments: 31 pages, 8 figures, published in Entropy (this http URL), much extended version of this http URL
Journal-ref: Entropy 16, no. 5: 2789-2819 (2014)
Subjects: Artificial Intelligence (cs.AI); Adaptation and Self-Organizing Systems (nlin.AO)
[228]  arXiv:1406.1770 [pdf, other]
Title: Computational role of eccentricity dependent cortical magnification
Subjects: Machine Learning (cs.LG); Neurons and Cognition (q-bio.NC)
[229]  arXiv:1406.1774 [pdf, other]
Title: Small Sample Learning of Superpixel Classifiers for EM Segmentation- Extended Version
Authors: Toufiq Parag, Stephen Plaza, Louis Scheffer (Janelia Farm Research Campus- HHMI)
Comments: Accepted for MICCAI 2014
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[230]  arXiv:1406.1790 [pdf, ps, other]
Title: Behavioral Mechanism Design: Optimal Contests for Simple Agents
Comments: This is the full version of a paper in the ACM Conference on Economics and Computation (ACM-EC), 2014
Subjects: Computer Science and Game Theory (cs.GT)
[231]  arXiv:1406.1794 [pdf]
Title: Advanced vehicle safety and content distribution system
Comments: 4 pages, 2 figures, Published with International Journal of Engineering Trends and Technology (IJETT)
Journal-ref: Volume 11 Number 9 - May 2014, IJETT-V11P284
Subjects: Networking and Internet Architecture (cs.NI)
[232]  arXiv:1406.1795 [pdf]
Title: Security Requirements, Counterattacks and Projects in Healthcare Applications Using WSNs - A Review
Journal-ref: International Journal of Computer Networking and Communication, vol. 2 (2), pp. 1-9, May 2014
Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY)
[233]  arXiv:1406.1796 [pdf, other]
Title: A Generic Numbering System based on Catalan Families of Combinatorial Objects
Authors: Paul Tarau
Comments: preprint
Subjects: Mathematical Software (cs.MS); Data Structures and Algorithms (cs.DS)
[234]  arXiv:1406.1818 [pdf, ps, other]
Title: Multi-Application Resource Allocation with Users Discrimination in Cellular Networks
Comments: submitted to IEEE
Subjects: Networking and Internet Architecture (cs.NI)
[235]  arXiv:1406.1822 [pdf, other]
Title: Logarithmic Time Online Multiclass prediction
Subjects: Machine Learning (cs.LG)
[236]  arXiv:1406.1823 [pdf, ps, other]
Title: Multi-user protocols with access control for computational privacy in public clouds
Authors: Sashank Dara
Comments: 6 pages
Subjects: Cryptography and Security (cs.CR)
[237]  arXiv:1406.1827 [pdf, other]
Title: Recursive Neural Networks Can Learn Logical Semantics
Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)
[238]  arXiv:1406.1831 [pdf, other]
Title: Analyzing noise in autoencoders and deep networks
Subjects: Neural and Evolutionary Computing (cs.NE); Machine Learning (cs.LG)
[239]  arXiv:1406.1833 [pdf, other]
Title: Unsupervised Feature Learning through Divergent Discriminative Feature Accumulation
Comments: Corrected citation formatting
Subjects: Neural and Evolutionary Computing (cs.NE); Machine Learning (cs.LG)
[240]  arXiv:1406.1837 [pdf, other]
Title: A Credit Assignment Compiler for Joint Prediction
Subjects: Machine Learning (cs.LG)
[241]  arXiv:1406.1844 [pdf, other]
Title: Meanings and Applications of Structure in Networks of Dynamic Systems
Subjects: Systems and Control (eess.SY)
[242]  arXiv:1406.1848 [pdf, ps, other]
Title: Repeated-root constacyclic codes of length $2\ell^mp^n$
Comments: 16 pages
Subjects: Information Theory (cs.IT)
[243]  arXiv:1406.1855 [pdf]
Title: Text Mining System for Non-Expert Miners
Subjects: Information Retrieval (cs.IR)
[244]  arXiv:1406.1856 [pdf, ps, other]
Title: A Drifting-Games Analysis for Online Learning and Applications to Boosting
Comments: In NIPS2014
Subjects: Machine Learning (cs.LG)
[245]  arXiv:1406.1867 [pdf, other]
Title: Energy Efficiency of Cross-Tier Base Station Cooperation in Heterogeneous Cellular Networks
Comments: 12 pages, 7 figures, Submitted to the IEEE Transactions on Wireless Communications (TWC)
Subjects: Information Theory (cs.IT)
[246]  arXiv:1406.1870 [pdf, other]
Title: Toward verbalizing ontologies in isiZulu
Comments: 12 pages, 1 figure; CNL 2014
Subjects: Computation and Language (cs.CL)
[247]  arXiv:1406.1875 [pdf, other]
Title: Bullseye: Structured Passage Retrieval and Document Highlighting for Scholarly Search
Subjects: Information Retrieval (cs.IR)
[248]  arXiv:1406.1881 [pdf, other]
Title: Fine-grained Activity Recognition with Holistic and Pose based Features
Comments: 12 pages
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[249]  arXiv:1406.1886 [pdf]
Title: The Z1: Architecture and Algorithms of Konrad Zuse's First Computer
Authors: Raul Rojas
Comments: 24 pages, 20 figures
Subjects: Hardware Architecture (cs.AR)
[250]  arXiv:1406.1906 [pdf]
Title: Refinement-Cut: User-Guided Segmentation Algorithm for Translational Science
Authors: Jan Egger
Comments: 6 figures, 50 references
Journal-ref: Sci. Rep. 4, 5164, 2014
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[251]  arXiv:1406.1907 [pdf, other]
Title: Conversational Sensing
Subjects: Human-Computer Interaction (cs.HC)
[252]  arXiv:1406.1910 [pdf, ps, other]
Title: Context-Aware Resource Allocation in Cellular Networks
Comments: (c) 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works
Subjects: Networking and Internet Architecture (cs.NI)
[253]  arXiv:1406.1915 [pdf, ps, other]
Title: Real-Time Rate-Distortion Optimized Streaming of Wireless Video
Subjects: Networking and Internet Architecture (cs.NI)
[254]  arXiv:1406.1920 [pdf, other]
Title: Probabilistic bounded reachability for hybrid systems with continuous nondeterministic and probabilistic parameters
Subjects: Logic in Computer Science (cs.LO)
[255]  arXiv:1406.1923 [pdf, ps, other]
Title: Broadcasting in Networks of Unknown Topology in the Presence of Swamping
Comments: A preliminary version of this paper appeared in Proc. 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010), New York City, USA, September 20-22, Vol 6366, pp. 267-281, LNCS Springer, 2010. Full proofs for this paper published 2010: this https URL
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Complexity (cs.CC); Networking and Internet Architecture (cs.NI)
[256]  arXiv:1406.1925 [pdf, other]
Title: Shape-from-intrinsic operator
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[257]  arXiv:1406.1928 [pdf, other]
Title: An exact and two heuristic strategies for truthful bidding in combinatorial transport auctions
Authors: Tobias Buer
Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI)
[258]  arXiv:1406.1943 [pdf, other]
Title: Structured Dictionary Learning for Classification
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[259]  arXiv:1406.1953 [src]
Title: Automatic Extraction of Protein Interaction in Literature
Authors: Peilei Liu, Ting Wang
Comments: This paper has been withdrawn by the author due to its lack of academic value
Subjects: Computation and Language (cs.CL); Computational Engineering, Finance, and Science (cs.CE)
[260]  arXiv:1406.1965 [pdf, ps, other]
Title: An Algebraic Characterisation of Concurrent Composition
Authors: Samson Abramsky
Comments: This is an old technical report from 1981. I submitted it to a special issue of HOSC in honour of Peter Landin, as explained in the Prelude, added in 2008. However, at an advanced stage, the handling editor became unresponsive, and the paper was never published. I am making it available via the arXiv for the same reasons given in the Prelude
Subjects: Logic in Computer Science (cs.LO)
[261]  arXiv:1406.1969 [pdf]
Title: A Semantic Enhanced Model for effective Spatial Information Retrieval
Comments: 7 pages, 9 figures
Subjects: Information Retrieval (cs.IR); Artificial Intelligence (cs.AI); Information Theory (cs.IT)
[262]  arXiv:1406.1974 [pdf, other]
Title: Communication Complexity of the Fast Multipole Method and its Algebraic Variants
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Numerical Analysis (math.NA)
[263]  arXiv:1406.1998 [pdf, other]
Title: ProvAbs: model, policy, and tooling for abstracting PROV graphs
Comments: In Procs. IPAW 2014 (Provenance and Annotations). Koln, Germany: Springer, 2014
Subjects: Databases (cs.DB)
[264]  arXiv:1406.2000 [pdf]
Title: Introduction to Neutrosophic Statistics
Comments: 122 pages, many geometrical figures, many tables
Journal-ref: Published as a book by Sitech in 2014
Subjects: Artificial Intelligence (cs.AI)
[265]  arXiv:1406.2008 [pdf, other]
Title: Rendezvous of Heterogeneous Mobile Agents in Edge-weighted Networks
Subjects: Data Structures and Algorithms (cs.DS)
[266]  arXiv:1406.2015 [pdf, other]
Title: MOOCdb: Developing Standards and Systems to Support MOOC Data Science
Subjects: Information Retrieval (cs.IR); Computers and Society (cs.CY); Databases (cs.DB)
[267]  arXiv:1406.2017 [pdf, other]
Title: Anticipating Activity in Social Media Spikes
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[268]  arXiv:1406.2018 [pdf, other]
Title: Perceptual Quality of Video with Periodic Frame Rate and Quantization Variation-Subjective Studies and Analytical Modeling
Comments: Keywords: perceptual video quality, frame rate, QS, temporal variation, quality metrics
Subjects: Multimedia (cs.MM)
[269]  arXiv:1406.2021 [pdf]
Title: Slime Mould Logic Gates Based on Frequency Changes of Electrical Potential Oscillation
Comments: 10 Pages, 3 Figures, 4 Tables
Subjects: Emerging Technologies (cs.ET)
[270]  arXiv:1406.2022 [pdf, other]
Title: Two-dimensional Sentiment Analysis of text
Authors: Rahul Tejwani (University at Buffalo)
Comments: sentiment analysis, two-dimensional
Subjects: Information Retrieval (cs.IR); Computation and Language (cs.CL)
[271]  arXiv:1406.2023 [pdf, ps, other]
Title: Rational Closure in SHIQ
Comments: 30 pages, extended version of paper accepted to DL2014
Subjects: Artificial Intelligence (cs.AI)
[272]  arXiv:1406.2031 [pdf, other]
Title: Detect What You Can: Detecting and Representing Objects using Holistic Models and Body Parts
Comments: CBMM memo
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[273]  arXiv:1406.2035 [pdf, other]
Title: Learning Word Representations with Hierarchical Sparse Coding
Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Machine Learning (stat.ML)
[274]  arXiv:1406.2041 [pdf, other]
Title: Platform-Centric Android Monitoring---Modular and Efficient
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[275]  arXiv:1406.2049 [pdf, other]
Title: Image Tag Completion by Low-rank Factorization with Dual Reconstruction Structure Preserved
Subjects: Computer Vision and Pattern Recognition (cs.CV); Information Retrieval (cs.IR)
[276]  arXiv:1406.2058 [pdf, ps, other]
Title: Monad Transformers for Backtracking Search
Authors: Jules Hedges (Queen Mary University of London)
Comments: In Proceedings MSFP 2014, arXiv:1406.1534
Journal-ref: EPTCS 153, 2014, pp. 31-50
Subjects: Programming Languages (cs.PL)
[277]  arXiv:1406.2059 [pdf, ps, other]
Title: Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types
Authors: Andreas Abel (Gothenburg University), James Chapman (Institute of Cybernetics, Tallinn)
Comments: In Proceedings MSFP 2014, arXiv:1406.1534
Journal-ref: EPTCS 153, 2014, pp. 51-67
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[278]  arXiv:1406.2060 [pdf, other]
Title: Polymonadic Programming
Authors: Michael Hicks (University of Maryland, College Park), Gavin Bierman (Microsoft Research), Nataliya Guts (University of Maryland, College Park), Daan Leijen (Microsoft Research), Nikhil Swamy (Microsoft Research)
Comments: In Proceedings MSFP 2014, arXiv:1406.1534
Journal-ref: EPTCS 153, 2014, pp. 79-99
Subjects: Programming Languages (cs.PL)
[279]  arXiv:1406.2061 [pdf, ps, other]
Title: Koka: Programming with Row Polymorphic Effect Types
Authors: Daan Leijen (Microsoft Research)
Comments: In Proceedings MSFP 2014, arXiv:1406.1534
Journal-ref: EPTCS 153, 2014, pp. 100-126
Subjects: Programming Languages (cs.PL)
[280]  arXiv:1406.2062 [pdf, other]
Title: Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion
Authors: Wolfgang Jeltsch (TTÜ Küberneetika Instituut)
Comments: In Proceedings MSFP 2014, arXiv:1406.1534
Journal-ref: EPTCS 153, 2014, pp. 127-142
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[281]  arXiv:1406.2063 [pdf, other]
Title: Foundations of Total Functional Data-Flow Programming
Authors: Baltasar Trancón y Widemann (Ilmenau University of Technology), Markus Lepper (<semantics/> GmbH)
Comments: In Proceedings MSFP 2014, arXiv:1406.1534
Journal-ref: EPTCS 153, 2014, pp. 143-167
Subjects: Programming Languages (cs.PL); Discrete Mathematics (cs.DM)
[282]  arXiv:1406.2064 [pdf, other]
Title: Coherence for Skew-Monoidal Categories
Authors: Tarmo Uustalu
Comments: In Proceedings MSFP 2014, arXiv:1406.1534
Journal-ref: EPTCS 153, 2014, pp. 68-77
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)
[283]  arXiv:1406.2065 [pdf, other]
Title: Stochastically timed predicate-based communication primitives for autonomic computing
Authors: Diego Latella (ISTI - CNR), Michele Loreti (Università di Firenze), Mieke Massink (ISTI - CNR), Valerio Senni (IMT Lucca)
Comments: In Proceedings QAPL 2014, arXiv:1406.1567
Journal-ref: EPTCS 154, 2014, pp. 1-16
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[284]  arXiv:1406.2066 [pdf, other]
Title: GSOS for non-deterministic processes with quantitative aspects
Authors: Marino Miculan (DiMI, University of Udine), Marco Peressotti (DiMI, University of Udine)
Comments: In Proceedings QAPL 2014, arXiv:1406.1567
Journal-ref: EPTCS 154, 2014, pp. 17-33
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[285]  arXiv:1406.2067 [pdf, other]
Title: Extended Differential Aggregations in Process Algebra for Performance and Biology
Authors: Max Tschaikowski (University of Southampton), Mirco Tribastone (University of Southampton)
Comments: In Proceedings QAPL 2014, arXiv:1406.1567
Journal-ref: EPTCS 154, 2014, pp. 34-47
Subjects: Performance (cs.PF); Computational Engineering, Finance, and Science (cs.CE); Distributed, Parallel, and Cluster Computing (cs.DC)
[286]  arXiv:1406.2068 [pdf, other]
Title: MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
Comments: In Proceedings QAPL 2014, arXiv:1406.1567
Journal-ref: EPTCS 154, 2014, pp. 48-63
Subjects: Logic in Computer Science (cs.LO)
[287]  arXiv:1406.2069 [pdf, other]
Title: Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE - ZebraNet as an Example
Authors: Cheng Feng (Laboratory for Foundations of Computer Science, University of Edinburg, Scotland, UK)
Comments: In Proceedings QAPL 2014, arXiv:1406.1567
Journal-ref: EPTCS 154, 2014, pp. 64-77
Subjects: Performance (cs.PF)
[288]  arXiv:1406.2071 [pdf, other]
Title: Formal and Informal Methods for Multi-Core Design Space Exploration
Authors: Jean-Francois Kempf (VERIMAG), Olivier Lebeltel (VERIMAG), Oded Maler (VERIMAG)
Comments: In Proceedings QAPL 2014, arXiv:1406.1567
Journal-ref: EPTCS 154, 2014, pp. 78-92
Subjects: Software Engineering (cs.SE); Performance (cs.PF)
[289]  arXiv:1406.2076 [pdf, ps, other]
Title: Doppler Tolerance, Complementary Code Sets and the Generalized Thue-Morse Sequence
Comments: 12 pages
Subjects: Information Theory (cs.IT)
[290]  arXiv:1406.2079 [pdf, ps, other]
Title: Program Verification of Numerical Computation - Part 2
Authors: Garry Pantelis
Comments: arXiv admin note: text overlap with arXiv:1401.1290
Subjects: Logic in Computer Science (cs.LO); Mathematical Software (cs.MS)
[291]  arXiv:1406.2080 [pdf, other]
Title: Training Convolutional Networks with Noisy Labels
Comments: Accepted as a workshop contribution at ICLR 2015
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)
[292]  arXiv:1406.2096 [pdf, other]
Title: RuleCNL: A Controlled Natural Language for Business Rule Specifications
Comments: 12 pages, 7 figures, Fourth Workshop on Controlled Natural Language (CNL 2014) Proceedings
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[293]  arXiv:1406.2099 [pdf]
Title: ClassSpy: Java Object Pattern Visualization Tool
Comments: ICOMS-2013. International Conference on Modeling and Simulation, 25-27 November, Islamabad
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[294]  arXiv:1406.2103 [pdf, ps, other]
Title: A composable language for action models
Comments: Extended version of a paper to appear in the 10th International Conference on Advances in Modal Logic (AiML)
Subjects: Logic in Computer Science (cs.LO)
[295]  arXiv:1406.2107 [pdf, other]
Title: Optimizing Budget Allocation in Graphs
Subjects: Data Structures and Algorithms (cs.DS); Computational Geometry (cs.CG)
[296]  arXiv:1406.2108 [pdf, ps, other]
Title: Linear time Constructions of some $d$-Restriction Problems
Authors: Nader H. Bshouty
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[297]  arXiv:1406.2110 [pdf, other]
Title: Logic Programming and Logarithmic Space
Subjects: Logic in Computer Science (cs.LO)
[298]  arXiv:1406.2121 [pdf, ps, other]
Title: Constraint Handling Rules with Multiset Comprehension Patterns
Comments: Part of CHR 2014 proceedings (arXiv:1406.1510)
Subjects: Programming Languages (cs.PL)
[299]  arXiv:1406.2122 [pdf, ps, other]
Title: Automatic Test Data Generation and Model Checking with CHR
Authors: Ralf Gerlich
Comments: Part of CHR 2014 proceedings (arXiv:1406.1510)
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[300]  arXiv:1406.2125 [pdf, other]
Title: From XML Schema to JSON Schema: Translation with CHR
Comments: Part of CHR 2014 proceedings (arXiv:1406.1510)
Subjects: Databases (cs.DB); Programming Languages (cs.PL)
[301]  arXiv:1406.2128 [pdf, ps, other]
Title: A bio-inspired algorithm for fuzzy user equilibrium problem by aid of Physarum Polycephalum
Subjects: Artificial Intelligence (cs.AI)
[302]  arXiv:1406.2134 [pdf]
Title: Rescue Robotics in Bore well Environment
Subjects: Robotics (cs.RO); Human-Computer Interaction (cs.HC)
[303]  arXiv:1406.2135 [pdf, other]
Title: An extended target tracking model with multiple random matrices and unified kinematics
Authors: Karl Granstrom
Subjects: Systems and Control (eess.SY)
[304]  arXiv:1406.2139 [pdf, other]
Title: Log-Euclidean Bag of Words for Human Action Recognition
Journal-ref: IET Computer Vision, Vol. 9, No. 3, 2015
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[305]  arXiv:1406.2146 [pdf]
Title: Digital Watermarking Techniques in Spatial and Frequency Domain
Comments: 5 pages, 5 figures
Subjects: Cryptography and Security (cs.CR)
[306]  arXiv:1406.2150 [src]
Title: ML Detection for MIMO Systems under Channel Estimation Errors
Comments: This paper has been withdrawn by the author due to the erroneous simulation results of Figs.1-7
Subjects: Information Theory (cs.IT)
[307]  arXiv:1406.2154 [pdf, other]
Title: Euclidean TSP with few inner points in linear space
Comments: under submission
Subjects: Data Structures and Algorithms (cs.DS)
[308]  arXiv:1406.2161 [pdf, ps, other]
Title: Tableaux for Dynamic Logic of Propositional Assignments
Comments: 20 pages
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[309]  arXiv:1406.2180 [pdf]
Title: Selecting interesting zones at Aburrá valley and St. Nicholas Valley's using the identification method of Density-based Clustering and Improved Nearest Neighbor applied on social networks
Comments: 9 pages that explain an interesting method to Clustering Social Network's data, in Spanish
Journal-ref: Zapata, E. (2015). Selecci\'on de zonas de inter\'es en el Valle de Aburr\'a y San Nicol\'as con el m\'etodo de identificaci\'on de cl\'usteres basados en densidad y vecino cercano mejorado. Cuaderno Activa, 7, 27-39
Subjects: Computers and Society (cs.CY)
[310]  arXiv:1406.2199 [pdf, other]
Title: Two-Stream Convolutional Networks for Action Recognition in Videos
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[311]  arXiv:1406.2203 [pdf, other]
Title: Local degree blocking model for link prediction in complex networks
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[312]  arXiv:1406.2204 [pdf, other]
Title: How Easy is it to Learn a Controlled Natural Language for Building a Knowledge Base?
Comments: CNL 2014 : Fourth Workshop on Controlled Natural Language
Subjects: Computation and Language (cs.CL)
[313]  arXiv:1406.2210 [pdf, other]
Title: Memristor models for machine learning
Comments: 4 figures, no tables. Submitted to neural computation
Subjects: Machine Learning (cs.LG); Materials Science (cond-mat.mtrl-sci)
[314]  arXiv:1406.2222 [pdf, other]
Title: The Chemistry Between High School Students and Computer Science
Comments: 8 pages, 2 figures
Subjects: Computers and Society (cs.CY)
[315]  arXiv:1406.2227 [pdf, other]
Title: Synthetic Data and Artificial Neural Networks for Natural Scene Text Recognition
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[316]  arXiv:1406.2234 [pdf, other]
Title: Fault-Tolerant, but Paradoxical Path-Finding in Physical and Conceptual Systems
Comments: 8 pages
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[317]  arXiv:1406.2235 [pdf, ps, other]
Title: A Hybrid Latent Variable Neural Network Model for Item Recommendation
Comments: 10 pages, 3 tables. arXiv admin note: text overlap with arXiv:1312.5394
Subjects: Machine Learning (cs.LG); Information Retrieval (cs.IR); Neural and Evolutionary Computing (cs.NE); Machine Learning (stat.ML)
[318]  arXiv:1406.2255 [pdf, other]
Title: Energy-Efficient Cooperative Cognitive Relaying Schemes for Cognitive Radio Networks
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[319]  arXiv:1406.2262 [pdf]
Title: ARC Sort: Enhanced and Time Efficient Sorting Algorithm
Journal-ref: International Journal of Applied Information Systems 7(2), 1-7, March 2014
Subjects: Data Structures and Algorithms (cs.DS)
[320]  arXiv:1406.2266 [pdf, other]
Title: Industrial-Strength Documentation for ACL2
Authors: Jared Davis (Centaur Technology), Matt Kaufmann (University of Texas at Austin)
Comments: In Proceedings ACL2 2014, arXiv:1406.1238
Journal-ref: EPTCS 152, 2014, pp. 9-25
Subjects: Software Engineering (cs.SE); Mathematical Software (cs.MS)
[321]  arXiv:1406.2282 [pdf, other]
Title: Robust Estimation of 3D Human Poses from a Single Image
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[322]  arXiv:1406.2283 [pdf, other]
Title: Depth Map Prediction from a Single Image using a Multi-Scale Deep Network
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[323]  arXiv:1406.2285 [pdf]
Title: A Piggybank Protocol for Quantum Cryptography
Authors: Navya Chodisetti
Comments: 6 pages, 2 figures, 1 table
Subjects: Cryptography and Security (cs.CR)
[324]  arXiv:1406.2294 [pdf]
Title: A Fast, Minimal Memory, Consistent Hash Algorithm
Subjects: Data Structures and Algorithms (cs.DS)
[325]  arXiv:1406.2296 [pdf, ps, other]
Title: Approximating Nash Equilibria and Dense Subgraphs via an Approximate Version of Carathéodory's Theorem
Authors: Siddharth Barman
Comments: 28 pages; added references and extensions
Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS)
[326]  arXiv:1406.2298 [pdf, ps, other]
Title: Explaining Violation Traces with Finite State Natural Language Generation Models
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[327]  arXiv:1406.2311 [pdf]
Title: Survey on Variants of Distributed Energy efficient Clustering Protocols in heterogeneous Wireless Sensor Network
Comments: 17 Pages, IJCEA, 2014
Subjects: Networking and Internet Architecture (cs.NI)
[328]  arXiv:1406.2313 [pdf]
Title: Context management strategies in wireless network
Journal-ref: International Journal of advanced studies in Computer Science and Engineering IJASCSE, Volume 3, Issue 5, 2014
Subjects: Networking and Internet Architecture (cs.NI)
[329]  arXiv:1406.2348 [pdf, ps, other]
Title: Sampling the suffix array with minimizers
Comments: One new SamSAMi variant; extended experimental results
Subjects: Data Structures and Algorithms (cs.DS)
[330]  arXiv:1406.2358 [pdf, ps, other]
Title: Conjunction and Negation of Natural Concepts: A Quantum-theoretic Modeling
Authors: Sandro Sozzo
Comments: 32 pages, standard latex, no figures, 16 tables. arXiv admin note: text overlap with arXiv:1311.6050; and text overlap with arXiv:0805.3850 by other authors
Journal-ref: Journal of Mathematical Psychology 66, 83-102 (2015)
Subjects: Artificial Intelligence (cs.AI); Neurons and Cognition (q-bio.NC)
[331]  arXiv:1406.2370 [pdf, ps, other]
Title: Distilling Abstract Machines (Long Version)
Comments: 63 pages
Subjects: Programming Languages (cs.PL)
[332]  arXiv:1406.2375 [pdf, other]
Title: Parsing Semantic Parts of Cars Using Graphical Models and Segment Appearance Consistency
Comments: 12 pages, CBMM memo
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[333]  arXiv:1406.2390 [pdf, other]
Title: Unsupervised Deep Haar Scattering on Graphs
Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV)
[334]  arXiv:1406.2392 [pdf, other]
Title: Inferring the geographic focus of online documents from social media sharing patterns
Comments: 6 pages, 10 figures, Computational Approaches to Social Modeling (ChASM) Workshop, WebSci 2014, Bloomington, Indiana-June 24-26 2014
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[335]  arXiv:1406.2395 [pdf, other]
Title: ExpertBayes: Automatically refining manually built Bayesian networks
Comments: 14 pages
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Machine Learning (stat.ML)
[336]  arXiv:1406.2398 [pdf, other]
Title: Leveraging Personalization To Facilitate Privacy
Subjects: Social and Information Networks (cs.SI); Computers and Society (cs.CY); Physics and Society (physics.soc-ph)
[337]  arXiv:1406.2400 [pdf, ps, other]
Title: Controlled Natural Language Generation from a Multilingual FrameNet-based Grammar
Journal-ref: Controlled Natural Language, Lecture Notes in Computer Science, Vol. 8625, Springer, 2014, pp. 155-166
Subjects: Computation and Language (cs.CL)
[338]  arXiv:1406.2407 [pdf, other]
Title: Optimization Methods for Convolutional Sparse Coding
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[339]  arXiv:1406.2419 [pdf, other]
Title: Why do linear SVMs trained on HOG features perform so well?
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
[340]  arXiv:1406.2428 [pdf, other]
Title: Point visibility graph recognition is NP-hard
Authors: Bodhayan Roy
Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)
[341]  arXiv:1406.2431 [pdf, other]
Title: Budget-Constrained Item Cold-Start Handling in Collaborative Filtering Recommenders via Optimal Design
Comments: 11 pages, 2 figures
Subjects: Information Retrieval (cs.IR); Machine Learning (cs.LG)
[342]  arXiv:1406.2454 [pdf, ps, other]
Title: Distributed consensus on minimum time rendezvous via cyclic alternating projection
Comments: 6 pages, 6 figures, submitted to CDC 2014
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[343]  arXiv:1406.2459 [pdf, ps, other]
Title: Distributed MIN-MAX Optimization Application to Time-optimal Consensus: An Alternating Projection Approach
Comments: 11 pages, 6 figures, submitted to AIAA GNC 2015
Subjects: Systems and Control (eess.SY); Numerical Analysis (math.NA); Optimization and Control (math.OC)
[344]  arXiv:1406.2464 [pdf, other]
Title: Music and Vocal Separation Using Multi-Band Modulation Based Features
Comments: 5 pages, 5 figures, 2010 IEEE Symposium on Industrial Electronics Applications (ISIEA)
Subjects: Sound (cs.SD); Artificial Intelligence (cs.AI)
[345]  arXiv:1406.2470 [pdf]
Title: Controller selection in a Wireless Mesh SDN under network partitioning and merging scenarios
Comments: Submitted paper (May 26th, 2014)
Subjects: Networking and Internet Architecture (cs.NI)
[346]  arXiv:1406.2479 [pdf]
Title: Decentralized Adaptive Helper Selection in Multi-channel P2P Streaming Systems
Subjects: Networking and Internet Architecture (cs.NI)
[347]  arXiv:1406.2480 [pdf, ps, other]
Title: Optimization of Free Space Optical Wireless Network for Cellular Backhauling
Subjects: Networking and Internet Architecture (cs.NI)
[348]  arXiv:1406.2495 [pdf, other]
Title: ProvGen: generating synthetic PROV graphs with predictable structure
Comments: IPAW'14 paper, In Procs. IPAW 2014 (Provenance and Annotations). Koln, Germany: Springer, 2014
Subjects: Databases (cs.DB)
[349]  arXiv:1406.2504 [pdf, ps, other]
Title: Exploring Algorithmic Limits of Matrix Rank Minimization under Affine Constraints
Authors: Bo Xin, David Wipf
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[350]  arXiv:1406.2507 [html]
Title: WebAL-1: Workshop on Artificial Life and the Web 2014 Proceedings
Authors: Tim Taylor
Comments: Editors: Tim Taylor, Josh Auerbach, Josh Bongard, Jeff Clune, Simon Hickinbotham, Greg Hornby
Subjects: Neural and Evolutionary Computing (cs.NE); Multiagent Systems (cs.MA)
[351]  arXiv:1406.2516 [pdf, other]
Title: Subsidization Competition: Vitalizing the Neutral Internet
Authors: Richard T. B. Ma
Subjects: Networking and Internet Architecture (cs.NI); Computers and Society (cs.CY)
[352]  arXiv:1406.2518 [pdf, other]
Title: A Generalized and Adaptive Method for Community Detection
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph); Applications (stat.AP)
[353]  arXiv:1406.2519 [pdf]
Title: On Importance of Steganographic Cost For Network Steganography
Comments: 15 pages, 14 figures, 3 tables
Subjects: Multimedia (cs.MM); Cryptography and Security (cs.CR)
[354]  arXiv:1406.2534 [pdf, other]
Title: Load Hiding of Household's Power Demand
Journal-ref: 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm), Venice, pp. 854-859
Subjects: Other Computer Science (cs.OH)
[355]  arXiv:1406.2538 [pdf]
Title: FrameNet CNL: a Knowledge Representation and Information Extraction Language
Authors: Guntis Barzdins
Comments: CNL-2014 camera-ready version. The final publication is available at link.springer.com
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Machine Learning (cs.LG)
[356]  arXiv:1406.2539 [pdf, ps, other]
Title: Maximizing Diversity for Multimodal Optimization
Comments: submitted to PPSN'14 Workshop Advances in Multimodal Optimization
Subjects: Neural and Evolutionary Computing (cs.NE)
[357]  arXiv:1406.2544 [pdf, other]
Title: Faithful Glitch Propagation in Binary Circuit Models
Comments: 18 pages, 7 figures
Subjects: Other Computer Science (cs.OH)
[358]  arXiv:1406.2545 [pdf, other]
Title: A Flexible Fitness Function for Community Detection in Complex Networks
Subjects: Neural and Evolutionary Computing (cs.NE); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[359]  arXiv:1406.2565 [pdf]
Title: Some Aspects concerning the Cyber-Physical Systems Approach in Power Systems
Comments: 5 pages, 2 figures, 3rd International Workshop on Cyber-Physical Systems (IWoCPS) 2014
Subjects: Systems and Control (eess.SY)
[360]  arXiv:1406.2568 [pdf, other]
Title: Quantifying the Utility-Privacy Tradeoff in the Smart Grid
Subjects: Cryptography and Security (cs.CR)
[361]  arXiv:1406.2572 [pdf, other]
Title: Identifying and attacking the saddle point problem in high-dimensional non-convex optimization
Comments: The theoretical review and analysis in this article draw heavily from arXiv:1405.4604 [cs.LG]
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
[362]  arXiv:1406.2580 [pdf]
Title: Identification of Orchid Species Using Content-Based Flower Image Retrieval
Comments: Proceeding of International Conference on Computer, Control, Informatics and its Applications 2013, pp. 53-57
Subjects: Computer Vision and Pattern Recognition (cs.CV); Information Retrieval (cs.IR); Machine Learning (cs.LG)
[363]  arXiv:1406.2587 [pdf, other]
Title: Structural Sparsity of Complex Networks: Bounded Expansion in Random Models and Real-World Graphs
Subjects: Social and Information Networks (cs.SI); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Physics and Society (physics.soc-ph)
[364]  arXiv:1406.2590 [pdf, ps, other]
Title: Integer Vector Addition Systems with States
Comments: 17 pages, 2 figures
Subjects: Formal Languages and Automata Theory (cs.FL)
[365]  arXiv:1406.2613 [pdf]
Title: Simulation based Hardness Evaluation of a Multi-Objective Genetic Algorithm
Comments: International Conference on Modeling & Simulation, November, 25-27, 2013, Islamabad
Subjects: Neural and Evolutionary Computing (cs.NE)
[366]  arXiv:1406.2614 [src]
Title: Application and Verification of Algorithm Learning Based Neural Network
Comments: This paper has been withdrawn by the author due to a crucial accuracy error in Fig. 5
Subjects: Neural and Evolutionary Computing (cs.NE)
[367]  arXiv:1406.2616 [pdf, other]
Title: PlanIt: A Crowdsourcing Approach for Learning to Plan Paths from Large Scale Preference Feedback
Comments: PlanIt Camera Ready ICRA'15
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[368]  arXiv:1406.2622 [pdf, other]
Title: Equivalence of Learning Algorithms
Authors: Julien Audiffren (CMLA), Hachem Kadri (LIF)
Comments: arXiv admin note: substantial text overlap with arXiv:1310.2451
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[369]  arXiv:1406.2623 [pdf, ps, other]
Title: Maximum Likelihood-based Online Adaptation of Hyper-parameters in CMA-ES
Authors: Ilya Loshchilov (LIS), Marc Schoenauer (LRI, INRIA Saclay - Ile de France), Michèle Sebag (LRI), Nikolaus Hansen (INRIA Saclay - Ile de France)
Comments: 13th International Conference on Parallel Problem Solving from Nature (PPSN 2014) (2014)
Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI)
[370]  arXiv:1406.2628 [pdf, other]
Title: Merge Path - A Visually Intuitive Approach to Parallel Merging
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[371]  arXiv:1406.2630 [pdf, ps, other]
Title: A Utility Proportional Fairness Radio Resource Block Allocation in Cellular Networks
Subjects: Networking and Internet Architecture (cs.NI)
[372]  arXiv:1406.2631 [pdf, ps, other]
Title: A Utility Proportional Fairness Resource Allocation in Spectrally Radar-Coexistent Cellular Networks
Subjects: Networking and Internet Architecture (cs.NI)
[373]  arXiv:1406.2636 [pdf, other]
Title: Intersection graphs of segments and $\exists\mathbb{R}$
Authors: Jiri Matousek
Comments: 36 pages, expository paper
Subjects: Computational Geometry (cs.CG); Combinatorics (math.CO)
[374]  arXiv:1406.2639 [pdf, ps, other]
Title: A New 2.5D Representation for Lymph Node Detection using Random Sets of Deep Convolutional Neural Network Observations
Comments: This article will be presented at MICCAI (Medical Image Computing and Computer-Assisted Interventions) 2014
Journal-ref: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2014 Volume 8673 of the series Lecture Notes in Computer Science pp 520-527
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)
[375]  arXiv:1406.2644 [pdf]
Title: Geographical Asynchronous Information Access for Distributed Systems
Comments: 7 pages
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Databases (cs.DB)
[376]  arXiv:1406.2646 [pdf, other]
Title: Learning with Cross-Kernels and Ideal PCA
Subjects: Machine Learning (cs.LG); Commutative Algebra (math.AC); Machine Learning (stat.ML)
[377]  arXiv:1406.2648 [src]
Title: Fast Matrix Multiplication with Sketching
Comments: Theorem 1 may be problematic, and more careful thought is required. The authors are discussing a solution on it. Currently it is better to withdraw the draft
Subjects: Numerical Analysis (math.NA); Data Structures and Algorithms (cs.DS)
[378]  arXiv:1406.2671 [pdf, other]
Title: Conceptors: an easy introduction
Authors: Herbert Jaeger
Comments: 11 pages
Subjects: Neural and Evolutionary Computing (cs.NE)
[379]  arXiv:1406.2710 [pdf, other]
Title: A Multiplicative Model for Learning Distributed Text-Based Attribute Representations
Comments: 11 pages. An earlier version was accepted to the ICML-2014 Workshop on Knowledge-Powered Deep Learning for Text Mining
Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL)
[380]  arXiv:1406.2720 [pdf, other]
Title: The Effect of Social Learning on Individual Learning and Evolution
Comments: Accepted to ALIFE 2014
Subjects: Artificial Intelligence (cs.AI); Populations and Evolution (q-bio.PE)
[381]  arXiv:1406.2728 [pdf, ps, other]
Title: On bipartization of cubic graphs by removal of an independent set
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[382]  arXiv:1406.2732 [pdf, ps, other]
Title: Deep Epitomic Convolutional Neural Networks
Comments: 9 pages
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
[383]  arXiv:1406.2738 [pdf, other]
Title: Wireless Backhaul Networks: Capacity Bound, Scalability Analysis and Design Guidelines
Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
[384]  arXiv:1406.2744 [pdf]
Title: Rapid Control Selection through Hill-Climbing Methods
Comments: 5th International Conference on Intelligent Robotics and Applications (ICIRA 2012) Original text available at: this http URL
Journal-ref: 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II, pp. 561-570, Oct. 2012
Subjects: Systems and Control (eess.SY)
[385]  arXiv:1406.2746 [pdf, other]
Title: Are 140 Characters Enough? A Large-Scale Linkability Study of Tweets
Subjects: Information Retrieval (cs.IR); Digital Libraries (cs.DL)
[386]  arXiv:1406.2751 [pdf, other]
Title: Reweighted Wake-Sleep
Subjects: Machine Learning (cs.LG)
[387]  arXiv:1406.2752 [pdf, ps, other]
Title: D2D Enhanced Heterogeneous Cellular Networks with Dynamic TDD
Comments: 15 pages; 9 figures; submitted to IEEE Transactions on Wireless Communications
Subjects: Networking and Internet Architecture (cs.NI)
[388]  arXiv:1406.2758 [pdf, other]
Title: A multi-level soft frequency reuse technique for wireless communication systems
Authors: Xuezhi Yang
Subjects: Information Theory (cs.IT)
[389]  arXiv:1406.2773 [pdf]
Title: Green Computing In Developed And Developing Countries
Journal-ref: International Journal in Foundations of Computer Science & Technology (IJFCST), Vol.4, No.3, May 2014
Subjects: Computers and Society (cs.CY)
[390]  arXiv:1406.2775 [pdf]
Title: Realization and design of a pilot assist decision-making system based on speech recognition
Comments: 10 pages, 8 figures
Subjects: Human-Computer Interaction (cs.HC); Sound (cs.SD)
[391]  arXiv:1406.2777 [pdf]
Title: Out Performance Of Cuckoo Search Algorithm Among Nature Inspired Algorithms in Planar Antenna Arrays
Comments: 10 PAGES, 9 FIGURES, WIMON-2014
Subjects: Emerging Technologies (cs.ET); Information Theory (cs.IT)
[392]  arXiv:1406.2779 [pdf]
Title: real-time audio translation module between iax and rsw
Comments: 7 pages, 5 figures
Journal-ref: Hadeel Saleh Haj Aliwi and Putra Sumari (2014),"REAL-TIME AUDIO TRANSLATION MODULE BETWEEN IAX AND RSW", International Journal of Computer Networks & Communications (IJCNC) Vol.6, No.3, pp.125-133
Subjects: Multimedia (cs.MM)
[393]  arXiv:1406.2783 [pdf, ps, other]
Title: Linear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for Admissibility
Authors: Vladimir Rybakov
Comments: arXiv admin note: text overlap with arXiv:1405.0559
Subjects: Logic in Computer Science (cs.LO)
[394]  arXiv:1406.2785 [pdf, ps, other]
Title: A New Class of Multiple-rate Codes Based on Block Markov Superposition Transmission
Subjects: Information Theory (cs.IT)
[395]  arXiv:1406.2791 [pdf]
Title: A new approach for formal behavioral modeling of protection services in antivirus systems
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[396]  arXiv:1406.2793 [pdf]
Title: Towards a Frontier of Spatial Scientometric Studies
Authors: Song Gao
Comments: 10 pages,9 figures
Subjects: Digital Libraries (cs.DL)
[397]  arXiv:1406.2794 [pdf, ps, other]
Title: The Mean Interference-to-Signal Ratio and its Key Role in Cellular and Amorphous Networks
Authors: Martin Haenggi
Comments: 6 figures
Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
[398]  arXiv:1406.2795 [pdf, ps, other]
Title: Rendezvous of Distance-aware Mobile Agents in Unknown Graphs
Authors: Shantanu Das (LIF), Dariusz Dereniowski, Adrian Kosowski (INRIA Rocquencourt, LIAFA), Przemyslaw Uznanski (LIF)
Subjects: Data Structures and Algorithms (cs.DS)
[399]  arXiv:1406.2807 [pdf, other]
Title: The Secrets of Salient Object Segmentation
Comments: 15 pages, 8 figures. Conference version was accepted by CVPR 2014
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[400]  arXiv:1406.2808 [pdf]
Title: Compositional Testing For FSM-Based Models
Comments: 20 pages, ijsea journal
Journal-ref: International Journal of Software Engineering & Applications (IJSEA), May 2014, Volume 5, Number 3
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)
[401]  arXiv:1406.2812 [pdf]
Title: On the Development of Methodology for Planning and Cost-Modeling of a Wide Area Network
Comments: 20 pages, 5 figures
Journal-ref: International Journal of Computer Networks & Communications (IJCNC) Vol.6, No.3, May 2014
Subjects: Networking and Internet Architecture (cs.NI)
[402]  arXiv:1406.2817 [pdf, other]
Title: Isogeometric Boundary Element Method with Hierarchical Matrices
Comments: 10 pages, 5 figures
Subjects: Numerical Analysis (math.NA)
[403]  arXiv:1406.2822 [pdf]
Title: A Framework for the Evaluation of SaaS Impact
Comments: 16 pages
Journal-ref: International Journal in Foundations of Computer Science & Technology (IJFCST), Vol.4, No.3, May 2014
Subjects: Software Engineering (cs.SE)
[404]  arXiv:1406.2823 [pdf, other]
Title: A Hitchhiker's Guide to Search-Based Software Engineering for Software Product Lines
Subjects: Software Engineering (cs.SE); Neural and Evolutionary Computing (cs.NE)
[405]  arXiv:1406.2824 [pdf, other]
Title: Some Ideas for Program Verifier Tactics
Authors: Gudmund Grov
Subjects: Software Engineering (cs.SE)
[406]  arXiv:1406.2834 [pdf, other]
Title: The Linear Information Coupling Problems
Comments: 27 pages, submitted to IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT)
[407]  arXiv:1406.2844 [pdf, other]
Title: Partitionnement Déterministe pour Résoudre les Problèmes de Programmation Par Contraintes en utilisant le Framework Parallèle Bobpp
Authors: Tarek Menouer (PRISM), Bertrand Le Cun (PRISM)
Comments: in French, ComPAS 2014 : conf\'erence en parall\'elisme, architecture et syst\`emes (2014)
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[408]  arXiv:1406.2852 [pdf, ps, other]
Title: On the Impact of Geometry on Ad Hoc Communication in Wireless Networks
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[409]  arXiv:1406.2855 [pdf, ps, other]
Title: The Common Structure of Paradoxes in Aggregation Theory
Authors: Umberto Grandi
Subjects: Multiagent Systems (cs.MA); Computer Science and Game Theory (cs.GT)
[410]  arXiv:1406.2858 [pdf, other]
Title: Quantum POMDPs
Comments: 13 pages, 3 figures, revised version (fixes several errors, discusses related work)
Journal-ref: Phys. Rev. A 90, 032311, 2014
Subjects: Artificial Intelligence (cs.AI); Quantum Physics (quant-ph)
[411]  arXiv:1406.2863 [pdf]
Title: A Literature Review on Information Systems Supporting the Physical Wellbeing of Elderly People
Comments: As presented in the IADIS ICT2012 conference held in Lisbon, Portugal, 21-23 July 2012, Proceedings of the IADIS International Conference ICT, Society and Human Beings 2012, IADIS press, 2012
Subjects: Computers and Society (cs.CY)
[412]  arXiv:1406.2871 [pdf, other]
Title: Multi-Objective Signal Processing Optimization: The Way to Balance Conflicting Metrics in 5G Systems
Comments: Published in IEEE Signal Processing Magazine (Special Issue on Signal Processing for the 5G Revolution), 10 pages, 8 figures. This version corrects a few typos in the simulation section. The results can be reproduced using the following Matlab code: this https URL
Journal-ref: IEEE Signal Processing Magazine, vol. 31, no. 6, pp. 14-23, November 2014
Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
[413]  arXiv:1406.2880 [pdf, other]
Title: POS Tagging and its Applications for Mathematics
Subjects: Digital Libraries (cs.DL); Computation and Language (cs.CL); Information Retrieval (cs.IR)
[414]  arXiv:1406.2886 [pdf]
Title: The role of handbooks in knowledge creation and diffusion: A case of science and technology studies
Comments: Accepted for publication in Journal of Informetrics
Subjects: Digital Libraries (cs.DL)
[415]  arXiv:1406.2889 [pdf]
Title: Explicit Computation of Input Weights in Extreme Learning Machines
Comments: In submission for the ELM 2014 Conference
Subjects: Neural and Evolutionary Computing (cs.NE)
[416]  arXiv:1406.2895 [pdf, other]
Title: Acoustic Gait-based Person Identification using Hidden Markov Models
Subjects: Human-Computer Interaction (cs.HC); Computer Vision and Pattern Recognition (cs.CV)
[417]  arXiv:1406.2897 [pdf, other]
Title: Hadamard Coded Modulation for Visible Light Communications
Subjects: Information Theory (cs.IT)
[418]  arXiv:1406.2901 [pdf, other]
Title: A Pattern-based Survey and Categorization of Network Covert Channel Techniques
Comments: 27 pages, 4 figures, 3 tables, accepted for publication in ACM Computing Surveys (CSUR, submitted on Dec-2013, accepted in Oct-2014). The final publication will be available via ACM
Journal-ref: ACM Computing Surveys, Vol. 47(3), ACM, 2015
Subjects: Cryptography and Security (cs.CR)
[419]  arXiv:1406.2903 [pdf, ps, other]
Title: A Brief State of the Art for Ontology Authoring
Subjects: Computation and Language (cs.CL)
[420]  arXiv:1406.2909 [pdf, ps, other]
Title: Identification of Patient Zero in Static and Temporal Networks - Robustness and Limitations
Comments: Additional experiments and results regarding the detectability limits are included in v2. Supplemental material is added in the Ancillary files section on this arXiv page
Journal-ref: Phys. Rev. Lett. 114, 248701 (2015)
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[421]  arXiv:1406.2930 [pdf]
Title: Improved Secure Address Resolution Protocol
Comments: 10 pages, 15 figures, paper selected in fifth international conference of communications security and information assurance 2014
Subjects: Cryptography and Security (cs.CR)
[422]  arXiv:1406.2949 [pdf, ps, other]
Title: Ergodic Theory Meets Polarization. II: A Foundation of Polarization Theory
Authors: Rajai Nasser
Comments: 33 pages. Accepted to IEEE Trans. Inform. Theory and presented in part at ISIT'15
Journal-ref: IEEE Transactions on Information Theory, vol. 63, no. 2, pp. 1063-1083, Feb. 2017
Subjects: Information Theory (cs.IT); Combinatorics (math.CO)
[423]  arXiv:1406.2951 [pdf, other]
Title: An Improved Approximation for $k$-median, and Positive Correlation in Budgeted Optimization
Journal-ref: Proceedings of ACM-Siam Symposium on Discrete Algorithms (SODA), pages 737-756, 2015
Subjects: Data Structures and Algorithms (cs.DS)
[424]  arXiv:1406.2952 [pdf, other]
Title: Bird Species Categorization Using Pose Normalized Deep Convolutional Nets
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[425]  arXiv:1406.2960 [pdf]
Title: A Modified Design of ACF Operation for Reducing PAPR of OFDM Signal
Comments: 12 Pages, 8 Figures, 5 Tables. arXiv admin note: substantial text overlap with arXiv:1404.2233, arXiv:1403.3349, arXiv:1404.2300
Journal-ref: International Journal of Next-Generation Networks (IJNGN), Vol. 6, No. 1, pp.31-42, March 2014
Subjects: Networking and Internet Architecture (cs.NI)
[426]  arXiv:1406.2963 [pdf, other]
Title: A machine-compiled macroevolutionary history of Phanerozoic life
Subjects: Databases (cs.DB); Computation and Language (cs.CL); Machine Learning (cs.LG); Populations and Evolution (q-bio.PE)
[427]  arXiv:1406.2969 [pdf, ps, other]
Title: Truncated Nuclear Norm Minimization for Image Restoration Based On Iterative Support Detection
Authors: Yilun Wang, Xinhua Su
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Machine Learning (stat.ML)
[428]  arXiv:1406.2977 [pdf]
Title: Toward a Local Perspective on Online Collaboration
Comments: In the Proceedings of Collective Intelligence 2014
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[429]  arXiv:1406.2984 [pdf, other]
Title: Joint Training of a Convolutional Network and a Graphical Model for Human Pose Estimation
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[430]  arXiv:1406.3002 [pdf, other]
Title: The Effect of Visual Noise on The Completion of Security Critical Tasks
Comments: 10 pages, 5 figures
Subjects: Human-Computer Interaction (cs.HC); Cryptography and Security (cs.CR)
[431]  arXiv:1406.3010 [pdf, other]
Title: "Mental Rotation" by Optimizing Transforming Distance
Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV)
[432]  arXiv:1406.3019 [pdf]
Title: Comparative Performance Analysis of Different Modulation Techniques for PAPR Reduction of OFDM Signal
Comments: 11 Pages, 5 Figures. arXiv admin note: substantial text overlap with arXiv:1404.2233, arXiv:1403.3349, arXiv:1406.2960
Journal-ref: International Journal of Computer Networks and Communications (IJCNC), Vol. 6, No. 3, pp.63-73, May 2014 (ISSN: 0974-9322)
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[433]  arXiv:1406.3047 [pdf, other]
Title: Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results
Comments: This is an extended version of a paper accepted at LICS'15. It contains both succinctness and complexity results and adopts FOL notation. The appendix contains proofs that had to be omitted from the conference version for lack of space. The previous arxiv version (a long version of our DL'14 workshop paper) only contained the succinctness results and used description logic notation
Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Databases (cs.DB)
[434]  arXiv:1406.3058 [pdf, ps, other]
Title: Multilevel polynomial partitions and simplified range searching
Comments: 19 pages; The proof that the Groebner basis can be effectively computed is stated in more detail
Journal-ref: Disc. Comput. Geom. 54(1):22-41, 2015
Subjects: Data Structures and Algorithms (cs.DS); Algebraic Geometry (math.AG)
[435]  arXiv:1406.3065 [pdf, ps, other]
Title: Lower Bounds for Tropical Circuits and Dynamic Programs
Authors: Stasys Jukna
Comments: Corrected reduction to arithmetic circuits (holds only for multilinear polynomials, now Sect. 4). Solved Open Problem 3 about Min/Max gaps (now Lemma 10). Added lower bounds for the depth of tropical circuits (Sect. 15)
Journal-ref: Theory of Computing Systems 57:1 (2015) 160-194
Subjects: Computational Complexity (cs.CC)
[436]  arXiv:1406.3074 [pdf]
Title: A New Result on the Random Residue Sequence Algorithm
Comments: 6 pages,2 tables
Subjects: Cryptography and Security (cs.CR)
[437]  arXiv:1406.3084 [pdf, ps, other]
Title: Exact Solutions for M/M/c/Setup Queues
Authors: Tuan Phung-Duc
Comments: Submitted for review
Subjects: Performance (cs.PF)
[438]  arXiv:1406.3092 [pdf, other]
Title: A note on the largest number of red nodes in red-black trees
Subjects: Data Structures and Algorithms (cs.DS)
[439]  arXiv:1406.3100 [pdf]
Title: Learning ELM network weights using linear discriminant analysis
Comments: In submission to the ELM 2014 conference
Subjects: Neural and Evolutionary Computing (cs.NE); Machine Learning (cs.LG); Machine Learning (stat.ML)
[440]  arXiv:1406.3103 [pdf, ps, other]
Title: Deception with Side Information in Biometric Authentication Systems
Comments: Submitted to IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
[441]  arXiv:1406.3110 [pdf]
Title: Reaction to New Security Threat Class
Subjects: Digital Libraries (cs.DL); Cryptography and Security (cs.CR); Computers and Society (cs.CY)
[442]  arXiv:1406.3117 [pdf]
Title: Low-cost Augmented Reality prototype for controlling network devices
Authors: Anh Nguyen, Amy Banic
Subjects: Human-Computer Interaction (cs.HC); Multimedia (cs.MM)
[443]  arXiv:1406.3121 [pdf]
Title: Impact of Internet Governance
Comments: 4 pages, 2 figures, Internation Journal of Computer Trends and Technology- IJCTT, Vol 4, Issue 10,October 2013
Subjects: Computers and Society (cs.CY)
[444]  arXiv:1406.3123 [pdf, other]
Title: Distributed Resource Allocation for Relay-Aided Device-to-Device Communication: A Message Passing Approach
Comments: IEEE Transactions on Wireless Communications, to appear. arXiv admin note: text overlap with arXiv:1401.6683
Subjects: Networking and Internet Architecture (cs.NI)
[445]  arXiv:1406.3124 [pdf, ps, other]
Title: Guarantees and Limits of Preprocessing in Constraint Satisfaction and Reasoning
Comments: arXiv admin note: substantial text overlap with arXiv:1104.2541, arXiv:1104.5566
Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[446]  arXiv:1406.3139 [pdf, ps, other]
Title: Labelings for Decreasing Diagrams
Journal-ref: Journal of Automated Reasoning 54(2) 101-133 2015
Subjects: Logic in Computer Science (cs.LO)
[447]  arXiv:1406.3147 [pdf]
Title: Enhanced capacity & coverage by Wi-Fi LTE Integration
Comments: Submitted as a candidate article for IEEE Communications Magazine, Topic: The Future of Wi-Fi (November 2014)
Subjects: Networking and Internet Architecture (cs.NI)
[448]  arXiv:1406.3149 [pdf, other]
Title: A Cascade Neural Network Architecture investigating Surface Plasmon Polaritons propagation for thin metals in OpenMP
Journal-ref: International conference on Artificial Intelligence and Soft Computing (ICAISC 2014), Vol I, 22-33 (2014)
Subjects: Neural and Evolutionary Computing (cs.NE); Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Materials Science (cond-mat.mtrl-sci); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG)
[449]  arXiv:1406.3156 [pdf, other]
Title: A hybrid neuro--wavelet predictor for QoS control and stability
Journal-ref: Proceedings of AI*IA 2013: Advances in Artificial Intelligence, pages 527-538. Springer, 2013
Subjects: Neural and Evolutionary Computing (cs.NE); Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI); Performance (cs.PF); Systems and Control (eess.SY)
[450]  arXiv:1406.3161 [pdf, ps, other]
Title: Optimized Adaptive Streaming Representations based on System Dynamics
Subjects: Multimedia (cs.MM)
[451]  arXiv:1406.3163 [pdf, ps, other]
Title: Solving the "Isomorphism of Polynomials with Two Secrets" Problem for all Pairs of Quadratic Forms
Subjects: Symbolic Computation (cs.SC); Cryptography and Security (cs.CR)
[452]  arXiv:1406.3164 [pdf, ps, other]
Title: The Role of Large-Scale Fading in Uplink Massive MIMO Systems
Comments: Submitted to IEEE Transactions on Vehicular Technology as a correspondence
Subjects: Information Theory (cs.IT)
[453]  arXiv:1406.3170 [pdf, ps, other]
Title: Compact Indexes for Flexible Top-k Retrieval
Comments: 14 pages, 9 figures
Subjects: Data Structures and Algorithms (cs.DS); Information Retrieval (cs.IR)
[454]  arXiv:1406.3172 [pdf, other]
Title: Optimal Gaussian Filter for Effective Noise Filtering
Comments: 6 pages, 1 figure
Subjects: Other Computer Science (cs.OH)
[455]  arXiv:1406.3188 [pdf, ps, other]
Title: Assessing the Quality of Web Content
Comments: 4 pages, ECML/PKDD 2010 Discovery Challenge Workshop
Subjects: Information Retrieval (cs.IR)
[456]  arXiv:1406.3191 [pdf, other]
Title: An eigenvector-based hotspot detection
Journal-ref: In Proceedings of 16th Portuguese Conference on Artificial Intelligence (EPIA 2013), Acores, Portugal, 9-12 September 2013, PP. 290-301
Subjects: Artificial Intelligence (cs.AI)
[457]  arXiv:1406.3194 [pdf, ps, other]
Title: Multicasting in Cognitive Radio Networks: Algorithms, Techniques and Protocols
Journal-ref: Elsevier Journal of Network and Computer Applications, October, 2014
Subjects: Networking and Internet Architecture (cs.NI)
[458]  arXiv:1406.3204 [src]
Title: Systematic Design of Trust Management Systems for Wireless Sensor Networks: A Review
Comments: The paper has been withdrawn due to typesetting mistakes
Subjects: Networking and Internet Architecture (cs.NI); Cryptography and Security (cs.CR)
[459]  arXiv:1406.3209 [src]
Title: BT-GPSR: An Integrated Trust Model for Secure Geographic Routing in Wireless Sensor Networks
Comments: The paper has been withdrawn due to improper display of equations
Subjects: Networking and Internet Architecture (cs.NI)
[460]  arXiv:1406.3214 [pdf, ps, other]
Title: (k,l)-Unambiguity and Quasi-Deterministic Structures
Subjects: Formal Languages and Automata Theory (cs.FL)
[461]  arXiv:1406.3216 [pdf, other]
Title: SocialSpy: Browsing (Supposedly) Hidden Information in Online Social Networks
Comments: 16 pages, 6 figures
Subjects: Social and Information Networks (cs.SI); Information Retrieval (cs.IR); Physics and Society (physics.soc-ph)
[462]  arXiv:1406.3225 [pdf, other]
Title: Supporting Mobile Multimodal Interaction with a Rule-Based Framework
Comments: 8 pages, 4 figures, extended version of the short paper at Mensch und Computer 2014
Subjects: Human-Computer Interaction (cs.HC)
[463]  arXiv:1406.3238 [pdf]
Title: Analog input layer for optical reservoir computers
Comments: submitted to New Journal of Physics
Subjects: Emerging Technologies (cs.ET)
[464]  arXiv:1406.3240 [pdf, other]
Title: Zero-Correlation Linear Cryptanalysis of Reduced Round ARIA with Partial-sum and FFT
Comments: arXiv admin note: text overlap with arXiv:1404.6100
Subjects: Cryptography and Security (cs.CR)
[465]  arXiv:1406.3247 [pdf, ps, other]
Title: Relating the Time Complexity of Optimization Problems in Light of the Exponential-Time Hypothesis
Comments: This is an extended version of Relating the Time Complexity of Optimization Problems in Light of the Exponential-Time Hypothesis, appearing in Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science MFCS 2014 Budapest, August 25-29, 2014
Subjects: Computational Complexity (cs.CC)
[466]  arXiv:1406.3252 [pdf, other]
Title: Integration of Legacy Appliances into Home Energy Management Systems
Subjects: Other Computer Science (cs.OH)
[467]  arXiv:1406.3266 [pdf, other]
Title: Event and Anomaly Detection Using Tucker3 Decomposition
Journal-ref: In Proceedings of 20th European Conference on Artificial Intelligence (ECAI'2013)- Ubiquitous Data Mining Workshop, pp. 8-12, vol. 1, August 27-31, 2012
Subjects: Artificial Intelligence (cs.AI)
[468]  arXiv:1406.3269 [pdf, other]
Title: Scheduled denoising autoencoders
Comments: Published as a conference paper at ICLR 2015
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[469]  arXiv:1406.3270 [pdf]
Title: Kalman Temporal Differences
Journal-ref: Journal Of Artificial Intelligence Research, Volume 39, pages 483-532, 2010
Subjects: Machine Learning (cs.LG)
[470]  arXiv:1406.3277 [pdf]
Title: A Semantic VSM-Based Recommender System
Journal-ref: International Journal of Computer Theory and Engineering vol. 5, no. 2, pp. 331-336, 2013
Subjects: Information Retrieval (cs.IR)
[471]  arXiv:1406.3278 [pdf, ps, other]
Title: An n-to-1 Bidder Reduction for Multi-item Auctions and its Applications
Comments: Minor changes and corrections
Subjects: Computer Science and Game Theory (cs.GT)
[472]  arXiv:1406.3279 [pdf, other]
Title: On the Complexity of List Ranking in the Parallel External Memory Model
Subjects: Data Structures and Algorithms (cs.DS)
[473]  arXiv:1406.3280 [pdf, ps, other]
Title: Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals
Comments: 33 pages; 19 tables. All DDRSes in S.2 are proven ground-complete (gc). In S.3, the DDRS for Z_{ut} contains 16 equations and is proven gc; the DDRS for Z_{bt} has one more equation ([bt22]) and is proven gc; the DDRSes for N_{dt} (Table 14) and Z_{dt} (Table 16) are proven gc in [13]. In Appendix C, corrected versions of the DDRSes for N_{u'} and Z_{u'} are proven gc
Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS)
[474]  arXiv:1406.3282 [pdf]
Title: A swarm optimization algorithm inspired in the behavior of the social-spider
Comments: 21 Pages
Journal-ref: Expert Systems with Applications, 40 (16), (2013), pp. 6374-6384
Subjects: Neural and Evolutionary Computing (cs.NE)
[475]  arXiv:1406.3287 [pdf]
Title: A Clustering Analysis of Tweet Length and its Relation to Sentiment
Authors: Matthew Mayo
Comments: 6 pages
Subjects: Computation and Language (cs.CL); Information Retrieval (cs.IR); Social and Information Networks (cs.SI)
[476]  arXiv:1406.3289 [pdf, other]
Title: Indeterminate Strings, Prefix Arrays & Undirected Graphs
Comments: 20 pages
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[477]  arXiv:1406.3295 [pdf, ps, other]
Title: Stable, Robust and Super Fast Reconstruction of Tensors Using Multi-Way Projections
Comments: Submitted to IEEE Transactions on Signal Processing
Subjects: Information Theory (cs.IT); Data Structures and Algorithms (cs.DS)
[478]  arXiv:1406.3296 [pdf, ps, other]
Title: An Information Value Function for Nonparametric Gaussian Processes
Comments: 7 pages, 2 figures, 2012 NIPS workshop on Bayesian Nonparametric Models For Reliable Planning And Decision-Making Under Uncertainty
Subjects: Information Theory (cs.IT)
[479]  arXiv:1406.3313 [html]
Title: Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Authors: Alastair F. Donaldson (Imperial College London), Vasco T. Vasconcelos (University of Lisbon)
Journal-ref: EPTCS 155, 2014
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)
[480]  arXiv:1406.3327 [pdf, other]
Title: Trade-offs in School Choice: Comparing Deferred Acceptance, the Naive and the Classic Boston Mechanism
Comments: Working Paper
Subjects: Computer Science and Game Theory (cs.GT)
[481]  arXiv:1406.3332 [pdf, ps, other]
Title: Convolutional Kernel Networks
Authors: Julien Mairal (INRIA Grenoble Rhône-Alpes / LJK Laboratoire Jean Kuntzmann), Piotr Koniusz (INRIA Grenoble Rhône-Alpes / LJK Laboratoire Jean Kuntzmann), Zaid Harchaoui (INRIA Grenoble Rhône-Alpes / LJK Laboratoire Jean Kuntzmann), Cordelia Schmid (INRIA Grenoble Rhône-Alpes / LJK Laboratoire Jean Kuntzmann)
Comments: appears in Advances in Neural Information Processing Systems (NIPS), Dec 2014, Montreal, Canada, this http URL
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Machine Learning (stat.ML)
[482]  arXiv:1406.3337 [pdf, other]
Title: Evolutionary Robotics on the Web with WebGL and Javascript
Comments: Presented at WebAL-1: Workshop on Artificial Life and the Web 2014 (arXiv:1406.2507)
Subjects: Neural and Evolutionary Computing (cs.NE); Human-Computer Interaction (cs.HC)
[483]  arXiv:1406.3339 [pdf, ps, other]
Title: Algorithms for CVaR Optimization in MDPs
Comments: Submitted to NIPS 14
Subjects: Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
[484]  arXiv:1406.3368 [pdf, ps, other]
Title: Lattices from Codes for Harnessing Interference: An Overview and Generalizations
Subjects: Information Theory (cs.IT)
[485]  arXiv:1406.3373 [pdf, other]
Title: On Infinite Words Determined by Indexed Languages
Authors: Tim Smith
Comments: Full version of paper accepted for publication at MFCS 2014
Subjects: Formal Languages and Automata Theory (cs.FL)
[486]  arXiv:1406.3378 [pdf, ps, other]
Title: Probabilistic Recursion Theory and Implicit Computational Complexity (Long Version)
Subjects: Logic in Computer Science (cs.LO)
[487]  arXiv:1406.3387 [pdf, other]
Title: The Interplay Between Dynamics and Networks: Centrality, Communities, and Cheeger Inequality
Comments: This is the full length version. A shorter conference paper appeared in ACM-SIGKDD 2014
Subjects: Social and Information Networks (cs.SI); Discrete Mathematics (cs.DM); Physics and Society (physics.soc-ph)
[488]  arXiv:1406.3395 [pdf, ps, other]
Title: An Evolutionary Approach to Coalition Formation
Subjects: Computer Science and Game Theory (cs.GT)
[489]  arXiv:1406.3399 [pdf, ps, other]
Title: Foundations of an Alternative Approach to Reification in RDF
Comments: This document has become **obsolete** and is replaced by the RDF-DEV community group report on RDF-star and SPARQL-star. For more details, see the comment added in the beginning of the document, and the report can be found at this https URL
Subjects: Databases (cs.DB)
[490]  arXiv:1406.3400 [pdf]
Title: Robotic positioning device for three-dimensional printing
Comments: 14 pages, 9 figures
Subjects: Robotics (cs.RO)
[491]  arXiv:1406.3404 [pdf, ps, other]
Title: Pilot Signal Design for Massive MIMO Systems: A Received Signal-To-Noise-Ratio-Based Approach
Comments: 5 pages, double column, 1 figure. Submitted to IEEE Signal Processing Letters
Subjects: Information Theory (cs.IT)
[492]  arXiv:1406.3405 [pdf, other]
Title: An error correcting parser for context free grammars that takes less than cubic time
Subjects: Data Structures and Algorithms (cs.DS)
[493]  arXiv:1406.3407 [pdf, other]
Title: Restricted Boltzmann Machine for Classification with Hierarchical Correlated Prior
Comments: 13 pages, 5 figures
Subjects: Machine Learning (cs.LG)
[494]  arXiv:1406.3411 [pdf, other]
Title: VoG: Summarizing and Understanding Large Graphs
Comments: SIAM International Conference on Data Mining (SDM) 2014
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[495]  arXiv:1406.3412 [pdf]
Title: Analysis of the Frequency Offset Effect on Zadoff-Chu Sequence Timing Performance
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[496]  arXiv:1406.3414 [pdf, other]
Title: Space Saving by Dynamic Algebraization
Comments: 14 pages, 1 figure
Subjects: Data Structures and Algorithms (cs.DS)
[497]  arXiv:1406.3418 [pdf]
Title: Fingers' Angle Calculation using Level-Set Method
Comments: 7 pages, IGI 2014
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[498]  arXiv:1406.3433 [pdf, other]
Title: A Model for Variation- and Fault-Tolerant Digital Logic using Self-Assembled Nanowire Architectures
Subjects: Emerging Technologies (cs.ET)
[499]  arXiv:1406.3454 [pdf, other]
Title: The Degrees-of-Freedom of Multi-way Device-to-Device Communications is Limited by 2
Comments: 5 pages, ISIT 2014
Subjects: Information Theory (cs.IT)
[500]  arXiv:1406.3460 [pdf, other]
Title: Are Style Guides Controlled Languages? The Case of Koenig & Bauer AG
Comments: Fourth Workshop on Controlled Natural Language (CNL 2014)
Subjects: Computation and Language (cs.CL)
[501]  arXiv:1406.3461 [pdf]
Title: Clifford Type Algebra Characteristics Investigation
Comments: 7 pages, 5 figures
Subjects: Numerical Analysis (math.NA)
[502]  arXiv:1406.3466 [pdf, ps, other]
Title: On the Linear Programming Bound for Lee-codes
Subjects: Information Theory (cs.IT)
[503]  arXiv:1406.3474 [pdf, other]
Title: Heterogeneous Multi-task Learning for Human Pose Estimation with Deep Convolutional Neural Network
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)
[504]  arXiv:1406.3478 [pdf, other]
Title: Multiparty Sessions based on Proof Nets
Authors: Dimitris Mostrous (LaSIGE, Faculty of Sciences, University of Lisbon)
Comments: In Proceedings PLACES 2014, arXiv:1406.3313
Journal-ref: EPTCS 155, 2014, pp. 1-8
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[505]  arXiv:1406.3479 [pdf, ps, other]
Title: Sessions as Propositions
Authors: Sam Lindley (The University of Edinburgh), J. Garrett Morris (The University of Edinburgh)
Comments: In Proceedings PLACES 2014, arXiv:1406.3313
Journal-ref: EPTCS 155, 2014, pp. 9-16
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)
[506]  arXiv:1406.3480 [pdf, other]
Title: Towards Reversible Sessions
Authors: Francesco Tiezzi (IMT Institute for Advanced Studies, Lucca, Italy), Nobuko Yoshida (Imperial College, London, U.K.)
Comments: In Proceedings PLACES 2014, arXiv:1406.3313
Journal-ref: EPTCS 155, 2014, pp. 17-24
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[507]  arXiv:1406.3481 [pdf, ps, other]
Title: Session Types for Broadcasting
Authors: Dimitrios Kouzapas (University of Glasgow), Ramūnas Gutkovas (Uppsala University), Simon J. Gay (University of Glasgow)
Comments: In Proceedings PLACES 2014, arXiv:1406.3313
Journal-ref: EPTCS 155, 2014, pp. 25-31
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[508]  arXiv:1406.3482 [pdf, other]
Title: Multiparty Session Actors
Authors: Rumyana Neykova (Imperial College London), Nobuko Yoshida (Imperial College London)
Comments: In Proceedings PLACES 2014, arXiv:1406.3313
Journal-ref: EPTCS 155, 2014, pp. 32-37
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[509]  arXiv:1406.3483 [pdf, other]
Title: Lightening Global Types
Authors: Tzu-chun Chen (Dipartimento di Informatica, Universita' di Torino, Italy)
Comments: In Proceedings PLACES 2014, arXiv:1406.3313
Journal-ref: EPTCS 155, 2014, pp. 38-46
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)
[510]  arXiv:1406.3484 [pdf, ps, other]
Title: Verifying Parallel Loops with Separation Logic
Authors: Stefan Blom (University of Twente), Saeed Darabi (University of Twente), Marieke Huisman (University of Twente)
Comments: In Proceedings PLACES 2014, arXiv:1406.3313
Journal-ref: EPTCS 155, 2014, pp. 47-53
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[511]  arXiv:1406.3485 [pdf, ps, other]
Title: Towards Composable Concurrency Abstractions
Authors: Janwillem Swalens (Vrije Universiteit Brussel), Stefan Marr (Vrije Universiteit Brussel), Joeri De Koster (Vrije Universiteit Brussel), Tom Van Cutsem (Vrije Universiteit Brussel)
Comments: In Proceedings PLACES 2014, arXiv:1406.3313
Journal-ref: EPTCS 155, 2014, pp. 54-60
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[512]  arXiv:1406.3486 [pdf, ps, other]
Title: Session Type Isomorphisms
Authors: Mariangiola Dezani-Ciancaglini (Universita' di Torino), Luca Padovani (Universita' di Torino), Jovanka Pantovic (Univerzitet u Novom Sadu)
Comments: In Proceedings PLACES 2014, arXiv:1406.3313
Journal-ref: EPTCS 155, 2014, pp. 61-71
Subjects: Logic in Computer Science (cs.LO)
[513]  arXiv:1406.3495 [pdf]
Title: A Novel Scheme to improve spectrum sensing performance
Comments: 8 pages,International Journal of Computer network and communication (IJCNC), 2014
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[514]  arXiv:1406.3496 [pdf, other]
Title: EigenEvent: An Algorithm for Event Detection from Complex Data Streams in Syndromic Surveillance
Comments: To appear in Intelligent Data Analysis Journal, vol. 19(3), 2015
Journal-ref: PP. 597-616, Vol. 19, No. 3, June 2015, Intelligent Data Analysis
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Applications (stat.AP)
[515]  arXiv:1406.3497 [pdf, other]
Title: Multi-objective Reinforcement Learning with Continuous Pareto Frontier Approximation Supplementary Material
Comments: AAAI-15 Supplement. Updated upon acceptance at the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-15)
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[516]  arXiv:1406.3499 [pdf, other]
Title: Boundary Element Analysis with trimmed NURBS and a generalized IGA approach
Comments: 11 pages, 10 figures
Subjects: Numerical Analysis (math.NA)
[517]  arXiv:1406.3506 [pdf, other]
Title: Eigenspace Method for Spatiotemporal Hotspot Detection
Comments: To appear in Expert Systems Journal
Subjects: Artificial Intelligence (cs.AI); Applications (stat.AP)
[518]  arXiv:1406.3512 [pdf, other]
Title: On largest volume simplices and sub-determinants
Subjects: Computational Geometry (cs.CG)
[519]  arXiv:1406.3514 [pdf, ps, other]
Title: Limits of CSP Problems and Efficient Parameter Testing
Comments: 58 pages
Subjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO); Probability (math.PR)
[520]  arXiv:1406.3550 [pdf]
Title: Energy efficient neighbor selection for flat wireless sensor networks
Comments: 7 pages, 5 figures, 1 table,WiMON 2014 conference proceedings, may 24-25
Subjects: Networking and Internet Architecture (cs.NI); Computers and Society (cs.CY)
[521]  arXiv:1406.3554 [pdf]
Title: Methodological Societies
Authors: Ammar Lahlouhi
Comments: International Journal in Foundations of Computer Science & Technology (IJFCST), Vol.4, No.3, May 2014
Subjects: Software Engineering (cs.SE)
[522]  arXiv:1406.3561 [pdf, other]
Title: When relevance is not Enough: Promoting Visual Attractiveness for Fashion E-commerce
Subjects: Human-Computer Interaction (cs.HC)
[523]  arXiv:1406.3567 [pdf]
Title: Simulation of Pedestrian Movements Using Fine Grid Cellular Automata Model
Subjects: Other Computer Science (cs.OH)
[524]  arXiv:1406.3582 [pdf]
Title: Compressed Sensing Applied to Weather Radar
Comments: 4 pages, 5 figrues
Subjects: Information Theory (cs.IT)
[525]  arXiv:1406.3583 [pdf, other]
Title: Representing Network Trust and Using It to Improve Anonymous Communication
Comments: 24 pages; talk to be presented at HotPETs 2014
Subjects: Cryptography and Security (cs.CR)
[526]  arXiv:1406.3597 [pdf, other]
Title: An $H_{n/2}$ Upper Bound on the Price of Stability of Undirected Network Design Games
Subjects: Computer Science and Game Theory (cs.GT)
[527]  arXiv:1406.3602 [pdf]
Title: An Educational Fuzzy-based Control platform using LEGO Robots
Journal-ref: International Journal of Electrical Engineering Education, Volume 50, Number 2 (April 2013), Manchester University Press, pp. 157-171
Subjects: Robotics (cs.RO)
[528]  arXiv:1406.3617 [pdf, ps, other]
Title: Reconstruction/Non-reconstruction Thresholds for Colourings of General Galton-Watson Trees
Subjects: Discrete Mathematics (cs.DM)
[529]  arXiv:1406.3619 [pdf, other]
Title: On the MIMO Capacity with Residual Transceiver Hardware Impairments
Comments: Accepted for publication at the IEEE International Conference on Communications (ICC 2014), 7 pages, 6 figures
Subjects: Information Theory (cs.IT)
[530]  arXiv:1406.3638 [pdf, other]
Title: Impact of Residual Transmit RF Impairments on Training-Based MIMO Systems
Comments: Accepted for publication at the IEEE International Conference on Communications (ICC 2014), 6 pages, 5 figures
Subjects: Information Theory (cs.IT)
[531]  arXiv:1406.3655 [pdf, ps, other]
Title: Trading off Worst and Expected Cost in Decision Tree Problems and a Value Dependent Model
Comments: arXiv admin note: substantial text overlap with arXiv:1309.2796
Subjects: Data Structures and Algorithms (cs.DS)
[532]  arXiv:1406.3661 [pdf, ps, other]
Title: Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce
Comments: 16 pages, 6 figures, Extended version of the SEFM 2014 paper
Subjects: Software Engineering (cs.SE)
[533]  arXiv:1406.3663 [pdf, other]
Title: Analysis of networking characteristics of different personality types
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[534]  arXiv:1406.3671 [pdf, other]
Title: Max-min Fair Rate Allocation and Routing in Energy Harvesting Networks: Algorithmic Analysis
Comments: Full version of the paper published at ACM MobiHoc'14
Subjects: Networking and Internet Architecture (cs.NI); Data Structures and Algorithms (cs.DS)
[535]  arXiv:1406.3672 [pdf, other]
Title: Deterministic polynomial factoring under the assumption of the Extended Riemann Hypothesis (ERH)
Authors: Aurko Roy
Comments: Master's Thesis
Subjects: Discrete Mathematics (cs.DM)
[536]  arXiv:1406.3676 [pdf, other]
Title: Question Answering with Subgraph Embeddings
Subjects: Computation and Language (cs.CL)
[537]  arXiv:1406.3682 [pdf, other]
Title: Emerging Phishing Trends and Effectiveness of the Anti-Phishing Landing Page
Subjects: Computers and Society (cs.CY)
[538]  arXiv:1406.3687 [pdf, other]
Title: bit.ly/malicious: Deep Dive into Short URL based e-Crime Detection
Comments: arXiv admin note: substantial text overlap with arXiv:1405.1511
Subjects: Cryptography and Security (cs.CR)
[539]  arXiv:1406.3692 [pdf, other]
Title: Analyzing Social and Stylometric Features to Identify Spear phishing Emails
Comments: Detection of spear phishing using social media features
Subjects: Computers and Society (cs.CY); Machine Learning (cs.LG); Social and Information Networks (cs.SI)
[540]  arXiv:1406.3693 [pdf]
Title: Channel Modeling of Human Somatosensory Nanonetwork: Body Discriminative Touch and Proprioception Perspective
Comments: 11 pages, 6 figures
Journal-ref: International Journal on Computer Science and Engineering, Vol. 5 No. 10, pp. 874-884, Oct 2013
Subjects: Emerging Technologies (cs.ET)
[541]  arXiv:1406.3699 [pdf, ps, other]
Title: Distributed Versioned Object Storage -- Alternatives at the OSD layer (Poster Extended Abstract)
Comments: 2 pages, 2 tables, poster extended abstract, HPDC '14, The ACM International Symposium on High-Performance Parallel and Distributed Computing
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[542]  arXiv:1406.3700 [pdf, ps, other]
Title: The Parameterized Complexity of k-Biclique
Authors: Bingkai Lin
Subjects: Computational Complexity (cs.CC)
[543]  arXiv:1406.3714 [pdf]
Title: Mining of product reviews at aspect level
Journal-ref: International Journal in Foundations of Computer Science & Technology (IJFCST), Vol.4, No.3, May 2014
Subjects: Computation and Language (cs.CL); Information Retrieval (cs.IR)
[544]  arXiv:1406.3715 [pdf, ps, other]
Title: Fourier spectra of measures associated with algorithmically random Brownian motion
Authors: Willem Louw Fouché (University of South Africa), Safari Mukeru (University of South Africa), George Davie (University of South Africa)
Comments: 24 pages
Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 3 (September 12, 2014) lmcs:819
Subjects: Computational Complexity (cs.CC)
[545]  arXiv:1406.3726 [pdf, ps, other]
Title: Evaluation of Machine Learning Techniques for Green Energy Prediction
Authors: Ankur Sahai
Subjects: Machine Learning (cs.LG)
[546]  arXiv:1406.3727 [pdf]
Title: A methodology to identify the level of reuse using template factors
Comments: arXiv admin note: text overlap with arXiv:1203.1328, arXiv:1207.4938, arXiv:1202.5609
Subjects: Software Engineering (cs.SE)
[547]  arXiv:1406.3728 [pdf]
Title: Component Based Software Development: A State of Art
Subjects: Software Engineering (cs.SE)
[548]  arXiv:1406.3753 [pdf, ps, other]
Title: BER Analysis of Multi-Cellular MIMO Systems with Increasing Number of BS Antennas
Comments: 8 pages, 5 figures, under submission (journal)
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[549]  arXiv:1406.3781 [pdf, other]
Title: From Stochastic Mixability to Fast Rates
Comments: 21 pages, accepted to NIPS 2014
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[550]  arXiv:1406.3790 [pdf, ps, other]
Title: High Performance Network-on-Chips (NoCs) Design: Performance Modeling, Routing Algorithm and Architecture Optimization
Authors: Zhiliang Qian
Comments: A Ph.D. thesis of Zhiliang Qian in the Hong Kong University of Science and Technology; Thesis supervisor: Prof. Chi-Ying Tsui
Subjects: Other Computer Science (cs.OH)
[551]  arXiv:1406.3792 [pdf]
Title: Interval Forecasting of Electricity Demand: A Novel Bivariate EMD-based Support Vector Regression Modeling Framework
Subjects: Machine Learning (cs.LG); Applications (stat.AP)
[552]  arXiv:1406.3793 [pdf]
Title: Neural tuning size is a key factor underlying holistic face processing
Subjects: Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Neural and Evolutionary Computing (cs.NE); Neurons and Cognition (q-bio.NC)
[553]  arXiv:1406.3812 [pdf, other]
Title: Hadwiger number of graphs with small chordality
Subjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
[554]  arXiv:1406.3816 [pdf, other]
Title: Simultaneous Model Selection and Optimization through Parameter-free Stochastic Learning
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[555]  arXiv:1406.3830 [pdf, other]
Title: Modelling, Visualising and Summarising Documents with a Single Convolutional Neural Network
Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Machine Learning (stat.ML)
[556]  arXiv:1406.3838 [pdf, other]
Title: A fast 25/6-approximation for the minimum unit disk cover problem
Authors: Paul Liu, Daniel Lu
Comments: 5 pages, 4 figures
Subjects: Computational Geometry (cs.CG)
[557]  arXiv:1406.3840 [pdf, ps, other]
Title: Optimal Resource Allocation with Semi-Bandit Feedback
Comments: 12 pages
Subjects: Machine Learning (cs.LG)
[558]  arXiv:1406.3848 [pdf]
Title: Smartphone sensing platform for emergency management
Comments: 11th International Conference on Information Systems for Crisis Response and Management ISCRAM2014 (2014)
Subjects: Computers and Society (cs.CY); Multiagent Systems (cs.MA)
[559]  arXiv:1406.3860 [pdf, other]
Title: The Minimum Bends in a Polyline Drawing with Fixed Vertex Locations
Authors: Taylor Gordon
Comments: 12 pages, 5 figures
Subjects: Computational Geometry (cs.CG); Combinatorics (math.CO)
[560]  arXiv:1406.3861 [pdf, ps, other]
Title: Successive Optimization Tomlinson-Harashima Precoding Strategies for Physical-Layer Security in Wireless Networks
Comments: 7 figures, 6 pages, ITS, 2014
Subjects: Information Theory (cs.IT)
[561]  arXiv:1406.3870 [pdf]
Title: An Anti_Turing Test: Reduced Variables for Social Network Friends' Recommendations
Comments: 11 pages, 4 figures, Extended version of paper originally published in the SKY International Workshop on Software Knowledge, September 2013
Subjects: Information Retrieval (cs.IR); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[562]  arXiv:1406.3876 [pdf, other]
Title: Bringing Web Time Travel to MediaWiki: An Assessment of the Memento MediaWiki Extension
Comments: 23 pages, 18 figures, 9 tables, 17 listings
Subjects: Digital Libraries (cs.DL)
[563]  arXiv:1406.3877 [pdf, other]
Title: Argument Ranking with Categoriser Function
Subjects: Artificial Intelligence (cs.AI)
[564]  arXiv:1406.3882 [pdf, ps, other]
Title: Eclipse Hashing: Alexandrov Compactification and Hashing with Hyperspheres for Fast Similarity Search
Comments: 10 pages, 11 figures
Subjects: Information Retrieval (cs.IR)
[565]  arXiv:1406.3884 [pdf, other]
Title: Learning An Invariant Speech Representation
Comments: CBMM Memo No. 022, 5 pages, 2 figures
Subjects: Sound (cs.SD); Machine Learning (cs.LG)
[566]  arXiv:1406.3889 [pdf, ps, other]
Title: Comments on "A New Method to Compute the 2-Adic Complexity of Binary Sequences"
Authors: Honggang Hu
Subjects: Information Theory (cs.IT)
[567]  arXiv:1406.3895 [pdf, ps, other]
Title: The Laplacian K-modes algorithm for clustering
Comments: 14 pages, 6 figures
Subjects: Machine Learning (cs.LG); Methodology (stat.ME); Machine Learning (stat.ML)
[568]  arXiv:1406.3901 [pdf]
Title: OS4M: Achieving Global Load Balance of MapReduce Workload by Scheduling at the Operation Level
Comments: arXiv admin note: substantial text overlap with arXiv:1401.0355
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[569]  arXiv:1406.3906 [pdf, other]
Title: Human-Machine CRFs for Identifying Bottlenecks in Holistic Scene Understanding
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[570]  arXiv:1406.3915 [pdf]
Title: A Bengali HMM Based Speech Synthesis System
Journal-ref: Oriental COCOSDA 2012, pp.225 259
Subjects: Sound (cs.SD); Computation and Language (cs.CL); Multimedia (cs.MM)
[571]  arXiv:1406.3922 [src]
Title: Personalized Medical Treatments Using Novel Reinforcement Learning Algorithms
Comments: This paper has been withdrawn by the author. Some of the work was taken from the work of Dr. Yair Goldberg and Dr. Michael R. Kosorok and they have requested for the paper to be withdrawn. arXiv admin note: v1 had substantial text overlap with arXiv:1202.5130, arXiv:1205.6659; and text overlap with arXiv:1301.2158 by other authors without attribution
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[572]  arXiv:1406.3926 [pdf, other]
Title: Bayesian Optimal Control of Smoothly Parameterized Systems: The Lazy Posterior Sampling Algorithm
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[573]  arXiv:1406.3943 [pdf]
Title: Cryptanalysis of Cryptanalysis and Improvement of Yan et al Biometric-Based Authentication Scheme for TMIS
Comments: arXiv admin note: text overlap with arXiv:1309.4944 by other authors
Subjects: Cryptography and Security (cs.CR)
[574]  arXiv:1406.3949 [pdf]
Title: A Fusion of Labeled-Grid Shape Descriptors with Weighted Ranking Algorithm for Shapes Recognition
Journal-ref: World Applied Sciences Journal, vol. 31(6), pp. 1207-1213, 2014
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[575]  arXiv:1406.3954 [pdf, other]
Title: Design and Performance Analysis of a Non-Standard EPICS Fast Controller
Comments: This is the extended version of the Conference Record presented in the IEEE Real-Time Conference 2014, Nara, Japan. This paper has been submitted to the IEEE Transactions on Nuclear Science
Subjects: Systems and Control (eess.SY); Instrumentation and Detectors (physics.ins-det)
[576]  arXiv:1406.3969 [pdf]
Title: Translation Of Telugu-Marathi and Vice-Versa using Rule Based Machine Translation
Comments: 13 pages, Fourth International Conference on Advances in Computing and Information Technology (ACITY 2014) Delhi, India - May 2014
Subjects: Computation and Language (cs.CL)
[577]  arXiv:1406.3974 [pdf, other]
Title: Subword complexity and decomposition of the set of factors
Comments: The final publication will be available in the Springer proceedings of MFCS 2014
Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM)
[578]  arXiv:1406.3976 [pdf, ps, other]
Title: Handling non-compositionality in multilingual CNLs
Comments: CNL workshop in COLING 2014
Subjects: Computation and Language (cs.CL)
[579]  arXiv:1406.3987 [pdf, ps, other]
Title: Towards an Error Correction Memory to Enhance Technical Texts Authoring in LELIE
Comments: 10 pages
Subjects: Computation and Language (cs.CL)
[580]  arXiv:1406.3988 [pdf, ps, other]
Title: CTL+FO Verification as Constraint Solving
Subjects: Logic in Computer Science (cs.LO)
[581]  arXiv:1406.4005 [pdf, other]
Title: Maintaining Contour Trees of Dynamic Terrains
Subjects: Computational Geometry (cs.CG)
[582]  arXiv:1406.4007 [pdf]
Title: Impact of Exponent Parameter Value for the Partition Matrix on the Performance of Fuzzy C Means Algorithm
Comments: 5 pages,8 figures, 2 tables, Soft clustering, Fuzzy C Means. IJSRCSAMS, Volume 3, Issue 3, May 2014
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[583]  arXiv:1406.4011 [pdf, ps, other]
Title: Mobile Communication Systems in the Presence of Fading/Shadowing, Noise and Interference
Subjects: Information Theory (cs.IT)
[584]  arXiv:1406.4020 [pdf, ps, other]
Title: Community-driven reviewing and validation of publications
Authors: Grigori Fursin (INRIA Saclay - Ile de France), Christophe Dubach (ICSA)
Subjects: Digital Libraries (cs.DL)
[585]  arXiv:1406.4047 [pdf, other]
Title: Robot Impedance Control and Passivity Analysis with Inner Torque and Velocity Feedback Loops
Comments: 14 pages in Control Theory and Technology (2016)
Subjects: Systems and Control (eess.SY); Robotics (cs.RO)
[586]  arXiv:1406.4048 [pdf, other]
Title: Quantum finite automata: A modern introduction
Comments: 15 pages
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Quantum Physics (quant-ph)
[587]  arXiv:1406.4053 [pdf, ps, other]
Title: Crypto-Book: Bootstrapping Privacy Preserving Online Identities from Social Networks
Comments: 9 figures
Subjects: Cryptography and Security (cs.CR)
[588]  arXiv:1406.4056 [pdf, other]
Title: Counting perfect matchings in graphs that exclude a single-crossing minor
Authors: Radu Curticapean
Comments: 7 pages, 2 figures
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[589]  arXiv:1406.4057 [pdf, other]
Title: Embedded Controlled Languages
Authors: Aarne Ranta
Comments: 7 pages, extended abstract, preprint for CNL 2014 in Galway
Subjects: Computation and Language (cs.CL)
[590]  arXiv:1406.4067 [pdf, other]
Title: Automatic Channel Fault Detection and Diagnosis System for a Small Animal APD-Based Digital PET Scanner
Comments: Results presented at 19th IEEE Real-Time conference
Subjects: Artificial Intelligence (cs.AI); Nuclear Experiment (nucl-ex)
[591]  arXiv:1406.4075 [pdf, ps, other]
Title: Regular Interval Exchange Transformations over a Quadratic Field
Authors: Francesco Dolce
Comments: 13 pages, 5 figures. arXiv admin note: substantial text overlap with arXiv:1305.0120
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[592]  arXiv:1406.4077 [pdf, ps, other]
Title: Joint Empirical Coordination of Source and Channel
Authors: Maël Le Treust
Comments: accepted to IEEE Trans. on IT
Subjects: Information Theory (cs.IT)
[593]  arXiv:1406.4086 [pdf]
Title: Social media as political party campaign in Indonesia
Comments: 10 pages
Journal-ref: Jurnal Ilmiah MATRIK, vol. 16, pp. 1-10, 2014
Subjects: Computers and Society (cs.CY)
[594]  arXiv:1406.4087 [pdf, ps, other]
Title: Java Modular Extension for Operator Overloading
Authors: Artem Melentyev
Comments: International Journal of Programming Languages and Applications, Volume 4, Number 2, (2014)
Subjects: Programming Languages (cs.PL)
[595]  arXiv:1406.4106 [pdf, ps, other]
Title: Beautiful Structures: An Appreciation of the Contributions of Alan Selman
Comments: This article will appear, in slightly different form, in the Complexity Theory Column of the September 2014 issue of SIGACT News
Subjects: Computational Complexity (cs.CC)
[596]  arXiv:1406.4110 [pdf]
Title: Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
Journal-ref: Journal Of Artificial Intelligence Research, Volume 47, pages 741-808, 2013
Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI)
[597]  arXiv:1406.4112 [pdf, other]
Title: Semantic Graph for Zero-Shot Learning
Comments: 9 pages, 5 figures
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
[598]  arXiv:1406.4123 [pdf]
Title: A strategy to identify components using clustering approach for component reusability
Comments: arXiv admin note: substantial text overlap with arXiv:1207.4938, arXiv:1202.5609, arXiv:1406.3727
Subjects: Software Engineering (cs.SE)
[599]  arXiv:1406.4125 [pdf, other]
Title: Joint Cooperative Spectrum Sensing and MAC Protocol Design for Multi-channel Cognitive Radio Networks
Comments: accepted for publication EURASIP Journal on Wireless Communications and Networking, 2014
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[600]  arXiv:1406.4161 [pdf, ps, other]
Title: Matching MEDLINE/PubMed Data with Web of Science (WoS): A Routine in R language
Subjects: Digital Libraries (cs.DL)
[601]  arXiv:1406.4162 [pdf]
Title: Band-Sweeping M-ary PSK (BS-M-PSK) Modulation and Transceiver Design
Authors: Ahmed M. Alaa
Comments: To appear in IEEE Potentials Magazine
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[602]  arXiv:1406.4173 [pdf, other]
Title: A Divide-and-Conquer Algorithm for Betweenness Centrality
Comments: Shorter version of this paper appeared in Siam Data Mining 2015
Subjects: Data Structures and Algorithms (cs.DS)
[603]  arXiv:1406.4175 [pdf, other]
Title: From Denoising to Compressed Sensing
Subjects: Information Theory (cs.IT); Statistics Theory (math.ST); Machine Learning (stat.ML)
[604]  arXiv:1406.4197 [pdf, ps, other]
Title: Scaled pier fractals do not strictly self-assemble
Subjects: Computational Geometry (cs.CG)
[605]  arXiv:1406.4200 [pdf, other]
Title: Lifted Tree-Reweighted Variational Inference
Comments: In: UAI (Uncertainty in Artificial Intelligence) 2014
Subjects: Artificial Intelligence (cs.AI); Machine Learning (stat.ML)
[606]  arXiv:1406.4203 [pdf, other]
Title: Construction of non-convex polynomial loss functions for training a binary classifier with quantum annealing
Comments: 15 pages, 6 figures
Subjects: Machine Learning (cs.LG); Quantum Physics (quant-ph)
[607]  arXiv:1406.4211 [pdf, other]
Title: Mapping the Economic Crisis: Some Preliminary Investigations
Comments: Technical paper describing the Lattice submission to the 2014 PoliInformatics Unshared task
Subjects: Computation and Language (cs.CL)
[608]  arXiv:1406.4212 [pdf, ps, other]
Title: Number of minimal cyclic codes with given length and dimension
Subjects: Information Theory (cs.IT)
[609]  arXiv:1406.4216 [pdf, other]
Title: Person Re-identification by Local Maximal Occurrence Representation and Metric Learning
Comments: This paper has been accepted by CVPR 2015. For source codes and extracted features please visit this http URL
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[610]  arXiv:1406.4235 [pdf, other]
Title: Distributed Scheduling Algorithms for Crosspoint-Buffered Switches
Comments: arXiv admin note: substantial text overlap with arXiv:1112.4214
Subjects: Networking and Internet Architecture (cs.NI)
[611]  arXiv:1406.4237 [pdf]
Title: An Evolutionary Approach for Optimal Citing and Sizing of Micro-Grid in Radial Distribution Systems
Journal-ref: J.Eswari , Dr.S.Jeyadevi. "An Evolutionary Approach for Optimal Citing and Sizing of Micro-Grid in Radial Distribution Systems", International Journal of Engineering Trends and Technology (IJETT), V11(9),429-433 May 2014
Subjects: Neural and Evolutionary Computing (cs.NE)
[612]  arXiv:1406.4249 [pdf, ps, other]
Title: Discounting in LTL
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[613]  arXiv:1406.4259 [pdf, ps, other]
Title: TCP-like molecular communications
Comments: Accepted for publication, IEEE Journal on Selected Areas in Communications, 2014
Subjects: Emerging Technologies (cs.ET); Networking and Internet Architecture (cs.NI)
[614]  arXiv:1406.4277 [pdf, other]
Title: Constructions of Optimal and Almost Optimal Locally Repairable Codes
Comments: 5 pages, conference
Journal-ref: 2014 VITAE (Aalborg), pages 1-5
Subjects: Information Theory (cs.IT)
[615]  arXiv:1406.4285 [pdf]
Title: C-sanitized: a privacy model for document redaction and sanitization
Comments: in Journal of the Association for Information Science and Technology, 2015
Journal-ref: Journal of the Association for Information Science and Technology, Volume 67, Issue 1 (2016)
Subjects: Cryptography and Security (cs.CR)
[616]  arXiv:1406.4286 [pdf, other]
Title: Broker Bots: Analyzing automated activity during High Impact Events on Twitter
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[617]  arXiv:1406.4287 [pdf]
Title: Identifying roles of clinical pharmacy with survey evaluation
Subjects: Artificial Intelligence (cs.AI); Applications (stat.AP)
[618]  arXiv:1406.4291 [pdf, ps, other]
Title: Vector Clocks in Coq: An Experience Report
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL); Software Engineering (cs.SE)
[619]  arXiv:1406.4296 [pdf, other]
Title: Self-Learning Camera: Autonomous Adaptation of Object Detectors to Unlabeled Video Streams
Authors: Adrien Gaidon (Xerox Research Center Europe, France), Gloria Zen (University of Trento, Italy), Jose A. Rodriguez-Serrano (Xerox Research Center Europe, France)
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
[620]  arXiv:1406.4311 [pdf, other]
Title: Sparse Estimation with the Swept Approximated Message-Passing Algorithm
Comments: 11 pages, 3 figures, implementation available at this https URL
Journal-ref: Proceedings of the 32nd International Conference on Machine Learning (ICML), 2015, 1123-1132
Subjects: Information Theory (cs.IT); Disordered Systems and Neural Networks (cond-mat.dis-nn); Data Analysis, Statistics and Probability (physics.data-an); Machine Learning (stat.ML)
[621]  arXiv:1406.4324 [pdf]
Title: Towards a theory of granular sets
Comments: 6 pages
Subjects: Artificial Intelligence (cs.AI)
[622]  arXiv:1406.4328 [pdf, ps, other]
Title: Stable Recovery of Sparse Signals via $l_p-$Minimization
Subjects: Information Theory (cs.IT)
[623]  arXiv:1406.4331 [pdf]
Title: The dark side of Open Access in Google and Google Scholar: the case of Latin-American repositories
Comments: 16 pages, 6 tables
Subjects: Digital Libraries (cs.DL)
[624]  arXiv:1406.4335 [pdf, ps, other]
Title: Improved Bounds on the Restricted Isometry Constant for Orthogonal Matching Pursuit
Comments: Electronic Letters, 2013
Subjects: Information Theory (cs.IT)
[625]  arXiv:1406.4380 [pdf, ps, other]
Title: Entropy compression method applied to graph colorings
Comments: 33 pages
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[626]  arXiv:1406.4392 [pdf, other]
Title: Modeling and Control of High-Voltage Direct-Current Transmission Systems: From Theory to Practice and Back
Subjects: Systems and Control (eess.SY)
[627]  arXiv:1406.4395 [pdf, other]
Title: On MITL and alternating timed automata over infinite words
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[628]  arXiv:1406.4399 [pdf, other]
Title: Dynamic Routing for Flying Ad Hoc Networks
Comments: Submitted to the IEEE Transactions on Vehicular Technology
Subjects: Networking and Internet Architecture (cs.NI)
[629]  arXiv:1406.4425 [pdf, ps, other]
Title: Z2Z4-additive cyclic codes, generator polynomials and dual codes
Subjects: Discrete Mathematics (cs.DM); Information Theory (cs.IT)
[630]  arXiv:1406.4426 [pdf]
Title: The number system hidden inside the Boolean satisfiability problem
Authors: Keum-Bae Cho
Comments: 15 pages, 9 figures
Subjects: Computational Complexity (cs.CC); Logic (math.LO)
[631]  arXiv:1406.4444 [pdf, other]
Title: PRISM: Person Re-Identification via Structured Matching
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Machine Learning (stat.ML)
[632]  arXiv:1406.4447 [pdf, other]
Title: Automatic Fado Music Classification
Comments: 4 pages, 1 figure, 5 tables
Subjects: Sound (cs.SD); Artificial Intelligence (cs.AI)
[633]  arXiv:1406.4448 [pdf, other]
Title: Stability Region of a Slotted Aloha Network with K-Exponential Backoff
Comments: 30 pages, 6 figures
Subjects: Networking and Internet Architecture (cs.NI)
[634]  arXiv:1406.4454 [pdf, other]
Title: An Improved Approximation Algorithm for the Hard Uniform Capacitated k-median Problem
Authors: Shanfei Li
Comments: 19 pages, 1 figure
Subjects: Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)
[635]  arXiv:1406.4458 [pdf, ps, other]
Title: Teaching Software Engineering through Robotics
Subjects: Computers and Society (cs.CY); Robotics (cs.RO)
[636]  arXiv:1406.4462 [pdf]
Title: Soccer League Optimization: A heuristic Algorithm Inspired by the Football System in European Countries
Authors: Erfan Khaji
Comments: 6 Pages, 12 Figures, 4 Tables, Accepted in GEM 2014, but rejected due to lack of money
Subjects: Artificial Intelligence (cs.AI)
[637]  arXiv:1406.4463 [pdf, ps, other]
Title: Improving Energy Efficiency of MPTCP for Mobile Devices
Comments: Submitted to ACM CoNEXT'14
Subjects: Networking and Internet Architecture (cs.NI)
[638]  arXiv:1406.4465 [pdf, ps, other]
Title: Multi-stage Multi-task feature learning via adaptive threshold
Authors: Yaru Fan, Yilun Wang
Comments: 13 pages,12 figures. arXiv admin note: text overlap with arXiv:1210.5806 by other authors
Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (stat.ML)
[639]  arXiv:1406.4469 [pdf, other]
Title: Authorship Attribution through Function Word Adjacency Networks
Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Machine Learning (stat.ML)
[640]  arXiv:1406.4472 [pdf, ps, other]
Title: Notes on hierarchical ensemble methods for DAG-structured taxonomies
Comments: 12 pages, 3 figures. Typos corrected. Modified title and abstract. Added references and some changes
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Machine Learning (stat.ML)
[641]  arXiv:1406.4473 [pdf, ps, other]
Title: Structural index reduction algorithms for differential algebraic equations via fixed-point iteration
Comments: 19 pages
Subjects: Numerical Analysis (math.NA)
[642]  arXiv:1406.4484 [pdf]
Title: Block matching algorithm based on Harmony Search optimization for motion estimation
Authors: Erik Cuevas
Comments: 25 Pages. arXiv admin note: substantial text overlap with arXiv:1405.4721
Journal-ref: Applied Intelligence, 39 (1), (2013), pp. 165-183
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[643]  arXiv:1406.4491 [pdf, other]
Title: Quasi-optimal grouping for broadcast systems with hierarchical modulation
Comments: Submitted
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[644]  arXiv:1406.4516 [pdf]
Title: Classification of Attacks in Wireless Sensor Networks
Comments: International Congress on Telecommunication and Application 2014
Subjects: Cryptography and Security (cs.CR)
[645]  arXiv:1406.4518 [pdf]
Title: A Heuristic Method to Generate Better Initial Population for Evolutionary Methods
Subjects: Neural and Evolutionary Computing (cs.NE)
[646]  arXiv:1406.4542 [pdf, ps, other]
Title: Computing and Using Metrics in the ADS
Comments: to appear in proceedings of LISA VII conference, Naples, Italy
Subjects: Digital Libraries (cs.DL); Instrumentation and Methods for Astrophysics (astro-ph.IM)
[647]  arXiv:1406.4547 [pdf, other]
Title: Higher-order CIS codes
Comments: 13 pages; 1 figure
Subjects: Information Theory (cs.IT); Combinatorics (math.CO)
[648]  arXiv:1406.4548 [pdf, ps, other]
Title: Implementing an Optimal Rate Allocation Tuned to the User Quality of Experience
Subjects: Networking and Internet Architecture (cs.NI)
[649]  arXiv:1406.4566 [pdf, ps, other]
Title: Guaranteed Scalable Learning of Latent Tree Models
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[650]  arXiv:1406.4567 [pdf, ps, other]
Title: Two Boolean functions with five-valued Walsh spectra and high nonlinearity
Authors: Xiwang Cao, Lei Hu
Comments: 18 pages
Subjects: Information Theory (cs.IT)
[651]  arXiv:1406.4575 [pdf, ps, other]
Title: State of Büchi Complementation
Authors: Ming-Hsien Tsai (National Taiwan University), Seth Fogarty (Trinity University), Moshe Y. Vardi (Rice University), Yih-Kuen Tsay (National Taiwan University)
Comments: 28 pages, 4 figures, a preliminary version of this paper appeared in the Proceedings of the 15th International Conference on Implementation and Application of Automata (CIAA)
Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 4 (December 18, 2014) lmcs:1059
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[652]  arXiv:1406.4600 [pdf, ps, other]
Title: Gröbner Bases for Linearized Polynomials
Subjects: Symbolic Computation (cs.SC); Information Theory (cs.IT); Rings and Algebras (math.RA)
[653]  arXiv:1406.4610 [pdf, ps, other]
Title: On the Achievable Rates of Pairwise Multiway Relay Channels
Comments: Extended version of "On the Achievable Rates of Pairwise Multiway Relay Channels" accepted for ISIT 2014
Subjects: Information Theory (cs.IT)
[654]  arXiv:1406.4619 [pdf, ps, other]
Title: A Generalized Markov-Chain Modelling Approach to $(1,λ)$-ES Linear Optimization: Technical Report
Authors: Alexandre Chotard (INRIA Saclay - Ile de France, LRI), Martin Holena
Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)
[655]  arXiv:1406.4620 [pdf, other]
Title: Multi-Objective Design Optimization of the Leg Mechanism for a Piping Inspection Robot
Authors: Renaud Henry (IRCCyN), Damien Chablat (IRCCyN), Mathieu Porez (IRCCyN), Frédéric Boyer (IRCCyN), Daniel Kanaan
Comments: Proceedings of the ASME 2014 International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference, Buffalo : United States (2014)
Subjects: Robotics (cs.RO)
[656]  arXiv:1406.4628 [pdf]
Title: An Efficient Synchronous Static Memory design for Embedded System
Comments: Embeddded system, International Journal of Computer Applications(2013)
Subjects: Hardware Architecture (cs.AR)
[657]  arXiv:1406.4631 [pdf, other]
Title: A Sober Look at Spectral Learning
Subjects: Machine Learning (cs.LG)
[658]  arXiv:1406.4641 [pdf]
Title: Comments on "A model-based design methodology for the development of mechatronic systems"
Comments: 6 pages
Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)
[659]  arXiv:1406.4648 [pdf, ps, other]
Title: Optimal Strategy Synthesis for Request-Response Games
Comments: The present paper is a revised version with simplified proofs of results announced in the conference paper of the same name presented at ATVA 2008, which in turn extended results of the third author's dissertation
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[660]  arXiv:1406.4679 [pdf, other]
Title: The Propagation Depth of Local Consistency
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[661]  arXiv:1406.4681 [pdf]
Title: Crypto multi tenant: an environment of secure computing using cloud sql
Comments: 9 pages, 5 figures, IEEE journals, connferences 2009,2010; springer
Subjects: Cryptography and Security (cs.CR)
[662]  arXiv:1406.4682 [pdf, ps, other]
Title: Exact Decoding on Latent Variable Conditional Models is NP-Hard
Authors: Xu Sun
Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Machine Learning (cs.LG)
[663]  arXiv:1406.4689 [pdf, ps, other]
Title: A Fast Simulation Method for the Sum of Subexponential Distributions
Subjects: Information Theory (cs.IT); Statistics Theory (math.ST)
[664]  arXiv:1406.4690 [pdf, ps, other]
Title: The Frobenius anatomy of word meanings II: possessive relative pronouns
Comments: 40 pages, Journal of Logic and Computation, Essays dedicated to Roy Dyckhoff on the occasion of his retirement, S. Graham-Lengrand and D. Galmiche (eds.), 2014
Subjects: Computation and Language (cs.CL); Category Theory (math.CT)
[665]  arXiv:1406.4692 [pdf, other]
Title: A Quality Framework for Agile Requirements: A Practitioner's Perspective
Subjects: Software Engineering (cs.SE)
[666]  arXiv:1406.4698 [pdf, ps, other]
Title: Classifying and Propagating Parity Constraints (extended version)
Subjects: Logic in Computer Science (cs.LO)
[667]  arXiv:1406.4701 [pdf]
Title: Comparative Study of MAC Layer Protocols in Wireless Sensor Networks: A Survey
Comments: 7 pages, 7 figures, "Published with International Journal of Engineering Trends and Technology (IJETT)"
Journal-ref: International Journal of Engineering Trends and Technology (IJETT), V12(1),13-19 June 2014. ISSN:2231-5381
Subjects: Networking and Internet Architecture (cs.NI)
[668]  arXiv:1406.4710 [pdf, other]
Title: Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture)
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Logic (math.LO)
[669]  arXiv:1406.4712 [pdf, ps, other]
Title: An algorithm for Boolean satisfiability based on generalized orthonormal expansion
Authors: Virendra Sule
Comments: 24 pages
Subjects: Data Structures and Algorithms (cs.DS); Logic (math.LO)
[670]  arXiv:1406.4718 [pdf, ps, other]
Title: Graph Isomorphism Parameterized by Elimination Distance to Bounded Degree
Comments: 19 pages
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)
[671]  arXiv:1406.4729 [pdf, other]
Title: Spatial Pyramid Pooling in Deep Convolutional Networks for Visual Recognition
Comments: This manuscript is the accepted version for IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI) 2015. See Changelog
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[672]  arXiv:1406.4736 [pdf, ps, other]
Title: Seek and Decode: Random Access with Physical-Layer Network Coding and Multiuser Detection
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[673]  arXiv:1406.4737 [pdf]
Title: Performance Evaluation of Incremental K-means Clustering Algorithm
Subjects: Information Retrieval (cs.IR); Databases (cs.DB)
[674]  arXiv:1406.4748 [pdf]
Title: A New Advanced User Authentication and Confidentiality Security Service
Subjects: Cryptography and Security (cs.CR)
[675]  arXiv:1406.4751 [pdf]
Title: Performance Comparison of Incremental K-means and Incremental DBSCAN Algorithms
Subjects: Databases (cs.DB); Information Retrieval (cs.IR)
[676]  arXiv:1406.4754 [pdf]
Title: Analysis and Study of Incremental DBSCAN Clustering Algorithm
Subjects: Databases (cs.DB); Information Retrieval (cs.IR)
[677]  arXiv:1406.4756 [pdf]
Title: Weather Forecasting using Incremental K-means Clustering
Subjects: Computers and Society (cs.CY)
[678]  arXiv:1406.4757 [pdf, other]
Title: An Experimental Evaluation of Nearest Neighbour Time Series Classification
Subjects: Machine Learning (cs.LG)
[679]  arXiv:1406.4770 [pdf]
Title: Mass Classification Method in Mammogram Using Fuzzy K-Nearest Neighbour Equality
Comments: 5 pages, 5 figures
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[680]  arXiv:1406.4773 [pdf, other]
Title: Deep Learning Face Representation by Joint Identification-Verification
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[681]  arXiv:1406.4775 [pdf, other]
Title: Non-negative Principal Component Analysis: Message Passing Algorithms and Sharp Asymptotics
Comments: 51 pages, 7 pdf figures
Subjects: Information Theory (cs.IT); Statistics Theory (math.ST)
[682]  arXiv:1406.4781 [pdf, ps, other]
Title: Predictive Modelling of Bone Age through Classification and Regression of Bone Shapes
Subjects: Machine Learning (cs.LG); Medical Physics (physics.med-ph)
[683]  arXiv:1406.4782 [pdf, ps, other]
Title: A General Framework for Well-Structured Graph Transformation Systems
Comments: Extended version (including proofs) of a paper accepted at CONCUR 2014
Subjects: Logic in Computer Science (cs.LO)
[684]  arXiv:1406.4785 [pdf, other]
Title: Technical Report: Performance of the Expected Force on AS-level Inernet topologies
Authors: Glenn Lawyer
Comments: 2 pages, 1 figure
Subjects: Networking and Internet Architecture (cs.NI)
[685]  arXiv:1406.4799 [pdf, ps, other]
Title: A tight bound on the speed-up through storage for quickest multi-commodity flows
Subjects: Data Structures and Algorithms (cs.DS)
[686]  arXiv:1406.4802 [pdf, ps, other]
Title: Homotopy based algorithms for $\ell_0$-regularized least-squares
Comments: 38 pages
Journal-ref: IEEE Transactions on Signal Processing, vol. 63, no. 13, Jul. 2015, pp. 3301-3316
Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)
[687]  arXiv:1406.4803 [pdf]
Title: Reorganization of Links to Improve User Navigation
Subjects: Human-Computer Interaction (cs.HC); Information Retrieval (cs.IR)
[688]  arXiv:1406.4812 [pdf, other]
Title: A benchmark generator for boolean quadratic programming
Authors: Xiaojun Zhou
Comments: 4 pages
Journal-ref: 2020 Chinese Automation Congress (CAC)
Subjects: Numerical Analysis (math.NA)
[689]  arXiv:1406.4822 [pdf, ps, other]
Title: Local Doubling Dimension of Point Sets
Comments: 13 pages
Subjects: Computational Geometry (cs.CG); Algebraic Topology (math.AT)
[690]  arXiv:1406.4823 [pdf, ps, other]
Title: Notions of Computation as Monoids
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)
[691]  arXiv:1406.4824 [src]
Title: What is India speaking: The "Hinglish" invasion
Comments: This paper has been withdrawan as the model has now been modified and the existing model has some errors
Subjects: Computation and Language (cs.CL); Dynamical Systems (math.DS)
[692]  arXiv:1406.4828 [pdf]
Title: Analyzing Traffic Problem Model With Graph Theory Algorithms
Authors: Yong Tan
Comments: 7 pages, 5 figures, Science and Information Conference (SAI), 2015
Subjects: Data Structures and Algorithms (cs.DS); Social and Information Networks (cs.SI); Combinatorics (math.CO)
[693]  arXiv:1406.4829 [pdf, ps, other]
Title: Single-Peaked Consistency for Weak Orders Is Easy
Authors: Zack Fitzsimmons (Rochester Institute of Technology)
Comments: In Proceedings TARK 2015, arXiv:1606.07295
Journal-ref: EPTCS 215, 2016, pp. 127-140
Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC); Multiagent Systems (cs.MA)
[694]  arXiv:1406.4837 [pdf, other]
Title: A Computational Study of Feasible Repackings in the FCC Incentive Auctions
Subjects: Computer Science and Game Theory (cs.GT)
[695]  arXiv:1406.4840 [pdf]
Title: Fast Trace Generation of Many-Core Embedded Systems with Native Simulation
Comments: Proceedings of HIP3ES Workshop, Vienna, January, 21st 2014
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[696]  arXiv:1406.4842 [pdf]
Title: A New Web Based Student Annual Review Information System (SARIS) With Student Success Prediction
Comments: 4 pages, 7 figures and 2 Tables
Journal-ref: International Journal of Computer Trends and Technology (IJCTT) V10(5):275-278 Apr 2014
Subjects: Computers and Society (cs.CY)
[697]  arXiv:1406.4844 [pdf, other]
Title: Beam-forming for Secure Communication in Amplify-and-Forward Networks: An SNR based approach
Subjects: Cryptography and Security (cs.CR)
[698]  arXiv:1406.4845 [pdf]
Title: Computer Vision Approach for Low Cost, High Precision Measurement of Grapevine Trunk Diameter in Outdoor Conditions
Comments: 10 pages, 5 figures
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[699]  arXiv:1406.4852 [pdf, ps, other]
Title: Outer bounds for exact repair codes
Authors: Iwan M. Duursma
Comments: 14 pages, 1 figure
Subjects: Information Theory (cs.IT)
[700]  arXiv:1406.4877 [pdf, ps, other]
Title: On the Application of Generic Summarization Algorithms to Music
Comments: 12 pages, 1 table; Submitted to IEEE Signal Processing Letters
Journal-ref: IEEE Signal Processing Letters, IEEE, vol. 22, n. 1, January 2015
Subjects: Information Retrieval (cs.IR); Machine Learning (cs.LG); Sound (cs.SD)
[701]  arXiv:1406.4879 [pdf]
Title: Automat Parsing of Audio Recordings. Testing Children with Dyslalia. Theoretical Background
Comments: 6 pages, 3 figures, in Romanian
Subjects: Computers and Society (cs.CY)
[702]  arXiv:1406.4881 [pdf]
Title: Architecture of a Fuzzy Expert System Used for Dyslalic Children Therapy
Comments: 8 pages, 3 figures
Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY)
[703]  arXiv:1406.4882 [pdf]
Title: Knowledge Base of an Expert System Used for Dyslalic Children Therapy
Comments: 4 pages, 11 figures
Subjects: Artificial Intelligence (cs.AI)
[704]  arXiv:1406.4905 [pdf, other]
Title: Variational Gaussian Process State-Space Models
Journal-ref: R. Frigola, Y. Chen and C. E. Rasmussen. Variational Gaussian Process State-Space Models, in Advances in Neural Information Processing Systems (NIPS), 2014
Subjects: Machine Learning (cs.LG); Robotics (cs.RO); Systems and Control (eess.SY); Machine Learning (stat.ML)
[705]  arXiv:1406.4917 [pdf, other]
Title: Max-Weight Scheduling and Quality-Aware Streaming for Device-to-Device Video Delivery
Comments: 2 pages, 1 figure, 1 table
Subjects: Networking and Internet Architecture (cs.NI)
[706]  arXiv:1406.4923 [pdf]
Title: Achieving 100,000,000 database inserts per second using Accumulo and D4M
Comments: 6 pages; to appear in IEEE High Performance Extreme Computing (HPEC) 2014
Subjects: Databases (cs.DB); Instrumentation and Methods for Astrophysics (astro-ph.IM); Computational Engineering, Finance, and Science (cs.CE); Distributed, Parallel, and Cluster Computing (cs.DC); Mathematical Software (cs.MS)
[707]  arXiv:1406.4928 [pdf, ps, other]
Title: Diversity Multiplexing Tradeoff of the Half-duplex Slow Fading Multiple Access Channel based on Generalized Quantize-and-Forward Scheme
Comments: 16 pages, 3 tables and 1 figure, in preparation to submit. arXiv admin note: text overlap with arXiv:1404.0354
Subjects: Information Theory (cs.IT)
[708]  arXiv:1406.4941 [pdf]
Title: Study of Security Issues in Pervasive Environment of Next Generation Internet of Things
Comments: 12 pages, CISIM 2013
Subjects: Networking and Internet Architecture (cs.NI); Cryptography and Security (cs.CR)
[709]  arXiv:1406.4943 [pdf, ps, other]
Title: "Infographics" team: Selecting Control Parameters via Maximal Fisher Information
Authors: Siddharth Pritam
Subjects: Information Theory (cs.IT)
[710]  arXiv:1406.4944 [pdf]
Title: IT based social media impacts on Indonesian general legislative elections 2014
Comments: 14 pages
Subjects: Computers and Society (cs.CY)
[711]  arXiv:1406.4951 [pdf]
Title: Brain-like associative learning using a nanoscale non-volatile phase change synaptic device array
Comments: Original article can be found here: this http URL
Journal-ref: Front Neurosci. 8, 205 (2014)
Subjects: Neural and Evolutionary Computing (cs.NE); Materials Science (cond-mat.mtrl-sci); Machine Learning (cs.LG)
[712]  arXiv:1406.4966 [pdf, ps, other]
Title: Inner Product Similarity Search using Compositional Codes
Comments: The approach presented in this paper (ECCV14 submission) is closely related to multi-stage vector quantization and residual quantization. Thanks the reviewers (CVPR14 and ECCV14) for pointing out the relationship to the two algorithms. Related paper: this http URL, which also adopts the summation of vectors for vector approximation
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Machine Learning (stat.ML)
[713]  arXiv:1406.4969 [pdf, ps, other]
Title: Identifying roles in an IP network with temporal and structural density
Authors: Tiphaine Viard (LIP6), Matthieu Latapy (LIP6)
Comments: Sixth IEEE International Workshop on Network Science for Communication Networks (NetSciCom 2014), Canada (2014)
Subjects: Networking and Internet Architecture (cs.NI)
[714]  arXiv:1406.4973 [pdf, other]
Title: Racing Multi-Objective Selection Probabilities
Authors: Gaétan Marceau (LRI, INRIA Saclay - Ile de France), Marc Schoenauer (LRI, INRIA Saclay - Ile de France)
Journal-ref: 13th International Conference on Parallel Problem Solving from Nature, Ljubljana : France (2014)
Subjects: Artificial Intelligence (cs.AI)
[715]  arXiv:1406.4974 [pdf, ps, other]
Title: Academic Cloud Computing Research: Five Pitfalls and Five Opportunities
Comments: Accepted and presented at the 6th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud'14)
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[716]  arXiv:1406.4980 [pdf, other]
Title: Asymptotic Analysis of SU-MIMO Channels With Transmitter Noise and Mismatched Joint Decoding
Comments: 16 pages, 7 figures
Subjects: Information Theory (cs.IT)
[717]  arXiv:1406.4986 [pdf]
Title: Smart city analysis using spatial data and predicting the sustainability
Authors: Thomas Joseph
Subjects: Computers and Society (cs.CY)
[718]  arXiv:1406.4988 [pdf, ps, other]
Title: Path Conditions and Principal Matching: A New Approach to Access Control
Comments: Accepted for publication at SACMAT 2014
Subjects: Cryptography and Security (cs.CR)
[719]  arXiv:1406.4995 [pdf, ps, other]
Title: Pilot Decontamination in CMT-based Massive MIMO Networks
Comments: Accepted in ISWCS 2014
Subjects: Information Theory (cs.IT)
[720]  arXiv:1406.5000 [pdf]
Title: Application Specific Cache Simulation Analysis for Application Specific Instruction set Processor
Comments: ASIP simulation
Subjects: Hardware Architecture (cs.AR)
[721]  arXiv:1406.5020 [pdf]
Title: Integration of Cloud Computing and Web2.0 Collaboration Technologies in E-Learning
Comments: 10 pages, 5 figures, Published with International Journal of Computer Trends and Technology (IJCTT)
Journal-ref: International Journal of Computer Trends and Technology (IJCTT) V12(1):46-55, June 2014
Subjects: Computers and Society (cs.CY); Distributed, Parallel, and Cluster Computing (cs.DC)
[722]  arXiv:1406.5035 [pdf, ps, other]
Title: Why are images smooth?
Authors: Uriel Feige
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[723]  arXiv:1406.5038 [pdf]
Title: Rain Attenuation Prediction for Terrestrial Microwave Link in Bangladesh
Authors: Sakir Hossain
Comments: Journal of Electrical and Electronics Engineering (volume: 7, Issue: 1) this http URL
Subjects: Networking and Internet Architecture (cs.NI)
[724]  arXiv:1406.5052 [pdf]
Title: The State of Open Data in Latvia: 2014
Comments: keywords: Open Data, Open Government Data, PSI, Latvia
Journal-ref: Baltic J. Modern Computing, Vol. 2 (2014), No. 3, 160-170
Subjects: Computers and Society (cs.CY)
[725]  arXiv:1406.5059 [pdf, other]
Title: Twitter and Polls: Analyzing and estimating political orientation of Twitter users in India General #Elections2014
Authors: Abhishek Bhola
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[726]  arXiv:1406.5067 [pdf, other]
Title: On Reachability for Unidirectional Channel Systems Extended with Regular Tests
Authors: Jancar Petr (Techn. Univ. Ostrava), Prateek Karandikar (Chennai Mathematical Institute (CMI) & LSV, ENS Cachan), Philippe Schnoebelen (LSV, CNRS & ENS Cachan)
Comments: An extended abstract of this work first appeared in IFIP-TCS 2012, LNCS 7604
Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 2 (April 17, 2015) lmcs:876
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[727]  arXiv:1406.5073 [pdf]
Title: Information and Communication Technology Reputation for XU030 Quote Companies
Comments: 5 pages 2 figure 1 table 21 refs. arXiv admin note: text overlap with arXiv:1401.7547
Journal-ref: International Journal of Innovation, Management and Technology, Vol. 5, No. 3, June 2014 ISSN: 2010-0248
Subjects: Computers and Society (cs.CY)
[728]  arXiv:1406.5074 [pdf]
Title: Robust Outlier Detection Technique in Data Mining: A Univariate Approach
Comments: arXiv admin note: text overlap with arXiv:1402.6859 by other authors without attribution
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[729]  arXiv:1406.5095 [pdf, other]
Title: MRF-based Background Initialisation for Improved Foreground Detection in Cluttered Surveillance Videos
Comments: arXiv admin note: substantial text overlap with arXiv:1303.2465
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[730]  arXiv:1406.5101 [pdf, ps, other]
Title: MGF Approach to the Analysis of Generalized Two-Ray Fading Models
Comments: 14 pages, 8 Figures and 2 Tables. This work has been accepted for publication at IEEE Transactions on Wireless Communications. Copyright (c) 2014 IEEE. Personal use of this material is permitted. However, permission to use this material for any other purposes must be obtained from the IEEE by sending a request to pubs-permissions@ieee.org
Subjects: Information Theory (cs.IT)
[731]  arXiv:1406.5105 [pdf, other]
Title: Eigenvalue Dynamics of a Central Wishart Matrix with Application to MIMO Systems
Comments: 15 pages, 9 figures and 1 table. This work has been accepted for publication at IEEE Trans. Inf. Theory. Copyright (c) 2014 IEEE. Personal use of this material is permitted. However, permission to use this material for any other purposes must be obtained from the IEEE by sending a request to pubs-permissions@ieee.org
Subjects: Information Theory (cs.IT)
[732]  arXiv:1406.5106 [pdf, other]
Title: Pushdown flow analysis with abstract garbage collection
Journal-ref: Journal of Functional Programming, Volume 24, Special Issue 2-3, May 2014, pp 218-283
Subjects: Programming Languages (cs.PL)
[733]  arXiv:1406.5108 [pdf]
Title: Study on Downlink Spectral Efficiency in Orthogonal Frequency Division Multiple Access Systems
Comments: 23 pages, 8 figures, IET Communications, 2014
Journal-ref: IET Communications, Vol. 8, Iss. 11, pp. 1902--1909, 2014
Subjects: Information Theory (cs.IT)
[734]  arXiv:1406.5143 [pdf, ps, other]
Title: The Sample Complexity of Learning Linear Predictors with the Squared Loss
Authors: Ohad Shamir
Comments: Revised discussion to clarify that the lower bound is currently not fully matched by algorithms which must return linear predictors
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[735]  arXiv:1406.5151 [pdf]
Title: Tollan-Xicocotitlan: A reconstructed City by augmented reality
Comments: 15 pages, 12 figures, Fourth International Conference on Advances in Computing and Information technology (ACITY 2014)
Subjects: Computational Engineering, Finance, and Science (cs.CE); Computers and Society (cs.CY)
[736]  arXiv:1406.5153 [pdf, ps, other]
Title: Optimizing the Social Cost of Congestion Games by Imposing Variable Delays
Subjects: Computer Science and Game Theory (cs.GT)
[737]  arXiv:1406.5161 [pdf, other]
Title: Fast Support Vector Machines Using Parallel Adaptive Shrinking on Distributed Systems
Comments: 10 pages, 9 figures, 3 tables
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG)
[738]  arXiv:1406.5162 [pdf, ps, other]
Title: Name Disambiguation from link data in a collaboration graph using temporal and topological features
Comments: The short version of this paper has been accepted to ASONAM 2014
Subjects: Information Retrieval (cs.IR); Social and Information Networks (cs.SI)
[739]  arXiv:1406.5177 [pdf]
Title: Implementation of Tic-Tac-Toe Game in LabVIEW
Comments: 7 pages, 17 figures, Published with International Journal of Computer Trends and Technology (IJCTT)"
Journal-ref: International Journal of Computer Trends and Technology (IJCTT) V12(2):63-70, June 2014
Subjects: Other Computer Science (cs.OH)
[740]  arXiv:1406.5179 [pdf]
Title: Elimination of a Second-Law-attack, and all cable-resistance-based attacks, in the Kirchhoff-law-Johnson-noise (KLJN) secure key exchange system
Comments: accepted for publication in Entropy (open access)
Journal-ref: Entropy 16 (2014) 5223-5231
Subjects: Emerging Technologies (cs.ET)
[741]  arXiv:1406.5181 [pdf, other]
Title: Zipf's law holds for phrases, not words
Comments: Manuscript: 6 pages, 3 figures; Supplementary Information: 8 pages, 18 tables
Subjects: Computation and Language (cs.CL); Physics and Society (physics.soc-ph)
[742]  arXiv:1406.5212 [pdf, other]
Title: R-CNNs for Pose Estimation and Action Detection
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[743]  arXiv:1406.5258 [pdf, ps, other]
Title: Location Aided Energy Balancing Strategy in Green Cellular Networks
Comments: 6 pages, 5 figures. arXiv admin note: text overlap with arXiv:1108.5493 by other authors
Subjects: Networking and Internet Architecture (cs.NI)
[744]  arXiv:1406.5263 [pdf, ps, other]
Title: Bounds on Eigenvalues of a Spatial Correlation Matrix
Comments: 4 pages, 3 figures, IEEE Communications Letters, accepted for publication
Subjects: Information Theory (cs.IT)
[745]  arXiv:1406.5266 [pdf, other]
Title: Web-Scale Training for Face Identification
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[746]  arXiv:1406.5280 [pdf, ps, other]
Title: Effective Capacity of Cognitive Radio Links: Accessing Primary Feedback Erroneously
Comments: Accepted for publication in International Symposium on Wireless Communication Systems (ISWCS) 2014
Subjects: Information Theory (cs.IT)
[747]  arXiv:1406.5282 [pdf, other]
Title: STAIR Codes: A General Family of Erasure Codes for Tolerating Device and Sector Failures
Comments: An earlier version of this work was presented at USENIX FAST '14. This extended version presents new reliability analysis for STAIR codes and is submitted for journal review
Subjects: Information Theory (cs.IT)
[748]  arXiv:1406.5298 [pdf, other]
Title: Semi-Supervised Learning with Deep Generative Models
Comments: To appear in the proceedings of Neural Information Processing Systems (NIPS) 2014
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[749]  arXiv:1406.5299 [pdf, other]
Title: Properties and Complexity of Fan-Planarity
Subjects: Computational Geometry (cs.CG)
[750]  arXiv:1406.5301 [pdf, other]
Title: Low-Autocorrelation Binary Sequences: On Improved Merit Factors and Runtime Predictions to Achieve Them
Journal-ref: Applied Soft Computing, Volume 56, July 2017, Pages 262-285
Subjects: Data Structures and Algorithms (cs.DS); Artificial Intelligence (cs.AI)
[751]  arXiv:1406.5306 [pdf, ps, other]
Title: Unraveling simplicity in elementary cellular automata
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Cellular Automata and Lattice Gases (nlin.CG)
[752]  arXiv:1406.5309 [pdf, other]
Title: Early Recognition of Human Activities from First-Person Videos Using Onset Representations
Authors: M. S. Ryoo (1), Thomas J. Fuchs (1), Lu Xia (2), J. K. Aggarwal (2), Larry Matthies (1) ((1) JPL, (2) UT Austin)
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[753]  arXiv:1406.5316 [pdf, ps, other]
Title: Cache Discovery Over a Multihop Wireless Ad Hoc Network
Subjects: Networking and Internet Architecture (cs.NI)
[754]  arXiv:1406.5336 [pdf, ps, other]
Title: On the Complexity of Trial and Error for Constraint Satisfaction Problems
Comments: 26 pages. This is the final version that will appear in Journal of Computer and System Sciences
Subjects: Computational Complexity (cs.CC)
[755]  arXiv:1406.5354 [pdf, ps, other]
Title: A QoS-Aware Scheduling Algorithm for High-Speed Railway Communication System
Comments: 6 pages, 3 figures, accepted by IEEE ICC 2014 conference
Subjects: Networking and Internet Architecture (cs.NI)
[756]  arXiv:1406.5369 [pdf, other]
Title: A Scala Prototype to Generate Multigrid Solver Implementations for Different Problems and Target Multi-Core Platforms
Subjects: Mathematical Software (cs.MS)
[757]  arXiv:1406.5370 [pdf, other]
Title: Spectral Ranking using Seriation
Comments: Substantially revised. Accepted by JMLR
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)
[758]  arXiv:1406.5376 [pdf, ps, other]
Title: Proper Hamiltonian Paths in Edge-Coloured Multigraphs
Comments: 21 pages
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[759]  arXiv:1406.5388 [pdf, other]
Title: Learning computationally efficient dictionaries and their implementation as fast transforms
Authors: Luc Le Magoarou (INRIA - IRISA), Rémi Gribonval (INRIA - IRISA)
Subjects: Machine Learning (cs.LG)
[760]  arXiv:1406.5405 [pdf]
Title: Distributed Consensus Observers Based H-infinity Control of Dissipative PDE Systems Using Sensor Networks
Comments: 12 pages,4 figures,A complete proof of Theorem 2, final version for IEEE Transactions on Control of Network Systems
Subjects: Systems and Control (eess.SY); Analysis of PDEs (math.AP)
[761]  arXiv:1406.5422 [pdf, other]
Title: Optimum Power Control at Finite Blocklength
Comments: To appear in the IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT)
[762]  arXiv:1406.5429 [pdf, ps, other]
Title: Playing with Duality: An Overview of Recent Primal-Dual Approaches for Solving Large-Scale Optimization Problems
Subjects: Numerical Analysis (math.NA); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Optimization and Control (math.OC)
[763]  arXiv:1406.5431 [pdf, other]
Title: Consistently Orienting Facets in Polygon Meshes by Minimizing the Dirichlet Energy of Generalized Winding Numbers
Comments: 6 pages, 4 figures
Subjects: Graphics (cs.GR)
[764]  arXiv:1406.5433 [pdf, ps, other]
Title: The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average
Comments: 17 pages, 7 figures, appears in 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)
[765]  arXiv:1406.5440 [pdf, other]
Title: Operational Distributed Regulation for Bitcoin
Comments: 9 pages report by students who desire to remain anonymous
Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY); Distributed, Parallel, and Cluster Computing (cs.DC)
[766]  arXiv:1406.5453 [pdf, other]
Title: Rotation of Sequences: Algorithms and Proofs
Authors: Carlo A. Furia
Comments: Added verified implementations for ESC/Java2
Subjects: Logic in Computer Science (cs.LO)
[767]  arXiv:1406.5457 [pdf, other]
Title: Parametric Strategy Iteration
Subjects: Programming Languages (cs.PL)
[768]  arXiv:1406.5472 [pdf, other]
Title: Predicting Motivations of Actions by Leveraging Text
Comments: CVPR 2016
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[769]  arXiv:1406.5480 [pdf, ps, other]
Title: Average-Case Optimal Approximate Circular String Matching
Subjects: Data Structures and Algorithms (cs.DS)
[770]  arXiv:1406.5481 [pdf, other]
Title: Modeling and Measuring Graph Similarity: The Case for Centrality Distance
Authors: Matthieu Roy (LAAS), Stefan Schmid (LAAS), Gilles Trédan (LAAS)
Comments: FOMC 2014, 10th ACM International Workshop on Foundations of Mobile Computing, Philadelphia : United States (2014)
Subjects: Social and Information Networks (cs.SI); Data Structures and Algorithms (cs.DS); Physics and Society (physics.soc-ph)
[771]  arXiv:1406.5493 [pdf, ps, other]
Title: Performance Comparison of Contention- and Schedule-based MAC Protocols in Urban Parking Sensor Networks
Authors: Trista Lin (CITI Insa Lyon / Inria Grenoble Rhône-Alpes), Hervé Rivano (CITI Insa Lyon / Inria Grenoble Rhône-Alpes), Frédéric Le Mouël (CSE, CITI)
Comments: ACM International Workshop on Wireless and Mobile Technologies for Smart Cities (WiMobCity) (2014)
Subjects: Networking and Internet Architecture (cs.NI)
[772]  arXiv:1406.5495 [pdf, ps, other]
Title: Knowledge Representation in Agent's Logic with Uncertainty and Agent's Interaction
Subjects: Logic in Computer Science (cs.LO)
[773]  arXiv:1406.5520 [pdf]
Title: The Multidimensional Assessment of Scholarly Research Impact
Comments: Author copy version accepted for publication, JASIST (Journal of the Association for Information Science and Technology) 2014
Subjects: Digital Libraries (cs.DL)
[774]  arXiv:1406.5521 [pdf, other]
Title: Mobility Study for Named Data Networking in Wireless Access Networks
Comments: to appear in IEEE ICC 2014
Subjects: Networking and Internet Architecture (cs.NI)
[775]  arXiv:1406.5549 [pdf, other]
Title: Fast Edge Detection Using Structured Forests
Comments: update corresponding to acceptance to PAMI
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[776]  arXiv:1406.5550 [pdf, other]
Title: ViDaExpert: user-friendly tool for nonlinear visualization and analysis of multidimensional vectorial data
Subjects: Mathematical Software (cs.MS); Computation (stat.CO)
[777]  arXiv:1406.5554 [pdf, ps, other]
Title: Kinetic Reverse $k$-Nearest Neighbor Problem
Subjects: Computational Geometry (cs.CG)
[778]  arXiv:1406.5555 [pdf, other]
Title: All-Digital Self-interference Cancellation Technique for Full-duplex Systems
Comments: Submitted to IEEE Transactions on Wireless Communications
Subjects: Information Theory (cs.IT)
[779]  arXiv:1406.5569 [pdf, ps, other]
Title: On the Reverse Engineering of the Citadel Botnet
Comments: 10 pages, 17 figures. This is an updated / edited version of a paper appeared in FPS 2013
Journal-ref: LNCS 8352, 2014, pp 408-425
Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI); Operating Systems (cs.OS); Software Engineering (cs.SE)
[780]  arXiv:1406.5572 [pdf, other]
Title: SurveyMan: Programming and Automatically Debugging Surveys
Comments: Submitted version; accepted to OOPSLA 2014
Subjects: Programming Languages (cs.PL); Human-Computer Interaction (cs.HC)
[781]  arXiv:1406.5581 [pdf, other]
Title: 3DTouch: A wearable 3D input device with an optical sensor and a 9-DOF inertial measurement unit
Authors: Anh Nguyen, Amy Banic
Comments: 8 pages, 7 figures
Subjects: Human-Computer Interaction (cs.HC); Multimedia (cs.MM)
[782]  arXiv:1406.5582 [pdf, ps, other]
Title: Optimal Offline Packet Scheduling in Energy Harvesting 2-user Multiple Access Channel with Common Data
Authors: Burhan Gulbahar
Comments: 29 pages, 11 figures, 5 Tables; All the contents of the paper (including the title and abstract) reorganized and clarified, converted to one-column version. Submitted for publication
Subjects: Information Theory (cs.IT)
[783]  arXiv:1406.5588 [pdf]
Title: A Symbol-Based Estimation Technique for Inter-vehicular Communication Performance Optimization
Comments: 8 pages, 15 figures, IJCSI International Journal of Computer Science Issues, Vol. 10, Issue 2, No 3, March 2013
Subjects: Networking and Internet Architecture (cs.NI)
[784]  arXiv:1406.5596 [pdf, ps, other]
Title: An Epitome of Multi Secret Sharing Schemes for General Access Structure
Authors: V P Binu, A Sreekumar
Journal-ref: International Journal of Information Processing, 8(2), 13-28, 2014 ISSN : 0973-8215
Subjects: Cryptography and Security (cs.CR)
[785]  arXiv:1406.5597 [pdf, other]
Title: Transpose-free Fast Fourier Transform for Turbulence Simulation
Subjects: Mathematical Software (cs.MS); Computational Engineering, Finance, and Science (cs.CE); Data Structures and Algorithms (cs.DS); Computational Physics (physics.comp-ph); Fluid Dynamics (physics.flu-dyn)
[786]  arXiv:1406.5598 [pdf]
Title: A survey on phrase structure learning methods for text classification
Comments: 14 pages, 2 figures, 2 tables, International Journal on Natural Language Computing (IJNLC) Vol. 3, No.2, April 2014
Subjects: Computation and Language (cs.CL)
[787]  arXiv:1406.5600 [pdf, ps, other]
Title: From conformal to probabilistic prediction
Comments: 12 pages, 2 tables
Subjects: Machine Learning (cs.LG)
[788]  arXiv:1406.5614 [pdf, ps, other]
Title: PAC-Bayes Analysis of Multi-view Learning
Comments: 35 pages
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)
[789]  arXiv:1406.5616 [pdf]
Title: An Effective Approach for Web Document Classification using the Concept of Association Analysis of Data Mining
Authors: R.K. Roul, S.K. Sahay
Comments: 9 Pages
Journal-ref: IJCSET, 2012, Vol. 3, No. 10, p. 483
Subjects: Information Retrieval (cs.IR)
[790]  arXiv:1406.5617 [pdf]
Title: Web Document Clustering and Ranking using Tf-Idf based Apriori Approach
Comments: 5 Pages
Journal-ref: IJCA Proceedings on ICACEA, No. 2, p. 34 (2014)
Subjects: Information Retrieval (cs.IR)
[791]  arXiv:1406.5622 [pdf, ps, other]
Title: Gain-scheduled synchronization of parameter varying systems via relative $H_\infty$ consensus with application to synchronization of uncertain bilinear systems
Authors: V. Ugrinovskii
Comments: Accepted for publication in Automatica
Journal-ref: Automatica, 50(11):2880-2887, 2014
Subjects: Systems and Control (eess.SY)
[792]  arXiv:1406.5633 [pdf, other]
Title: Thermodynamic-RAM Technology Stack
Subjects: Neural and Evolutionary Computing (cs.NE)
[793]  arXiv:1406.5634 [pdf, other]
Title: A Framework to Quantify the Benefits of Network Functions Virtualization in Cellular Networks
Subjects: Networking and Internet Architecture (cs.NI)
[794]  arXiv:1406.5647 [pdf, ps, other]
Title: On semidefinite relaxations for the block model
Subjects: Machine Learning (cs.LG); Social and Information Networks (cs.SI); Machine Learning (stat.ML)
[795]  arXiv:1406.5653 [pdf, other]
Title: Interactively Test Driving an Object Detector: Estimating Performance on Unlabeled Data
Comments: Published at Winter Conference on Applications of Computer Vision, 2014
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[796]  arXiv:1406.5665 [pdf, ps, other]
Title: Constant Factor Approximation for Balanced Cut in the PIE model
Comments: Full version of the paper at the 46th ACM Symposium on the Theory of Computing (STOC 2014). 32 pages
Subjects: Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG)
[797]  arXiv:1406.5667 [pdf, ps, other]
Title: Correlation Clustering with Noisy Partial Information
Comments: To appear at Conference on Learning Theory (COLT) 2015. Substantial changes from previous version, including a new section on recovery of the ground truth clustering. 20 pages
Subjects: Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG)
[798]  arXiv:1406.5670 [pdf, other]
Title: 3D ShapeNets: A Deep Representation for Volumetric Shapes
Comments: to be appeared in CVPR 2015
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[799]  arXiv:1406.5675 [pdf, other]
Title: SPSD Matrix Approximation vis Column Selection: Theories, Algorithms, and Extensions
Comments: Journal of Machine Learning Research, 2016
Subjects: Machine Learning (cs.LG)
[800]  arXiv:1406.5676 [pdf, ps, other]
Title: How to Upgrade Wireless Networks: Small Cells or Massive MIMO?
Comments: 5 pages, 3 figures, The paper has been accepted by PIMRC 2014
Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
[801]  arXiv:1406.5679 [pdf, other]
Title: Deep Fragment Embeddings for Bidirectional Image Sentence Mapping
Subjects: Computer Vision and Pattern Recognition (cs.CV); Computation and Language (cs.CL); Machine Learning (cs.LG)
[802]  arXiv:1406.5685 [pdf, other]
Title: Advanced transceivers for spectrally-efficient communications
Authors: Andrea Modenini
Comments: PhD Thesis
Subjects: Information Theory (cs.IT)
[803]  arXiv:1406.5687 [pdf, ps, other]
Title: Parallel Algorithms for Counting Triangles in Networks with Large Degrees
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS); Social and Information Networks (cs.SI)
[804]  arXiv:1406.5688 [pdf]
Title: Information, Meaning, and Intellectual Organization in Networks of Inter-Human Communication
Authors: Loet Leydesdorff
Comments: Pp. 280-303 in: Cassidy R. Sugimoto (Ed.), Theories of Informetrics and Scholarly Communication, Berlin/Boston MA: De Gruyter, 2016
Subjects: Digital Libraries (cs.DL); Computers and Society (cs.CY)
[805]  arXiv:1406.5690 [pdf]
Title: WebParF: A Web partitioning framework for Parallel Crawlers
Comments: 8pages, 7 figures, ISSN : 0975-3397 Vol.5 no.8, 2013
Subjects: Information Retrieval (cs.IR)
[806]  arXiv:1406.5691 [pdf, other]
Title: A CNL for Contract-Oriented Diagrams
Subjects: Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL)
[807]  arXiv:1406.5694 [pdf, other]
Title: Cryptocurrencies without Proof of Work
Subjects: Cryptography and Security (cs.CR)
[808]  arXiv:1406.5708 [pdf, ps, other]
Title: Runtime Enforcement for Component-Based Systems
Comments: arXiv admin note: text overlap with arXiv:1109.5505 by other authors
Subjects: Software Engineering (cs.SE)
[809]  arXiv:1406.5710 [pdf, other]
Title: Natural Color Image Enhancement based on Modified Multiscale Retinex Algorithm and Performance Evaluation usingWavelet Energy
Comments: 10 pages, 3 figures, Recent Advances in Intelligent Informatics Advances in Intelligent Systems and Computing Volume 235, 2014, pp 83-92
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[810]  arXiv:1406.5715 [pdf, ps, other]
Title: Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report)
Subjects: Programming Languages (cs.PL)
[811]  arXiv:1406.5720 [pdf, ps, other]
Title: Publicly Verifiable Outsourced Computation with a Key Distribution Centre
Comments: Conference version
Subjects: Cryptography and Security (cs.CR)
[812]  arXiv:1406.5722 [pdf, ps, other]
Title: The price of fairness for a small number of indivisible items
Authors: Sascha Kurz
Comments: 5 pages
Subjects: Computer Science and Game Theory (cs.GT)
[813]  arXiv:1406.5726 [pdf, other]
Title: CNN: Single-label to Multi-label
Comments: 13 pages, 10 figures, 3 tables
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[814]  arXiv:1406.5731 [pdf]
Title: Guidelines to minimize cost of software quality in agile scrum process
Subjects: Software Engineering (cs.SE)
[815]  arXiv:1406.5732 [pdf, ps, other]
Title: Secrecy Outage and Diversity Analysis of Cognitive Radio Systems
Comments: 16 pages, 5 figures, accepted to appear, IEEE Journal on Selected Areas in Communications, 2014
Subjects: Information Theory (cs.IT)
[816]  arXiv:1406.5751 [pdf]
Title: Computing on Masked Data: a High Performance Method for Improving Big Data Veracity
Comments: to appear in IEEE High Performance Extreme Computing 2014 (ieee-hpec.org)
Subjects: Cryptography and Security (cs.CR); Instrumentation and Methods for Astrophysics (astro-ph.IM); Databases (cs.DB); Information Retrieval (cs.IR)
[817]  arXiv:1406.5759 [pdf]
Title: An Experimental Study of Load Balancing of OpenNebula Open-Source Cloud Computing Platform
Comments: 6 pages
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[818]  arXiv:1406.5760 [pdf]
Title: Virtual Memory Streaming Technique for Virtual Machines (VMs) for Rapid Scaling and High Performance in Cloud Environment
Comments: Keywords Virtual memory, Memory Streaming, Virtual machine, Virtual memory scaling, VM live migration, VM Cloning
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[819]  arXiv:1406.5761 [pdf]
Title: A Low Cost Two-Tier Architecture Model For High Availability Clusters Application Load Balancing
Comments: Load balancing, high availability cluster, web server clusters
Subjects: Networking and Internet Architecture (cs.NI); Distributed, Parallel, and Cluster Computing (cs.DC)
[820]  arXiv:1406.5765 [pdf]
Title: Environmental Sensing by Wearable Device for Indoor Activity and Location Estimation
Comments: submitted to the 40th Annual Conference of the IEEE Industrial Electronics Society (IECON)
Subjects: Human-Computer Interaction (cs.HC); Machine Learning (stat.ML)
[821]  arXiv:1406.5774 [pdf, other]
Title: Factors of Transferability for a Generic ConvNet Representation
Comments: Extended version of the workshop paper with more experiments and updated text and title. Original CVPR15 DeepVision workshop paper title: "From Generic to Specific Deep Representations for Visual Recognition"
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[822]  arXiv:1406.5778 [pdf, other]
Title: Approximating the Maximum Overlap of Polygons under Translation
Subjects: Computational Geometry (cs.CG)
[823]  arXiv:1406.5786 [pdf, other]
Title: Queued cross-bar network models for replication and coded storage systems
Subjects: Information Theory (cs.IT)
[824]  arXiv:1406.5791 [pdf, ps, other]
Title: Computational Complexity of Certifying Restricted Isometry Property
Subjects: Computational Complexity (cs.CC)
[825]  arXiv:1406.5794 [pdf, ps, other]
Title: Three-Party Energy Management With Distributed Energy Resources in Smart Grid
Comments: 12 pages, Journal
Subjects: Systems and Control (eess.SY)
[826]  arXiv:1406.5797 [pdf, ps, other]
Title: Constructions of A Large Class of Optimum Constant Weight Codes over F_2
Subjects: Information Theory (cs.IT)
[827]  arXiv:1406.5807 [pdf]
Title: A Unified Quantitative Model of Vision and Audition
Authors: Peilei Liu, Ting Wang
Comments: 7 pages, 3 figures
Subjects: Computer Vision and Pattern Recognition (cs.CV); Neurons and Cognition (q-bio.NC); Quantitative Methods (q-bio.QM)
[828]  arXiv:1406.5814 [pdf, other]
Title: Identifying Influential Nodes in Bipartite Networks Using the Clustering Coefficient
Authors: J. Liebig, A. Rao
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[829]  arXiv:1406.5824 [pdf, other]
Title: VideoSET: Video Summary Evaluation through Text
Subjects: Computer Vision and Pattern Recognition (cs.CV); Computation and Language (cs.CL); Information Retrieval (cs.IR)
[830]  arXiv:1406.5826 [pdf, other]
Title: The asymptotic complexity of matrix reduction over finite fields
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Combinatorics (math.CO)
[831]  arXiv:1406.5860 [pdf, other]
Title: On Deterministic Linear Network Coded Broadcast and Its Relation to Matroid Theory
Comments: Origin work accepted by ITW, 5 pages, 8 figures
Subjects: Information Theory (cs.IT)
[832]  arXiv:1406.5886 [pdf, other]
Title: Weak Secrecy in the Multi-Way Untrusted Relay Channel with Compute-and-Forward
Comments: submitted to JSAC Special Issue on Fundamental Approaches to Network Coding in Wireless Communication Systems
Subjects: Information Theory (cs.IT)
[833]  arXiv:1406.5895 [pdf, ps, other]
Title: Universal Lyndon Words
Comments: To appear in the proceedings of MFCS 2014
Journal-ref: Lecture Notes in Computer Science, 8634: 135-146 (2014)
Subjects: Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)
[834]  arXiv:1406.5903 [pdf, other]
Title: Blind Sensor Calibration using Approximate Message Passing
Comments: 27 pages, 9 figures
Journal-ref: Journal of Statistical Mechanics: Theory and Experiment 2015.11 (2015): P11013
Subjects: Information Theory (cs.IT)
[835]  arXiv:1406.5910 [pdf, other]
Title: Multi-utility Learning: Structured-output Learning with Multiple Annotation-specific Loss Functions
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
[836]  arXiv:1406.5917 [pdf]
Title: BSTree: an Incremental Indexing Structure for Similarity Search and Real Time Monitoring of Data Streams
Journal-ref: Future Information Technology Lecture Notes in Electrical Engineering Volume 276, 2014, pp 185-190
Subjects: Databases (cs.DB)
[837]  arXiv:1406.5926 [pdf, other]
Title: A Simple Lower Bound on the Noncoherent Capacity of Highly Underspread Fading Channels
Comments: 12 pages, 1 figure, journal
Subjects: Information Theory (cs.IT)
[838]  arXiv:1406.5935 [pdf, ps, other]
Title: Cost-aware caching: optimizing cache provisioning and object placement in ICN
Subjects: Networking and Internet Architecture (cs.NI)
[839]  arXiv:1406.5946 [pdf, other]
Title: Is a `Wirikuta empowerment' of the Huichol measurable on the Internet?
Comments: 14 pages, 1 figure, 4 graphs (submitted to journal)
Journal-ref: Internet Research, 26, 5, 1269 - 1290 (2016)
Subjects: Social and Information Networks (cs.SI); Computers and Society (cs.CY); Information Retrieval (cs.IR); Physics and Society (physics.soc-ph)
[840]  arXiv:1406.5947 [pdf, ps, other]
Title: Committees of deep feedforward networks trained with few data
Subjects: Computer Vision and Pattern Recognition (cs.CV); Neural and Evolutionary Computing (cs.NE)
[841]  arXiv:1406.5949 [pdf, other]
Title: Network-Level Performance Evaluation of a Two-Relay Cooperative Random Access Wireless System
Comments: Submitted for journal publication
Subjects: Networking and Internet Architecture (cs.NI)
[842]  arXiv:1406.5970 [pdf, ps, other]
Title: A Lower Bound for Boolean Satisfiability on Turing Machines
Authors: Samuel C. Hsieh
Comments: 14 pages
Subjects: Computational Complexity (cs.CC)
[843]  arXiv:1406.5975 [pdf, other]
Title: Scalable Analytics over Distributed Time-series Graphs using GoFFish
Journal-ref: Proceedings of the IEEE International Parallel and Distributed Processing Symposium (IPDPS) (2015) pp. 809-818
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[844]  arXiv:1406.5977 [pdf, other]
Title: Floe: A Continuous Dataflow Framework for Dynamic Cloud Applications
Comments: Prepared in Dec, 2012
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[845]  arXiv:1406.5979 [pdf, ps, other]
Title: Reinforcement and Imitation Learning via Interactive No-Regret Learning
Comments: 14 pages. Under review for NIPS 2014 conference
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[846]  arXiv:1406.5988 [pdf, ps, other]
Title: Large System Analysis of the Energy Consumption Distribution in Multi-User MIMO Systems with Mobility
Comments: 8 figures, 2 tables, to appear on IEEE Transactions on Wireless Communications
Subjects: Information Theory (cs.IT)
[847]  arXiv:1406.6012 [pdf, other]
Title: Designing Sound Collaboratively - Perceptually Motivated Audio Synthesis
Comments: Extended version of submission to conference proceedings
Subjects: Multimedia (cs.MM); Human-Computer Interaction (cs.HC)
[848]  arXiv:1406.6020 [pdf, ps, other]
Title: Stationary Mixing Bandits
Authors: Julien Audiffren (CMLA), Liva Ralaivola (LIF)
Subjects: Machine Learning (cs.LG)
[849]  arXiv:1406.6035 [pdf, other]
Title: Refinement Calculus of Reactive Systems
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[850]  arXiv:1406.6037 [pdf, other]
Title: Preemptive Thread Block Scheduling with Online Structural Runtime Prediction for Concurrent GPGPU Kernels
Comments: 14 pages, full pre-review version of PACT 2014 poster
Subjects: Hardware Architecture (cs.AR); Operating Systems (cs.OS)
[851]  arXiv:1406.6045 [pdf]
Title: Cognitive Surveillance: Why does it never appear among the AVSS Conferences topics?
Authors: Emanuel Diamant
Comments: The paper was submitted to the 11th IEEE International Conference on Advanced Video Signal-Based Surveillance (AVSS2014, August 26-29, 2014, Seoul, Korea) and has not been accepted for presentation at the conference
Subjects: Artificial Intelligence (cs.AI); Neurons and Cognition (q-bio.NC)
[852]  arXiv:1406.6046 [pdf, other]
Title: Hybrid Epidemics - A Case Study on Computer Worm Conficker
Journal-ref: PLoS ONE. 2015 May 15;10(5):e0127478
Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)
[853]  arXiv:1406.6047 [pdf, other]
Title: Efficient Algorithms for de novo Assembly of Alternative Splicing Events from RNA-seq Data
Authors: Gustavo Sacomoto
Comments: PhD thesis, 139 pages
Subjects: Data Structures and Algorithms (cs.DS); Computational Engineering, Finance, and Science (cs.CE); Quantitative Methods (q-bio.QM)
[854]  arXiv:1406.6084 [pdf, ps, other]
Title: From Black-Scholes to Online Learning: Dynamic Hedging under Adversarial Environments
Subjects: Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Pricing of Securities (q-fin.PR)
[855]  arXiv:1406.6087 [pdf, ps, other]
Title: Initialization Algorithms For Convolutional Network Coding
Subjects: Information Theory (cs.IT)
[856]  arXiv:1406.6101 [pdf]
Title: Improved Frame Level Features and SVM Supervectors Approach for the Recogniton of Emotional States from Speech: Application to categorical and dimensional states
Journal-ref: I.J. Image, Graphics and Signal Processing, 2013, 9, 8-13
Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG)
[857]  arXiv:1406.6102 [pdf, other]
Title: Random Logic Programs: Linear Model
Comments: 33 pages. To appear in: Theory and Practice of Logic Programming
Journal-ref: Theory and Practice of Logic Programming 15 (2014) 818-853
Subjects: Artificial Intelligence (cs.AI)
[858]  arXiv:1406.6114 [pdf, other]
Title: Mining Recurrent Concepts in Data Streams using the Discrete Fourier Transform
Subjects: Machine Learning (cs.LG)
[859]  arXiv:1406.6126 [pdf, other]
Title: PDF/A-3u as an archival format for Accessible mathematics
Authors: Ross Moore
Comments: This is a post-print version of original in volume: S.M. Watt et al. (Eds.): CICM 2014, LNAI 8543, pp.184-199, 2014; available at this http URL, along with supplementary PDF. This version, with supplement as attachment, is enriched to validate as PDF/A-3u modulo an error in white-space handling in the pdfTeX version used to generate it
Subjects: Information Retrieval (cs.IR); Digital Libraries (cs.DL)
[860]  arXiv:1406.6130 [pdf, other]
Title: Generalized Mixability via Entropic Duality
Comments: 20 pages, 1 figure. Supersedes the work in arXiv:1403.2433 [cs.LG]
Subjects: Machine Learning (cs.LG)
[861]  arXiv:1406.6140 [src]
Title: Offline Handwritten MODI Character Recognition Using HU, Zernike Moments and Zoning
Comments: This paper has been withdrawn by the author due to the paper was rejected by journal with a reson "paper was not suitable for the journal"
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[862]  arXiv:1406.6144 [pdf, ps, other]
Title: Constrained Expressions and their Derivatives
Subjects: Formal Languages and Automata Theory (cs.FL)
[863]  arXiv:1406.6145 [pdf, other]
Title: Fast, Robust and Non-convex Subspace Recovery
Journal-ref: Information and Inference: A Journal of the IMA 7 (2018) 277-336
Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Applications (stat.AP); Machine Learning (stat.ML)
[864]  arXiv:1406.6147 [pdf, other]
Title: Incorporating Near-Infrared Information into Semantic Image Segmentation
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[865]  arXiv:1406.6163 [pdf, other]
Title: Group Communication Patterns for High Performance Computing in Scala
Subjects: Programming Languages (cs.PL)
[866]  arXiv:1406.6169 [pdf, other]
Title: Fault Tolerant Approximate BFS Structures
Subjects: Data Structures and Algorithms (cs.DS)
[867]  arXiv:1406.6170 [pdf, ps, other]
Title: Distributed Storage Systems based on Equidistant Subspace Codes
Subjects: Information Theory (cs.IT)
[868]  arXiv:1406.6173 [pdf]
Title: Use of computer by secondary school students
Authors: Kirti Matliwala (Education department, VNSGU, Surat)
Comments: 7 pages
Subjects: Computers and Society (cs.CY)
[869]  arXiv:1406.6176 [pdf, ps, other]
Title: Composite Likelihood Estimation for Restricted Boltzmann machines
Journal-ref: Proceedings of 21st International Conference on Pattern Recognition (ICPR2012), pp. 2234-2237, 2012
Subjects: Machine Learning (cs.LG)
[870]  arXiv:1406.6201 [pdf, other]
Title: Saccadic Eye Movements and the Generalized Pareto Distribution
Authors: Reiner Lenz
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[871]  arXiv:1406.6210 [pdf, other]
Title: Optimal strongly conflict-avoiding codes of even length and weight three
Comments: 18 pages, 1 figure. Submitted to Designs, Codes and Cryptography. 1st revision
Journal-ref: Des. Codes Cryptogr. (2016) 79:367-382
Subjects: Information Theory (cs.IT); Combinatorics (math.CO)
[872]  arXiv:1406.6218 [pdf, other]
Title: Dynamic Model of a Pumping Kite Power System
Comments: 13 pages, 8 figures. This revision was accepted by the journal "Renewable Energy" and takes the comments of the reviewers into account. The abstract and the conclusions state more carefully the advantages of the suggested models. In addition, the wording of the results section was improved. Finally, the changes from passive to active voice of the last revision were reverted
Subjects: Systems and Control (eess.SY)
[873]  arXiv:1406.6221 [pdf]
Title: Dynamic Selection of Symmetric Key Cryptographic Algorithms for Securing Data Based on Various Parameters
Comments: 8 pages, 4 figures, Fifth International Conference on Communications Security & Information Assurance (CSIA 2014) May 24~25, 2014, Delhi, India
Subjects: Cryptography and Security (cs.CR)
[874]  arXiv:1406.6247 [pdf, other]
Title: Recurrent Models of Visual Attention
Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (stat.ML)
[875]  arXiv:1406.6259 [pdf, ps, other]
Title: Complexity of validity for propositional dependence logics
Authors: Jonni Virtema (Japan Advanced Institute of Science and Technology and University of Tampere)
Comments: In Proceedings GandALF 2014, arXiv:1408.5560
Journal-ref: EPTCS 161, 2014, pp. 18-31
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[876]  arXiv:1406.6265 [pdf, ps, other]
Title: Extending the Energy Framework for Network Simulator 3 (ns-3)
Comments: 2 pages, 4 figures. Poster presented at WNS3 2014, Atlanta, GA
Subjects: Networking and Internet Architecture (cs.NI)
[877]  arXiv:1406.6266 [pdf, ps, other]
Title: The Expressive Power of Modal Dependence Logic
Comments: 19 pages
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[878]  arXiv:1406.6270 [pdf, ps, other]
Title: Generalized Concatenated Types of Codes for Erasure Correction
Subjects: Information Theory (cs.IT)
[879]  arXiv:1406.6273 [pdf, other]
Title: Image Completion for View Synthesis Using Markov Random Fields and Efficient Belief Propagation
Comments: Published version: this http URL&arnumber=6738439
Journal-ref: Proc. 20th IEEE International Conference on Image Processing (2013) 2131-2134
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[880]  arXiv:1406.6277 [pdf]
Title: Midiendo la calidad de la informacion gestionada: algunas reflexiones conceptuales-metodologicas
Comments: in Spanish
Journal-ref: Biblios. 2014; 52, 27-35
Subjects: Other Computer Science (cs.OH)
[881]  arXiv:1406.6281 [pdf, ps, other]
Title: Experimental Investigation of Control Updating Period Monitoring In Industrial PLC-based Fast MPC: Application to The Constrained Control of a Cryogenic Refrigerator
Subjects: Systems and Control (eess.SY)
[882]  arXiv:1406.6291 [pdf, other]
Title: Studying Collective Human Decision Making and Creativity with Evolutionary Computation
Comments: 20 pages, 7 figures, 1 table (Supplemental materials not included)
Journal-ref: Artificial Life, 21:379-393 (2015)
Subjects: Neural and Evolutionary Computing (cs.NE); Multiagent Systems (cs.MA); Adaptation and Self-Organizing Systems (nlin.AO)
[883]  arXiv:1406.6298 [pdf, ps, other]
Title: Bounding Clique-Width via Perfect Graphs
Comments: 22 Pages, 2 figures, An extended abstract of this paper will appear in the proceedings of LATA 2015 (LNCS vol. 8977)
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[884]  arXiv:1406.6304 [pdf, other]
Title: Flow Allocation for Maximum Throughput and Bounded Delay on Multiple Disjoint Paths for Random Access Wireless Multihop Networks
Comments: IEEE Transactions on Vehicular Technology
Subjects: Networking and Internet Architecture (cs.NI)
[885]  arXiv:1406.6312 [pdf, other]
Title: Scalable Topical Phrase Mining from Text Corpora
Journal-ref: Proceedings of the VLDB Endowment, Vol. 8(3), pp. 305 - 316, 2014
Subjects: Computation and Language (cs.CL); Information Retrieval (cs.IR); Machine Learning (cs.LG)
[886]  arXiv:1406.6314 [pdf, other]
Title: Further heuristics for $k$-means: The merge-and-split heuristic and the $(k,l)$-means
Comments: 14 pages
Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Information Retrieval (cs.IR); Machine Learning (stat.ML)
[887]  arXiv:1406.6321 [pdf, ps, other]
Title: Power-Optimal Feedback-Based Random Spectrum Access for an Energy Harvesting Cognitive User
Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
[888]  arXiv:1406.6323 [pdf, other]
Title: Dense Correspondences Across Scenes and Scales
Comments: A longer version of this paper is in submission. Please see author homepage for an updated version
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[889]  arXiv:1406.6332 [pdf, ps, other]
Title: Combined Global and Local Search for the Falsification of Hybrid Systems
Subjects: Systems and Control (eess.SY)
[890]  arXiv:1406.6336 [pdf]
Title: A multilevel thresholding algorithm using Electromagnetism Optimization
Comments: The figures have been shortened in order to fulfill the submission requirements
Journal-ref: Neurocomputing, 139, (2014), 357-381
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[891]  arXiv:1406.6341 [pdf, ps, other]
Title: Linear-time Computation of Minimal Absent Words Using Suffix Array
Subjects: Data Structures and Algorithms (cs.DS)
[892]  arXiv:1406.6353 [pdf, ps, other]
Title: A Lower Bound of $2^n$ Conditional Branches for Boolean Satisfiability on Post Machines
Authors: Samuel C. Hsieh
Comments: This article draws heavily from arXiv:1406.5970
Subjects: Computational Complexity (cs.CC)
[893]  arXiv:1406.6390 [pdf, other]
Title: Image patch analysis and clustering of sunspots: a dimensionality reduction approach
Comments: 5 pages, 7 figures, accepted to ICIP 2014
Journal-ref: K.R. Moon, J.J. Li, V. Delouille, F. Watson, and A.O. Hero III, "Image patch analysis and clustering of sunspots: a dimensionality reduction approach," In Image Processing (ICIP), 2014 IEEE Conference on, pp. 1623-1627, 2014
Subjects: Computer Vision and Pattern Recognition (cs.CV); Solar and Stellar Astrophysics (astro-ph.SR)
[894]  arXiv:1406.6393 [pdf, other]
Title: Specifying and Verifying Properties of Space - Extended Version
Comments: Presented at "Theoretical Computer Science" 2014, Rome
Subjects: Logic in Computer Science (cs.LO)
[895]  arXiv:1406.6398 [pdf, other]
Title: Incremental Clustering: The Case for Extra Clusters
Subjects: Machine Learning (cs.LG)
[896]  arXiv:1406.6413 [pdf, other]
Title: A finer reduction of constraint problems to digraphs
Authors: Jakub Bulín (Charles University, Prague), Dejan Delic (Ryerson University), Marcel Jackson (La Trobe University), Todd Niven (La Trobe University)
Comments: arXiv admin note: substantial text overlap with arXiv:1305.2039
Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 4 (December 29, 2015) lmcs:1619
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Combinatorics (math.CO)
[897]  arXiv:1406.6417 [pdf]
Title: Big Models: From Beijing to the whole China
Comments: 22 pages, 11 figures
Subjects: Other Computer Science (cs.OH)
[898]  arXiv:1406.6425 [pdf, other]
Title: Compressive Imaging and Characterization of Sparse Light Deflection Maps
Comments: 35 pages, 17 figures. Accepted for publication in SIAM Journal on Imaging Sciences
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[899]  arXiv:1406.6449 [pdf, ps, other]
Title: The Links Have It: Infobox Generation by Summarization over Linked Entities
Subjects: Information Retrieval (cs.IR)
[900]  arXiv:1406.6453 [pdf]
Title: A Quantitative Neural Coding Model of Sensory Memory
Authors: Peilei Liu, Ting Wang
Comments: 9 pages, 3 figures
Subjects: Neural and Evolutionary Computing (cs.NE); Neurons and Cognition (q-bio.NC)
[901]  arXiv:1406.6470 [pdf, ps, other]
Title: Wireless Networks with RF Energy Harvesting: A Contemporary Survey
Comments: Any comment(s) would be highly welcomed. Please send email to luxiao@ntu.edu.sg
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[902]  arXiv:1406.6473 [pdf, ps, other]
Title: Performance Comparison of Linear Prediction based Vocoders in Linux Platform
Comments: 5 pages, 5 figures, Published with International Journal of Engineering Trends and Technology (IJETT)
Journal-ref: International Journal of Engineering Trends and Technology (IJETT),V10(11),554-558 April 2014
Subjects: Multimedia (cs.MM); Sound (cs.SD)
[903]  arXiv:1406.6490 [pdf, ps, other]
Title: Variance Competitiveness for Monotone Estimation: Tightening the Bounds
Authors: Edith Cohen
Comments: 12 pages
Subjects: Databases (cs.DB)
[904]  arXiv:1406.6494 [pdf, other]
Title: Minimally unbalanced diamond-free graphs and Dyck-paths
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[905]  arXiv:1406.6507 [pdf, other]
Title: Weakly-supervised Discovery of Visual Pattern Configurations
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
[906]  arXiv:1406.6529 [pdf, other]
Title: Strong Regularities in Growth and Decline of Popularity of Social Media Services
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[907]  arXiv:1406.6533 [pdf, other]
Title: On the Complexity of Clustered-Level Planarity and T-Level Planarity
Comments: 10 pages, 4 figures
Subjects: Data Structures and Algorithms (cs.DS); Computational Geometry (cs.CG)
[908]  arXiv:1406.6538 [pdf, other]
Title: A Bimodal Co-Sparse Analysis Model for Image Processing
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[909]  arXiv:1406.6542 [pdf, ps, other]
Title: Robust Layered Transmission in Secure MISO Multiuser Unicast Cognitive Radio Systems
Comments: Accepted for publication with minor revision, IEEE TVT
Subjects: Information Theory (cs.IT)
[910]  arXiv:1406.6558 [pdf, other]
Title: $ N^4 $-Fields: Neural Network Nearest Neighbor Fields for Image Transforms
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[911]  arXiv:1406.6560 [pdf]
Title: Multi Circle Detection on Images Using Artificial Bee Colony (ABC) Optimization
Comments: 19 Pages
Journal-ref: Soft Computing, 16 (2), (2012), pp. 281-296
Subjects: Computer Vision and Pattern Recognition (cs.CV); Neural and Evolutionary Computing (cs.NE)
[912]  arXiv:1406.6567 [pdf, ps, other]
Title: Fixed-Parameter Tractability of Token Jumping on Planar Graphs
Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
[913]  arXiv:1406.6568 [pdf, other]
Title: Support vector machine classification of dimensionally reduced structural MRI images for dementia
Comments: technical note
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Medical Physics (physics.med-ph)
[914]  arXiv:1406.6573 [pdf, other]
Title: Solution of nonlinear Stokes equations discretized by high-order finite elements on nonconforming and anisotropic meshes, with application to ice sheet dynamics
Comments: 31 pages
Subjects: Numerical Analysis (math.NA); Computational Engineering, Finance, and Science (cs.CE)
[915]  arXiv:1406.6576 [pdf, ps, other]
Title: Linear-Time Algorithm for Sliding Tokens on Trees
Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
[916]  arXiv:1406.6591 [pdf]
Title: Comments on 'Maximally permissive supervisor synthesis based on a new constraint transformation method'
Comments: 4 papers,comment
Journal-ref: Automatica 48 (2012) 1097-1101
Subjects: Systems and Control (eess.SY); Formal Languages and Automata Theory (cs.FL)
[917]  arXiv:1406.6595 [pdf, other]
Title: 3DUNDERWORLD-SLS: An Open-Source Structured-Light Scanning System for Rapid Geometry Acquisition
Comments: 30 pages describing the 3DUNDERWORLD-SLS open source software by the ICT lab (www.theICTlab.org)
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[918]  arXiv:1406.6597 [pdf]
Title: A Method for Characterizing Communities in Dynamic Attributed Complex Networks
Comments: IEEE/ACM International Conference on Advances in Social Network Analysis and Mining (ASONAM), P\'ekin : China (2014)
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[919]  arXiv:1406.6599 [pdf, other]
Title: Convex Hulls under Uncertainty
Subjects: Computational Geometry (cs.CG)
[920]  arXiv:1406.6605 [pdf, ps, other]
Title: SROIQsigma is decidable
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[921]  arXiv:1406.6608 [pdf, other]
Title: Information Centric Networking in the IoT: Experiments with NDN in the Wild
Comments: 10 pages, 10 figures and tables, ACM ICN-2014 conference
Journal-ref: Proceedings of ACM ICN, pp. 77-86, 2014
Subjects: Networking and Internet Architecture (cs.NI)
[922]  arXiv:1406.6611 [pdf, other]
Title: Identifying the Community Roles of Social Capitalists in the Twitter Network
Authors: Vincent Labatut, Nicolas Dugué (LIFO), Anthony Perez (LIFO)
Comments: IEEE/ACM International Conference on Advances in Social Network Analysis and Mining (ASONAM), P\'ekin : China (2014)
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[923]  arXiv:1406.6614 [pdf, other]
Title: The Role of the Internet of Things in Network Resilience
Subjects: Networking and Internet Architecture (cs.NI)
[924]  arXiv:1406.6622 [pdf, ps, other]
Title: Managing LTL properties in Event-B refinement
Subjects: Software Engineering (cs.SE)
[925]  arXiv:1406.6631 [pdf, other]
Title: Clash of the Lambdas
Comments: In the revised version: 1) we used a fixed heap with 3GB. The GC throughput was improved and results are more balanced, 2) we discussed briefly why we chose not to use targeted JVM flags, 3) we discussed @specialized and miniboxing, 4) we added a new benchmark that tests a streaming operation that avoids automatic boxing of our input data and 5) a subtitle was added
Subjects: Programming Languages (cs.PL)
[926]  arXiv:1406.6633 [pdf, other]
Title: Active Learning and Best-Response Dynamics
Subjects: Machine Learning (cs.LG); Computer Science and Game Theory (cs.GT)
[927]  arXiv:1406.6647 [pdf, ps, other]
Title: Extract Secrets from Wireless Channel: A New Shape-based Approach
Subjects: Cryptography and Security (cs.CR); Information Theory (cs.IT)
[928]  arXiv:1406.6651 [pdf, other]
Title: Causality Networks
Comments: 22 pages, 8 figures
Subjects: Machine Learning (cs.LG); Information Theory (cs.IT); Statistical Finance (q-fin.ST); Machine Learning (stat.ML)
[929]  arXiv:1406.6667 [pdf, other]
Title: Tupleware: Redefining Modern Analytics
Subjects: Databases (cs.DB)
[930]  arXiv:1406.6672 [pdf, ps, other]
Title: Rental harmony with roommates
Comments: forthcoming in Journal of Economic Theory
Subjects: Computer Science and Game Theory (cs.GT)
[931]  arXiv:1406.6683 [pdf, ps, other]
Title: Parametric LTL on Markov Chains
Comments: TCS Track B 2014
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[932]  arXiv:1406.6705 [pdf]
Title: Link Analysis for Communities Detection on Facebook
Comments: 15 pages, 7 figures, International Journal of Data Mining And Emerging Technologies, 2014, Volume 4, Issue 1
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[933]  arXiv:1406.6730 [pdf, other]
Title: Rateless Lossy Compression via the Extremes
Subjects: Information Theory (cs.IT)
[934]  arXiv:1406.6758 [pdf, ps, other]
Title: Information Spectrum Approach to Strong Converse Theorems for Degraded Wiretap Channels
Comments: Presented at Allerton Conference 2014; Submitted to the IEEE Journal of Selected Topics in Signal Processing; v2 corrected typos and strengthened Theorem 4
Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
[935]  arXiv:1406.6764 [pdf]
Title: A factorization criterion for acyclic directed mixed graphs
Comments: Appears in Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence (UAI2009)
Subjects: Artificial Intelligence (cs.AI)
[936]  arXiv:1406.6772 [pdf, other]
Title: MSPlayer: Multi-Source and multi-Path LeverAged YoutubER
Comments: accepted to ACM CoNEXT'14
Subjects: Networking and Internet Architecture (cs.NI); Multimedia (cs.MM)
[937]  arXiv:1406.6773 [pdf, other]
Title: Approximately Optimal Mechanism Design: Motivation, Examples, and Lessons Learned
Authors: Tim Roughgarden
Comments: Based on a talk given by the author at the 15th ACM Conference on Economics and Computation (EC), June 2014
Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS)
[938]  arXiv:1406.6778 [pdf]
Title: Performance Comparison of Two Streaming Data Clustering Algorithms
Subjects: Databases (cs.DB)
[939]  arXiv:1406.6783 [pdf, other]
Title: Evaluation of Codes with Inherent Double Replication for Hadoop
Comments: in Proceedings of Usenix HotStorage, Philadelphia, PA, June 2014
Subjects: Information Theory (cs.IT)
[940]  arXiv:1406.6786 [pdf]
Title: 3D Texture Coordinates on Polygon Mesh Sequences
Authors: Eric Mootz
Subjects: Graphics (cs.GR)
[941]  arXiv:1406.6811 [pdf, ps, other]
Title: Face Image Classification by Pooling Raw Features
Comments: 12 pages
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[942]  arXiv:1406.6812 [pdf, other]
Title: Online learning in MDPs with side information
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[943]  arXiv:1406.6818 [pdf, ps, other]
Title: Face Identification with Second-Order Pooling
Comments: 9 pages
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[944]  arXiv:1406.6829 [pdf, other]
Title: The architecture of innovation: Tracking face-to-face interactions with ubicomp technologies
Comments: 14 pages, 9 figures. To appear in ACM International Joint Conference on Pervasive and Ubiquitous Computing (Ubicomp 2014)
Subjects: Computers and Society (cs.CY); Human-Computer Interaction (cs.HC); Social and Information Networks (cs.SI)
[945]  arXiv:1406.6832 [pdf, other]
Title: Overlapping Community Detection Optimization and Nash Equilibrium
Comments: Submitted to KDD
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph); Machine Learning (stat.ML)
[946]  arXiv:1406.6834 [pdf]
Title: A Model-Based Approach to Impact Analysis Using Model Differencing
Comments: 16 pages, 5 figures, In: Proceedings of the 8th International Workshop on Software Quality and Maintainability (SQM), ECEASST Journal, vol. 65 2014
Subjects: Software Engineering (cs.SE)
[947]  arXiv:1406.6840 [pdf]
Title: From Citation count to Argumentation count: a new metric to indicate the usefulness of an article
Authors: Hardik Joshi
Comments: Technical Conference cum Workshop on Digital Library Using DSpace hosted by Gujarat National Law University on 21-23 March, 2013
Subjects: Information Retrieval (cs.IR); Digital Libraries (cs.DL)
[948]  arXiv:1406.6844 [pdf]
Title: FrameNet Resource Grammar Library for GF
Journal-ref: Controlled Natural Language, Lecture Notes in Computer Science, Vol. 7427, Springer, 2012, pp. 121-137
Subjects: Computation and Language (cs.CL)
[949]  arXiv:1406.6852 [pdf, ps, other]
Title: Frame Based Precoding in Satellite Communications: A Multicast Approach
Comments: Accepted for presentation at the IEEE ASMS 2014
Subjects: Information Theory (cs.IT)
[950]  arXiv:1406.6854 [pdf, other]
Title: A Fully Automated Latent Fingerprint Matcher with Embedded Self-learning Segmentation Module
Subjects: Cryptography and Security (cs.CR); Computer Vision and Pattern Recognition (cs.CV)
[951]  arXiv:1406.6859 [pdf, ps, other]
Title: Combinatorial Voter Control in Elections
Comments: An extended abstract appears in MFCS 2014
Subjects: Multiagent Systems (cs.MA); Computer Science and Game Theory (cs.GT)
[952]  arXiv:1406.6873 [pdf, other]
Title: Designing a minimalist socially aware robotic agent for the home
Comments: 8 pages, 10 figures, To be published in the ALIFE 14 conference proceedings
Subjects: Robotics (cs.RO); Human-Computer Interaction (cs.HC)
[953]  arXiv:1406.6889 [pdf, other]
Title: Noncooperative algorithms in self-assembly
Comments: A few bug fixes and typo corrections
Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)
[954]  arXiv:1406.6901 [pdf]
Title: Pattern-wave model of brain. Mechanisms of information processing, memory organization
Authors: Alexey Redozubov
Subjects: Artificial Intelligence (cs.AI); Neurons and Cognition (q-bio.NC)
[955]  arXiv:1406.6909 [pdf, other]
Title: Discriminative Unsupervised Feature Learning with Exemplar Convolutional Neural Networks
Comments: PAMI submission. Includes matching experiments as in arXiv:1405.5769v1. Also includes new network architectures, experiments on Caltech-256, experiment on combining Exemplar-CNN with clustering
Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Neural and Evolutionary Computing (cs.NE)
[956]  arXiv:1406.6920 [pdf, ps, other]
Title: On tight bounds for binary frameproof codes
Subjects: Information Theory (cs.IT); Combinatorics (math.CO)
[957]  arXiv:1406.6924 [pdf, ps, other]
Title: Strongly stable ideals and Hilbert polynomials
Comments: Source code available as an ancillary file. Final version
Journal-ref: J. Softw. Alg. Geom. 9 (2019) 1-9
Subjects: Symbolic Computation (cs.SC); Mathematical Software (cs.MS); Commutative Algebra (math.AC); Algebraic Geometry (math.AG); Combinatorics (math.CO)
[958]  arXiv:1406.6937 [pdf, other]
Title: A Family of Simulation Criteria to Guide DEVS Models Validation Rigorously, Systematically and Semi-Automatically
Subjects: Software Engineering (cs.SE)
[959]  arXiv:1406.6946 [pdf]
Title: An improved computer vision method for detecting white blood cells
Comments: 20 Pages. arXiv admin note: text overlap with arXiv:1405.5164
Journal-ref: Computational and Mathematical Methods in Medicine, 2013, art. no. 137392
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[960]  arXiv:1406.6947 [pdf, other]
Title: Deep Learning Multi-View Representation for Face Recognition
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[961]  arXiv:1406.6950 [pdf, other]
Title: A Dynamic Embedding Algorithm for Wireless Network Virtualization
Comments: 6 pages, Accepted in VTC Fall 2014
Subjects: Networking and Internet Architecture (cs.NI)
[962]  arXiv:1406.6956 [pdf, other]
Title: Minimax Estimation of Functionals of Discrete Distributions
Comments: To appear in IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT); Statistics Theory (math.ST)
[963]  arXiv:1406.6959 [pdf, ps, other]
Title: Maximum Likelihood Estimation of Functionals of Discrete Distributions
Comments: 27 pages, 1 figure, published in IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT); Statistics Theory (math.ST)
[964]  arXiv:1406.6962 [pdf, other]
Title: How good are detection proposals, really?
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[965]  arXiv:1406.6973 [pdf, other]
Title: Communicating and resolving entity references
Authors: R.V.Guha
Comments: 18 pages, 4 figures
Subjects: Artificial Intelligence (cs.AI)
[966]  arXiv:1406.6998 [pdf, ps, other]
Title: Low-Complexity Variable Forgetting Factor Constrained Constant Modulus RLS Algorithm for Adaptive Beamforming
Comments: 10 pages, 4 figures, Elsevier Signal Processing, 2014
Subjects: Other Computer Science (cs.OH)
[967]  arXiv:1406.7000 [pdf, ps, other]
Title: Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models
Authors: Radoslaw Klimek
Subjects: Software Engineering (cs.SE)
[968]  arXiv:1406.7002 [pdf, ps, other]
Title: A Concise Information-Theoretic Derivation of the Baum-Welch algorithm
Subjects: Information Theory (cs.IT); Machine Learning (cs.LG)
[969]  arXiv:1406.7025 [pdf, other]
Title: DASS: Detail Aware Sketch-Based Surface Modeling
Subjects: Graphics (cs.GR)
[970]  arXiv:1406.7036 [pdf]
Title: Low-Latency Successive-Cancellation List Decoders for Polar Codes with Multi-bit Decision
Comments: submitted to IEEE TVLSI in Feb 2014, accepted in Sep. 2014
Subjects: Information Theory (cs.IT)
[971]  arXiv:1406.7042 [pdf, other]
Title: Structure-Preserving Reduction of Finite-Difference Time-Domain Equations with Controllable Stability Beyond the CFL Limit
Journal-ref: IEEE Trans. Microw. Theory Techn., vol. 62, no. 12, pp. 3228-3238, 2014
Subjects: Computational Engineering, Finance, and Science (cs.CE); Computational Physics (physics.comp-ph)
[972]  arXiv:1406.7048 [pdf]
Title: Global Internet-based Crisis Communication: A case Study on SARS
Authors: Ong Sing Goh
Comments: International Journal of Intelligent Information Technologies, Inaugural Issue: January 2005, Idea Group Publishing, ISSN: 1548-3657, USA
Subjects: Computers and Society (cs.CY)
[973]  arXiv:1406.7049 [pdf, ps, other]
Title: A Scalable Mobility-Centric Architecture for Named Data Networking
Subjects: Networking and Internet Architecture (cs.NI)
[974]  arXiv:1406.7054 [pdf, other]
Title: Distortion-Aware Concurrent Multipath Transfer for Mobile Video Streaming in Heterogeneous Wireless Networks
Comments: This paper has already accepted for publication in IEEE Transactions on Mobile Computing on Jun, 23rd, 2014
Subjects: Networking and Internet Architecture (cs.NI)
[975]  arXiv:1406.7061 [pdf]
Title: Evolution and Detection of Polymorphic and Metamorphic Malwares: A Survey
Comments: 5 Pages
Journal-ref: International Journal of Computer Applications, 2014, Vol. 90, No. 2, p. 7
Subjects: Cryptography and Security (cs.CR)
[976]  arXiv:1406.7062 [pdf, other]
Title: Adaptive Mesh Representation and Restoration of Biomedical Images
Authors: Ke Liu, Ming Xu, Zeyun Yu
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[977]  arXiv:1406.7068 [pdf, other]
Title: Analysis of Coverage Region for MIMO Relay Network with Multiple Cooperative DF-Relays
Comments: Accepted for publication in International Symposium on Wireless Communication Systems (ISWCS) 2014
Subjects: Information Theory (cs.IT)
[978]  arXiv:1406.7075 [pdf]
Title: Adaptive texture energy measure method
Journal-ref: International Journal of Intelligent Information Systems. Vol. 3, No. 2, 2014, pp. 13-18
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[979]  arXiv:1406.7078 [pdf, ps, other]
Title: Close to Uniform Prime Number Generation With Fewer Random Bits
Comments: Full version of ICALP 2014 paper. Alternate version of IACR ePrint Report 2011/481
Subjects: Cryptography and Security (cs.CR); Number Theory (math.NT)
[980]  arXiv:1406.7091 [pdf]
Title: Do altmetrics point to the broader impact of research? An overview of benefits and disadvantages of altmetrics
Authors: Lutz Bornmann
Comments: Accepted for publication in the Journal of Informetrics
Subjects: Digital Libraries (cs.DL); Physics and Society (physics.soc-ph); Applications (stat.AP)
[981]  arXiv:1406.7092 [pdf, ps, other]
Title: On zero-rate error exponents of finite-state channels with input-dependent states
Authors: Neri Merhav
Comments: 22 pages; submitted to IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT)
[982]  arXiv:1406.7093 [pdf]
Title: Using multi-categorization semantic analysis and personalization for semantic search
Authors: Yinglong Ma, Moyi Shi
Comments: 15 pages
Subjects: Information Retrieval (cs.IR)
[983]  arXiv:1406.7098 [pdf, ps, other]
Title: Caching Piggyback Information for Efficient Index Code Transmission
Comments: This paper has been accepted for publication in the 39th IEEE Conference on Local Computer Networks (LCN) to be held in Edmonton, Canada, Sep. 8-11, 2014
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[984]  arXiv:1406.7107 [pdf, other]
Title: A branch and price procedure for the container premarshalling problem
Subjects: Data Structures and Algorithms (cs.DS)
[985]  arXiv:1406.7112 [pdf, ps, other]
Title: 3D planar patch extraction from stereo using probabilistic region growing
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[986]  arXiv:1406.7116 [pdf, ps, other]
Title: Maximum Multipath Routing Throughput in Multirate Wireless Mesh Networks
Comments: This paper has been accepted for publication in IEEE 80th Vehicular Technology Conference, VTC-Fall 2014
Subjects: Networking and Internet Architecture (cs.NI)
[987]  arXiv:1406.7120 [pdf, other]
Title: Template Matching based Object Detection Using HOG Feature Pyramid
Authors: Anish Acharya
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[988]  arXiv:1406.7124 [pdf, ps, other]
Title: UWB Signal Detection by Cyclic Features
Subjects: Information Theory (cs.IT)
[989]  arXiv:1406.7128 [pdf, ps, other]
Title: On a new formulation of nonlocal image filters involving the relative rearrangement
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[990]  arXiv:1406.7136 [pdf]
Title: Verifying Component and Connector Models against Crosscutting Structural Views
Comments: 11 pages, 8 figures
Journal-ref: 36th International Conference on Software Engineering (ICSE 2014). Pages 95-105. Hyderabad, India, ACM New York, June 2014
Subjects: Software Engineering (cs.SE)
[991]  arXiv:1406.7157 [pdf, other]
Title: An Incentive Compatible Multi-Armed-Bandit Crowdsourcing Mechanism with Quality Assurance
Subjects: Computer Science and Game Theory (cs.GT); Machine Learning (cs.LG)
[992]  arXiv:1406.7168 [pdf]
Title: Co-occurrence matrices of time series applied to literary works
Comments: Literary experiments, Time series, Co-occurrence plots, Harry Potter
Journal-ref: ijSciences, 2014, Volume 3, Issue 7, Pages: 12-18
Subjects: Computers and Society (cs.CY)
[993]  arXiv:1406.7196 [pdf, ps, other]
Title: Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem
Comments: Submitted to Annals of Operations research
Subjects: Artificial Intelligence (cs.AI)
[994]  arXiv:1406.7197 [pdf, other]
Title: Evolution of Online User Behavior During a Social Upheaval
Comments: Best Paper Award at ACM Web Science 2014
Journal-ref: Proceedings of the 2014 ACM conference on Web science, Pages 81-90
Subjects: Social and Information Networks (cs.SI); Computers and Society (cs.CY); Data Analysis, Statistics and Probability (physics.data-an); Physics and Society (physics.soc-ph)
[995]  arXiv:1406.7210 [pdf, ps, other]
Title: Asymptotic Stability and Decay Rates of Homogeneous Positive Systems With Bounded and Unbounded Delays
Comments: SIAM Journal on Control and Optimization
Journal-ref: SIAM Journal on Control and Optimization, 52(4), pp. 2623-2650, 2014
Subjects: Systems and Control (eess.SY)
[996]  arXiv:1406.7226 [pdf]
Title: Securing Medical Images by Watermarking Using DWT DCT and SVD
Comments: 9 pages, 14 figures, 4 tables, Published with International Journal of Computer Trends and Technology (IJCTT)
Journal-ref: International Journal of Computer Trends and Technology (IJCTT) V12(2):67-74, June 2014. ISSN:2231-2803. Published by Seventh Sense Research Group
Subjects: Multimedia (cs.MM)
[997]  arXiv:1406.7264 [pdf, other]
Title: Repairable Block Failure Resilient Codes
Subjects: Information Theory (cs.IT)
[998]  arXiv:1406.7279 [pdf, ps, other]
Title: Guruswami-Sinop Rounding without Higher Level Lasserre
Subjects: Data Structures and Algorithms (cs.DS)
[999]  arXiv:1406.7285 [pdf]
Title: Near-Optimal Virtual Machine Packing Based on Resource Requirement of Service Demands Using Pattern Clustering
Journal-ref: IJASCSE journal, Volume 3, Issue 6, JUNE 2014
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI); Performance (cs.PF)
[1000]  arXiv:1406.7288 [pdf, other]
Title: Linearized and Single-Pass Belief Propagation
Comments: 17 pages, 11 figures, 4 algorithms. Includes following major changes since v1: renaming of "turbo BP" to "single-pass BP", convergence criteria now give sufficient *and* necessary conditions, more detailed experiments, more detailed comparison with prior BP convergence results, overall improved exposition
Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI)
[1001]  arXiv:1406.7289 [pdf, ps, other]
Title: On The Reachability Problem for Recursive Hybrid Automata with One and Two Players
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[1002]  arXiv:1406.7314 [pdf]
Title: On the Use of Different Feature Extraction Methods for Linear and Non Linear kernels
Comments: 8 pages, 3 Figures
Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG)
[1003]  arXiv:1406.7315 [pdf, other]
Title: Diversity versus Multiplexing at Finite Blocklength
Comments: Proc. IEEE Int. Symp. Wirel. Comm. Syst. (ISWCS), Aug. 2014, to appear
Subjects: Information Theory (cs.IT)
[1004]  arXiv:1406.7330 [pdf, other]
Title: Stock Market Prediction from WSJ: Text Mining via Sparse Matrix Factorization
Subjects: Machine Learning (cs.LG); Statistical Finance (q-fin.ST)
[1005]  arXiv:1406.7338 [pdf, other]
Title: Order-Independent Texture Synthesis
Authors: Li-Yi Wei, Marc Levoy
Comments: This is a combination of Stanford Computer Science Department Technical Report 2002-01 and a subsequent submission to SIGGRAPH 2003
Subjects: Graphics (cs.GR)
[1006]  arXiv:1406.7360 [pdf, other]
Title: A framework for improving the performance of verification algorithms with a low false positive rate requirement and limited training data
Comments: IEEE/IAPR International Joint Conference on Biometrics, 2014
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1007]  arXiv:1406.7363 [pdf, ps, other]
Title: On the Synchronization Rate for e-machines
Comments: A result about computing prediction rate constant has been added
Subjects: Information Theory (cs.IT); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)
[1008]  arXiv:1406.7367 [pdf, other]
Title: Geo-Social Group Queries with Minimum Acquaintance Constraint
Comments: This is the preprint version that is accepted by the Very Large Data Bases Journal
Subjects: Databases (cs.DB); Social and Information Networks (cs.SI)
[1009]  arXiv:1406.7371 [pdf]
Title: Using Apriori with WEKA for Frequent Pattern Mining
Comments: 5 Pages, 4 Figures, "Published with International Journal of Engineering Trends and Technology (IJETT)"
Journal-ref: International Journal of Engineering Trends and Technology (IJETT), V12(3), 127-131, June 2014
Subjects: Databases (cs.DB)
[1010]  arXiv:1406.7373 [pdf, ps, other]
Title: How to Achieve the Capacity of Asymmetric Channels
Comments: 32 pages, 4 figures, presented in part at Allerton'14 and published in IEEE Trans. Inform. Theory
Subjects: Information Theory (cs.IT)
[1011]  arXiv:1406.7377 [pdf]
Title: A New Approach for Finding Cloned Profiles in Online Social Networks
Subjects: Cryptography and Security (cs.CR); Social and Information Networks (cs.SI)
[1012]  arXiv:1406.7395 [src]
Title: A Guard Zone Based Scalable Mode Selection Scheme in D2D Underlaid Cellular Networks
Comments: This paper has been withdrawn by the author due to the error in the proposition proof and simulation setting. The proof of the proposition has some flaws currently and needs to be refined. The simulation also needs to be re-run due to the error in parameter setting. For the same reason, the numerical results also need to be re-configured and re-calculated
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[1013]  arXiv:1406.7398 [pdf, ps, other]
Title: A framework for good SAT translations, with applications to CNF representations of XOR constraints
Comments: 67 pages; second version with extended discussion of literature. Continues arXiv:1309.3060
Subjects: Computational Complexity (cs.CC)
[1014]  arXiv:1406.7399 [pdf]
Title: Intelligent Emergency Message Broadcasting in VANET Using PSO
Comments: 11 pages
Journal-ref: World of Computer Science and Information Technology Journal (WCSIT) ISSN: 2221-0741 Vol. 4, No. 7, 90-100, 2014
Subjects: Networking and Internet Architecture (cs.NI); Neural and Evolutionary Computing (cs.NE)
[1015]  arXiv:1406.7405 [pdf]
Title: Performance evaluation on the basis of Bit error rate for different order of Modulation and different length of Subchannels in ofdm system
Authors: Sutanu Ghosh
Comments: Journal Paper With 9 Pages (Number of Figures - 06), International Journal of Mobile Network Communications & Telematics (IJMNCT), June 2014
Subjects: Information Theory (cs.IT)
[1016]  arXiv:1406.7423 [pdf]
Title: An Efficient Read Dominant Data Replication Protocol under Serial Isolation using Quorum Consensus Approach
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[1017]  arXiv:1406.7424 [pdf, other]
Title: Complexity Measures and Concept Learning
Comments: 27 pages, 7 tables, 1 figure. Accepted for publication in Journal of Mathematical Psychology, in press
Journal-ref: Journal of Mathematical Psychology, vol. 64-65, pp. 66-75, 2015
Subjects: Information Theory (cs.IT); Machine Learning (cs.LG)
[1018]  arXiv:1406.7429 [pdf, ps,