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

Computer Science

Authors and titles for Jan 2015, skipping first 550

[ total of 1305 entries: 1-250 | 51-300 | 301-550 | 551-800 | 801-1050 | 1051-1300 | 1301-1305 ]
[ showing 250 entries per page: fewer | more | all ]
[551]  arXiv:1501.04010 [pdf, other]
Title: Coevolutionary intransitivity in games: A landscape analysis
Authors: Hendrik Richter
Journal-ref: In: Applications of Evolutionary Computation - EvoApplications 2015, (Eds.: A. M. Mora, G. Squillero), Lecture Notes in Computer Science, Vol. 9028, Springer-Verlag, Berlin, 2015, 869-881
Subjects: Neural and Evolutionary Computing (cs.NE); Populations and Evolution (q-bio.PE)
[552]  arXiv:1501.04036 [pdf, ps, other]
Title: An Improvement of the Cipolla-Lehmer Type Algorithms
Subjects: Cryptography and Security (cs.CR)
[553]  arXiv:1501.04038 [pdf, other]
Title: A Backend Framework for the Efficient Management of Power System Measurements
Comments: Published in Electric Power Systems Research (2016), not available yet
Subjects: Databases (cs.DB); Physics and Society (physics.soc-ph)
[554]  arXiv:1501.04041 [pdf, other]
Title: Designing Low Cost and Energy Efficient Access Network for the Developing World
Subjects: Networking and Internet Architecture (cs.NI)
[555]  arXiv:1501.04044 [pdf, other]
Title: Phase Identification in Distribution Networks with Micro-Synchrophasors
Comments: 5 Pages, PESGM2015, Denver, CO
Subjects: Systems and Control (eess.SY); General Topology (math.GN); Data Analysis, Statistics and Probability (physics.data-an)
[556]  arXiv:1501.04053 [pdf, other]
Title: Stochastic Local Interaction (SLI) Model: Interfacing Machine Learning and Geostatistics
Comments: 31 pages, 7 figures
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[557]  arXiv:1501.04056 [pdf, other]
Title: NLP Solutions as Asymptotic Values of ODE Trajectories
Authors: Mazen Alamir
Subjects: Systems and Control (eess.SY)
[558]  arXiv:1501.04058 [pdf, ps, other]
Title: Power Control and Soft Topology Adaptations in Multihop Cellular Networks with Multi-Point Connectivity
Comments: 14 pages, 12 figures, To appear in IEEE Transactions on Communications 2015, Index Terms: Resource allocation, hetereogenous networks, coordinated multipoint transmission, dual connectivity
Journal-ref: IEEE Transactions on Communications, Vol. 63, No. 3, PP. 683-694, March 2015
Subjects: Information Theory (cs.IT)
[559]  arXiv:1501.04100 [pdf, other]
Title: Spatial Interpolants
Comments: Short version published in ESOP 2015
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[560]  arXiv:1501.04132 [pdf, other]
Title: IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version)
Comments: Extended version of POST'15 paper; 31 pages
Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)
[561]  arXiv:1501.04138 [pdf, other]
Title: Ricci Curvature of the Internet Topology
Comments: 9 pages, 16 figures. To be appear on INFOCOM 2015
Subjects: Social and Information Networks (cs.SI); Computational Geometry (cs.CG); Networking and Internet Architecture (cs.NI); Physics and Society (physics.soc-ph)
[562]  arXiv:1501.04140 [pdf, ps, other]
Title: A Fast Fractal Image Compression Algorithm Using Predefined Values for Contrast Scaling
Comments: 5 pages
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[563]  arXiv:1501.04143 [pdf, ps, other]
Title: Communication and games in the online foreign language educational system. User behavior study
Subjects: Human-Computer Interaction (cs.HC); Computers and Society (cs.CY)
[564]  arXiv:1501.04147 [pdf, other]
Title: Categorified Reeb Graphs
Subjects: Computational Geometry (cs.CG)
[565]  arXiv:1501.04152 [pdf, ps, other]
Title: Efficient Sensor Fault Detection Using Group Testing
Subjects: Systems and Control (eess.SY)
[566]  arXiv:1501.04155 [pdf, ps, other]
Title: Real Time Collaborative Platform for Learning and Teaching Foreign Languages
Subjects: Human-Computer Interaction (cs.HC); Computers and Society (cs.CY)
[567]  arXiv:1501.04156 [pdf, ps, other]
Title: User involvement in the partner program of the educational social network
Subjects: Human-Computer Interaction (cs.HC); Computers and Society (cs.CY)
[568]  arXiv:1501.04157 [pdf, ps, other]
Title: Monetization as a Motivator for the Freemium Educational Platform Growth
Subjects: Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)
[569]  arXiv:1501.04158 [pdf, other]
Title: On the Performance of ConvNet Features for Place Recognition
Subjects: Robotics (cs.RO); Computer Vision and Pattern Recognition (cs.CV)
[570]  arXiv:1501.04163 [pdf, other]
Title: Meaningful Objects Segmentation from SAR Images via A Multi-Scale Non-Local Active Contour Model
Journal-ref: IEEE Trans. Geoscience and Remote Sensing, Vol. 54, No.3, pp.1860 - 1873, 2016
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[571]  arXiv:1501.04167 [pdf, other]
Title: An optical image encryption scheme based on depth-conversion integral imaging and chaotic maps
Comments: 18 pages, 12 figures
Subjects: Cryptography and Security (cs.CR)
[572]  arXiv:1501.04177 [pdf, other]
Title: Second International Nurse Rostering Competition (INRC-II) --- Problem Description and Rules ---
Subjects: Artificial Intelligence (cs.AI)
[573]  arXiv:1501.04183 [pdf, ps, other]
Title: Holographic Transformation, Belief Propagation and Loop Calculus for Generalized Probabilistic Theories
Authors: Ryuhei Mori
Comments: 6 pages, to appear in ISIT 2015
Subjects: Information Theory (cs.IT); Statistical Mechanics (cond-mat.stat-mech); Quantum Physics (quant-ph)
[574]  arXiv:1501.04186 [pdf, other]
Title: New Directions in Anonymization: Permutation Paradigm, Verifiability by Subjects and Intruders, Transparency to Users
Comments: 27 pages, 3 figures
Subjects: Databases (cs.DB); Cryptography and Security (cs.CR)
[575]  arXiv:1501.04192 [pdf, ps, other]
Title: Design of a Transport Triggered Architecture Processor for Flexible Iterative Turbo Decoder
Comments: 6 pages, 4 figures, conference
Subjects: Hardware Architecture (cs.AR)
[576]  arXiv:1501.04199 [pdf, other]
Title: Distributed Resource Allocation in D2D-Enabled Multi-tier Cellular Networks: An Auction Approach
Comments: A part of this work appeared in proceedings of IEEE ICC 2015 - Mobile and Wireless Networking Symposium
Subjects: Networking and Internet Architecture (cs.NI); Computer Science and Game Theory (cs.GT)
[577]  arXiv:1501.04200 [pdf, other]
Title: Analysis of Massive MIMO With Hardware Impairments and Different Channel Models
Comments: 5 pages, 5 figures
Subjects: Information Theory (cs.IT)
[578]  arXiv:1501.04204 [pdf, other]
Title: Retrospective Interference Alignment for the MIMO Interference Broadcast Channel
Comments: 1 copyright page + 5 paper pages + 3 appendix pages, Submitted to IEEE ISIT 2015
Subjects: Information Theory (cs.IT)
[579]  arXiv:1501.04223 [pdf, other]
Title: Optimal Signaling of MISO Full-Duplex Two-Way Wireless Channel
Comments: To appear in IEEE ICC 2015, London, UK
Subjects: Information Theory (cs.IT)
[580]  arXiv:1501.04228 [pdf, ps, other]
Title: Improved IIR Low-Pass Smoothers and Differentiators with Tunable Delay
Authors: Hugh L. Kennedy
Comments: To appear in Proc. International Conference on Digital Image Computing: Techniques and Applications (DICTA), Adelaide, 23rd-25th Nov. 2015
Subjects: Information Theory (cs.IT)
[581]  arXiv:1501.04232 [pdf, other]
Title: Maximum Entropy Models of Shortest Path and Outbreak Distributions in Networks
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[582]  arXiv:1501.04242 [pdf, ps, other]
Title: The Information-theoretic and Algorithmic Approach to Human, Animal and Artificial Cognition
Comments: 22 pages. Forthcoming in Gordana Dodig-Crnkovic and Raffaela Giovagnoli (eds). Representation and Reality: Humans, Animals and Machines, Springer Verlag
Subjects: Artificial Intelligence (cs.AI)
[583]  arXiv:1501.04244 [pdf, other]
Title: Generalised Random Forest Space Overview
Authors: Miron B. Kursa
Subjects: Machine Learning (cs.LG)
[584]  arXiv:1501.04245 [pdf, other]
Title: Complexity of Problems of Commutative Grammars
Authors: Eryk Kopczynski (University of Warsaw)
Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 1 (March 25, 2015) lmcs:875
Subjects: Formal Languages and Automata Theory (cs.FL)
[585]  arXiv:1501.04254 [pdf, ps, other]
Title: Service Provisioning and Profit Maximization in Network-assisted Adaptive HTTP Streaming
Comments: ICIP 2015 submission
Subjects: Networking and Internet Architecture (cs.NI); Multimedia (cs.MM)
[586]  arXiv:1501.04260 [pdf, ps, other]
Title: Disease spread over randomly switched large-scale networks
Subjects: Systems and Control (eess.SY); Social and Information Networks (cs.SI); Populations and Evolution (q-bio.PE)
[587]  arXiv:1501.04262 [pdf, other]
Title: Lower Bounds in the Preprocessing and Query Phases of Routing Algorithms
Authors: Colin White
Subjects: Data Structures and Algorithms (cs.DS)
[588]  arXiv:1501.04263 [pdf, ps, other]
Title: On the Dirty Paper Channel with Fast Fading Dirt
Subjects: Information Theory (cs.IT)
[589]  arXiv:1501.04264 [pdf, other]
Title: Achieving Arbitrary Locality and Availability in Binary Codes
Comments: 5 pages
Subjects: Information Theory (cs.IT)
[590]  arXiv:1501.04265 [pdf, ps, other]
Title: Evolutionary Stable Strategies in Games with Fuzzy Payoffs
Authors: Haozhen Situ
Journal-ref: Artificial Intelligence Evolution, 1(2): 63-71 (2020)
Subjects: Computer Science and Game Theory (cs.GT)
[591]  arXiv:1501.04267 [pdf, ps, other]
Title: Comment on "Clustering by fast search and find of density peaks"
Subjects: Machine Learning (cs.LG)
[592]  arXiv:1501.04272 [pdf, ps, other]
Title: Some Gabidulin Codes cannot be List Decoded Efficiently at any Radius
Subjects: Information Theory (cs.IT)
[593]  arXiv:1501.04276 [pdf, other]
Title: Correlation Adaptive Subspace Segmentation by Trace Lasso
Comments: International Conference on Computer Vision (ICCV), 2013
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[594]  arXiv:1501.04277 [pdf, other]
Title: Correntropy Induced L2 Graph for Robust Subspace Clustering
Comments: International Conference on Computer Vision (ICCV), 2013
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[595]  arXiv:1501.04281 [pdf, other]
Title: Grouping Entities in a Fleet by Community Detection in Network of Regression Models
Comments: 8 pages, 4 figures
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[596]  arXiv:1501.04282 [pdf, ps, other]
Title: Regularized maximum correntropy machine
Subjects: Machine Learning (cs.LG)
[597]  arXiv:1501.04284 [pdf, ps, other]
Title: Pairwise Constraint Propagation on Multi-View Data
Authors: Zhiwu Lu, Liwei Wang
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
[598]  arXiv:1501.04292 [pdf, ps, other]
Title: Image classification by visual bag-of-words refinement and reduction
Journal-ref: Neurocomputing 173: 373-384 (2016)
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[599]  arXiv:1501.04298 [pdf, ps, other]
Title: A Hybrid Approach to Web Service Recommendation Based on QoS-Aware Rating and Ranking
Comments: 23 pages, 9 figures, and 2 tables
Subjects: Information Retrieval (cs.IR); Software Engineering (cs.SE)
[600]  arXiv:1501.04301 [pdf, other]
Title: WiGest: A Ubiquitous WiFi-based Gesture Recognition System
Comments: Accepted for publication in INFOCOM 2015
Subjects: Human-Computer Interaction (cs.HC)
[601]  arXiv:1501.04309 [pdf, ps, other]
Title: Information Theory and its Relation to Machine Learning
Authors: Bao-Gang Hu
Comments: 10 pages, 6 figures, 1 table
Subjects: Information Theory (cs.IT); Machine Learning (cs.LG)
[602]  arXiv:1501.04310 [pdf, ps, other]
Title: On Channel Estimation for 802.11p in Highly Time-Varying Vehicular Channels
Comments: 6 pages, 11 figures, conference
Journal-ref: IEEE International Conference on Communications (ICC), 10-14 June 2014, pp.5659--5664
Subjects: Information Theory (cs.IT)
[603]  arXiv:1501.04312 [pdf, ps, other]
Title: On the Degrees of Freedom for Opportunistic Interference Alignment with 1-Bit Feedback: The 3 Cell Case
Subjects: Information Theory (cs.IT)
[604]  arXiv:1501.04317 [pdf, other]
Title: Semi-Active Control of the Sway Dynamics for Elevator Ropes
Subjects: Systems and Control (eess.SY)
[605]  arXiv:1501.04318 [pdf, other]
Title: Clustering based on the In-tree Graph Structure and Affinity Propagation
Authors: Teng Qiu, Yongjie Li
Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (stat.ML)
[606]  arXiv:1501.04324 [pdf, ps, other]
Title: Phrase Based Language Model For Statistical Machine Translation
Authors: Jia Xu, Geliang Chen
Comments: 5 pages. This version of the paper was submitted for review to EMNLP 2013. The title, the idea and the content of this paper was presented by the first author in the machine translation group meeting at the MSRA-NLC lab (Microsoft Research Asia, Natural Language Computing) on July 16, 2013
Subjects: Computation and Language (cs.CL)
[607]  arXiv:1501.04325 [pdf, other]
Title: Deep Belief Nets for Topic Modeling
Comments: Accepted to the ICML-2014 Workshop on Knowledge-Powered Deep Learning for Text Mining
Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Machine Learning (stat.ML)
[608]  arXiv:1501.04328 [pdf, other]
Title: Exploiting Network Awareness to Enhance DASH Over Wireless
Subjects: Networking and Internet Architecture (cs.NI)
[609]  arXiv:1501.04330 [pdf, ps, other]
Title: A High-Gain Nonlinear Observer with Limited Gain Power
Comments: 6 pages, 2 figures
Journal-ref: IEEE Transactions on Automatic Control, Volume: 60, Issue: 11, Page(s): 3059 - 3064, Nov. 2015
Subjects: Systems and Control (eess.SY)
[610]  arXiv:1501.04343 [pdf, other]
Title: Algorithms for Scheduling Malleable Cloud Tasks
Comments: The conference version of this manuscript appeared at the 53rd Annual Allerton Conference on Communication, Control, and Computing, 2015
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)
[611]  arXiv:1501.04344 [pdf, ps, other]
Title: Asymptotic bounds of depth for a reversible circuit consisting of NOT, CNOT and 2-CNOT gates
Comments: In Russian, 14 pages, 4 figures
Subjects: Emerging Technologies (cs.ET)
[612]  arXiv:1501.04348 [pdf, other]
Title: The cost of attack in competing networks
Comments: 8 two-column pages, 6 figures, supplementary material; accepted for publication in Journal of the Royal Society Interface
Journal-ref: J. R. Soc. Interface 12 (2015) 20150770
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[613]  arXiv:1501.04354 [pdf, ps, other]
Title: Coinduction: an elementary approach
Authors: Łukasz Czajka
Comments: Parts of this paper appear in arXiv:1808.05481
Subjects: Logic in Computer Science (cs.LO)
[614]  arXiv:1501.04358 [pdf, other]
Title: Does Learning Imply a Decrease in the Entropy of Behavior?
Authors: Paul E. Smaldino
Comments: 14 pages, 7 figures, 1 table
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI)
[615]  arXiv:1501.04359 [pdf, other]
Title: Realization and Extension of Abstract Operation Contracts for Program Logic
Authors: Maria Pelevina
Subjects: Software Engineering (cs.SE)
[616]  arXiv:1501.04367 [pdf, other]
Title: Reconstruction-free action inference from compressive imagers
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[617]  arXiv:1501.04370 [pdf, other]
Title: Structure Learning in Bayesian Networks of Moderate Size by Efficient Sampling
Comments: 51 pages
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Machine Learning (stat.ML)
[618]  arXiv:1501.04376 [pdf, ps, other]
Title: Optimal Power Allocation for Secure Communications in Large-Scale MIMO Relaying Systems
Comments: 6 pages, 6 figures, ICC 2015
Subjects: Information Theory (cs.IT)
[619]  arXiv:1501.04378 [pdf, other]
Title: Instance Significance Guided Multiple Instance Boosting for Robust Visual Tracking
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[620]  arXiv:1501.04388 [pdf, other]
Title: Chromatic and flow polynomials of generalized vertex join graphs and outerplanar graphs
Comments: 14 pages
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[621]  arXiv:1501.04394 [pdf, ps, other]
Title: Band Splitting Permutations for Spatially Coupled LDPC Codes Enhancing Burst Erasure Immunity
Comments: 5 pages, submitted to ISIT 2015
Subjects: Information Theory (cs.IT)
[622]  arXiv:1501.04395 [pdf, other]
Title: Spherical Harmonic Expansion of Fisher-Bingham Distribution and 3D Spatial Fading Correlation for Multiple-Antenna Systems
Comments: 9 pages, 8 figures, IEEE Transactions on Vehicular Technology Submission
Subjects: Information Theory (cs.IT)
[623]  arXiv:1501.04402 [pdf, ps, other]
Title: Subgraph Domatic Problem and Writing Capacity of Memory Devises with Restricted State Transitions
Comments: 7 pages
Subjects: Information Theory (cs.IT)
[624]  arXiv:1501.04412 [pdf, ps, other]
Title: Power Allocation Games on Interference Channels with Complete and Partial Information
Comments: arXiv admin note: text overlap with arXiv:1409.7551
Subjects: Information Theory (cs.IT)
[625]  arXiv:1501.04431 [pdf, ps, other]
Title: Field-normalized citation impact indicators and the choice of an appropriate counting method
Subjects: Digital Libraries (cs.DL)
[626]  arXiv:1501.04434 [pdf, other]
Title: "`They brought in the horrible key ring thing!" Analysing the Usability of Two-Factor Authentication in UK Online Banking
Comments: To appear in NDSS Workshop on Usable Security (USEC 2015)
Subjects: Cryptography and Security (cs.CR); Human-Computer Interaction (cs.HC)
[627]  arXiv:1501.04451 [pdf, other]
Title: Bayesian Hypothesis Test using Nonparametric Belief Propagation for Noisy Sparse Recovery
Comments: 14 page, 11 figures, Digitally Published in IEEE Transaction on Signal Processing at Dec. 2014; IEEE Trans. Signal Process., Dec. 2014
Subjects: Information Theory (cs.IT)
[628]  arXiv:1501.04457 [pdf, ps, other]
Title: Mechanism Design with Strategic Mediators
Comments: 46 pages, 1 figure, an extended abstract of this work appeared in ITCS 2015
Subjects: Computer Science and Game Theory (cs.GT)
[629]  arXiv:1501.04466 [pdf, other]
Title: Improving the use of equational constraints in cylindrical algebraic decomposition
Journal-ref: Proceedings of the 40th International Symposium on Symbolic and Algebraic Computation (ISSAC '15), pp. 165--172. ACM, 2015
Subjects: Symbolic Computation (cs.SC)
[630]  arXiv:1501.04473 [pdf, ps, other]
Title: Seeking Black Lining In Cloud
Subjects: Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC)
[631]  arXiv:1501.04478 [pdf, other]
Title: Information Leakage of Heterogeneous Encoded Correlated Sequences over Eavesdropped Channel
Authors: R Balmahoon, L Cheng
Comments: arXiv admin note: substantial text overlap with arXiv:1410.8805
Subjects: Information Theory (cs.IT)
[632]  arXiv:1501.04490 [pdf, other]
Title: On The Capacity of Broadcast Channels With Degraded Message Sets and Message Cognition Under Different Secrecy Constraints
Subjects: Information Theory (cs.IT)
[633]  arXiv:1501.04495 [pdf, other]
Title: N2SID: Nuclear Norm Subspace Identification
Subjects: Systems and Control (eess.SY)
[634]  arXiv:1501.04504 [pdf, other]
Title: TARDIS: Timestamp based Coherence Algorithm for Distributed Shared Memory
Comments: 16 pages
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[635]  arXiv:1501.04505 [pdf, other]
Title: Robust Visual Tracking via Convolutional Networks
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[636]  arXiv:1501.04509 [pdf, ps, other]
Title: Responding to Retrieval: A Proposal to Use Retrieval Information for Better Presentation of Website Content
Journal-ref: Current Trends in Web Engineering. ICWE 2015. Lecture Notes in Computer Science, PP. 103--114, vol 9396. Springer, Cham
Subjects: Information Retrieval (cs.IR)
[637]  arXiv:1501.04511 [pdf, ps, other]
Title: Fragments of ML Decidable by Nested Data Class Memory Automata
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[638]  arXiv:1501.04527 [pdf, other]
Title: Social Networking by Proxy: A Case Study of Catster, Dogster and Hamsterster
Comments: 11 pages; small corrections
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[639]  arXiv:1501.04537 [pdf, other]
Title: Coupled Depth Learning
Comments: 10 pages, 3 Figures, 4 Tables with quantitative evaluations
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[640]  arXiv:1501.04538 [pdf, ps, other]
Title: Mathematical Programs for Belief Propagation and Consensus
Authors: Kwang-Ki K. Kim
Comments: 25 pages, 2 figures, technical report
Subjects: Systems and Control (eess.SY)
[641]  arXiv:1501.04552 [pdf, other]
Title: Solving the Klein-Gordon equation using Fourier spectral methods: A benchmark test for computer performance
Comments: 10 pages
Subjects: Performance (cs.PF); Distributed, Parallel, and Cluster Computing (cs.DC); Numerical Analysis (math.NA)
[642]  arXiv:1501.04553 [pdf, ps, other]
Title: A Heuristic EDF Uplink Scheduler for Real Time Application in WiMAX Communication
Subjects: Networking and Internet Architecture (cs.NI)
[643]  arXiv:1501.04557 [pdf, other]
Title: Precision-Aware application execution for Energy-optimization in HPC node system
Comments: Presented at HIP3ES, 2015 (arXiv: 1501.03064)
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[644]  arXiv:1501.04558 [pdf, other]
Title: From complexity to algebra and back: digraph classes, collapsibility and the PGP
Subjects: Computational Complexity (cs.CC)
[645]  arXiv:1501.04560 [pdf, other]
Title: Transductive Multi-view Zero-Shot Learning
Comments: accepted by IEEE TPAMI, more info and longer report will be available in :this http URL
Subjects: Computer Vision and Pattern Recognition (cs.CV); Data Structures and Algorithms (cs.DS); Multimedia (cs.MM)
[646]  arXiv:1501.04564 [pdf, ps, other]
Title: Analyzing the Impact of Inter Cooperation Region Interference in Coordinated Multi-Point Uplink Networks
Comments: Accepted in IEEE Trans. on Communications (TCOM), Jan. 2015
Subjects: Information Theory (cs.IT)
[647]  arXiv:1501.04572 [pdf, other]
Title: k variables are needed to define k-Clique in first-order logic
Authors: Yuguo He
Comments: 148 pages, 15 figures
Subjects: Logic in Computer Science (cs.LO)
[648]  arXiv:1501.04579 [pdf, other]
Title: Stability of Influence Maximization
Comments: Erratum of Paper "Stability of Influence Maximization" which was presented and published in the KDD14
Subjects: Social and Information Networks (cs.SI)
[649]  arXiv:1501.04587 [pdf, other]
Title: Transferring Rich Feature Hierarchies for Robust Visual Tracking
Subjects: Computer Vision and Pattern Recognition (cs.CV); Neural and Evolutionary Computing (cs.NE)
[650]  arXiv:1501.04659 [pdf, ps, other]
Title: On the impact of topological properties of smart grids in power losses optimization problems
Comments: 35 pages, 38 references
Subjects: Computational Engineering, Finance, and Science (cs.CE); Neural and Evolutionary Computing (cs.NE)
[651]  arXiv:1501.04668 [pdf, ps, other]
Title: A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms
Comments: 8 pages, ISSAC 2015 submission
Subjects: Symbolic Computation (cs.SC); Rings and Algebras (math.RA)
[652]  arXiv:1501.04675 [pdf, other]
Title: Community Detection from Location-Tagged Networks
Authors: Zhi Liu, Yan Huang
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[653]  arXiv:1501.04684 [pdf, other]
Title: Slice Sampling for Probabilistic Programming
Comments: 11 pages
Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[654]  arXiv:1501.04686 [pdf, ps, other]
Title: Deep Convolutional Neural Networks for Action Recognition Using Depth Map Sequences
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[655]  arXiv:1501.04690 [pdf, other]
Title: Naive-Deep Face Recognition: Touching the Limit of LFW Benchmark or Not?
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[656]  arXiv:1501.04691 [pdf, ps, other]
Title: Tracing the boundaries of materials in transparent vessels using computer vision
Authors: Sagi Eppel
Comments: Code and documentation for the method described is freely available at: this http URL
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[657]  arXiv:1501.04692 [pdf, ps, other]
Title: Reflective Network Tomography Based on Compressed Sensing
Subjects: Networking and Internet Architecture (cs.NI)
[658]  arXiv:1501.04703 [pdf, other]
Title: Graph-based Framework for Flexible Baseband Function Splitting and Placement in C-RAN
Comments: 6 Pages, 6 Figures, Accepted by ICC'15
Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
[659]  arXiv:1501.04704 [pdf, ps, other]
Title: Extracting a shape function for a signal with intra-wave frequency modulation
Subjects: Information Theory (cs.IT)
[660]  arXiv:1501.04705 [pdf, other]
Title: Symbol-Decision Successive Cancellation List Decoder for Polar Codes
Comments: 13 pages, 17 figures
Subjects: Information Theory (cs.IT)
[661]  arXiv:1501.04706 [pdf, ps, other]
Title: A Novel Implementation of QuickHull Algorithm on the GPU
Comments: 10 pages, 5 figures
Journal-ref: Heliyon, 2018. 4(1): p. e00512
Subjects: Computational Geometry (cs.CG); Graphics (cs.GR)
[662]  arXiv:1501.04707 [pdf, ps, other]
Title: On the Uniqueness of Sparse Time-Frequency Representation of Multiscale Data
Subjects: Information Theory (cs.IT)
[663]  arXiv:1501.04709 [pdf, ps, other]
Title: Identifying robust communities and multi-community nodes by combining top-down and bottom-up approaches to clustering
Journal-ref: Scientific Reports 5, Article number: 16361 (2015)
Subjects: Computational Engineering, Finance, and Science (cs.CE); Social and Information Networks (cs.SI); Biological Physics (physics.bio-ph); Molecular Networks (q-bio.MN)
[664]  arXiv:1501.04711 [pdf, other]
Title: DeepHash: Getting Regularization, Depth and Fine-Tuning Right
Subjects: Computer Vision and Pattern Recognition (cs.CV); Information Retrieval (cs.IR)
[665]  arXiv:1501.04717 [pdf, other]
Title: Robust Face Recognition by Constrained Part-based Alignment
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
[666]  arXiv:1501.04719 [pdf, other]
Title: Stability of Surface Contacts for Humanoid Robots: Closed-Form Formulae of the Contact Wrench Cone for Rectangular Support Areas
Comments: 14 pages, 4 figures
Subjects: Robotics (cs.RO)
[667]  arXiv:1501.04721 [pdf, other]
Title: Two-Stage Subspace Constrained Precoding in Massive MIMO Cellular Systems
Authors: An Liu, Vincent Lau
Comments: 13 pages, accepted by IEEE Transactions on Wireless Communications
Subjects: Information Theory (cs.IT)
[668]  arXiv:1501.04725 [pdf, other]
Title: Learning Invariants using Decision Trees
Comments: 15 pages, 2 figures
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)
[669]  arXiv:1501.04730 [pdf, other]
Title: Static Analysis of File-Processing Programs using File Format Specifications
Subjects: Programming Languages (cs.PL)
[670]  arXiv:1501.04737 [pdf, ps, other]
Title: Personal Data: Thinking Inside the Box
Subjects: Computers and Society (cs.CY)
[671]  arXiv:1501.04741 [pdf, other]
Title: Adjoint Lattice Boltzmann for Topology Optimization on multi-GPU architecture
Comments: 18 pages, 11 figures, 3 tables, preprint
Subjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA); Optimization and Control (math.OC)
[672]  arXiv:1501.04748 [pdf, ps, other]
Title: Branching Bisimilarity on Normed BPA Is EXPTIME-complete
Comments: We correct many typing errors, add several remarks and an interesting toy example
Subjects: Logic in Computer Science (cs.LO)
[673]  arXiv:1501.04754 [pdf, ps, other]
Title: Distributed Data Association in Smart Camera Networks via Dual Decomposition
Comments: 30 pages, 11 figures
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[674]  arXiv:1501.04760 [pdf, other]
Title: An Alternate Construction of an Access-Optimal Regenerating Code with Optimal Sub-Packetization Level
Comments: To appear in National Conference on Communications 2015
Subjects: Information Theory (cs.IT)
[675]  arXiv:1501.04762 [pdf, ps, other]
Title: Computationally Efficient Sparse Bayesian Learning via Generalized Approximate Message Passing
Subjects: Information Theory (cs.IT)
[676]  arXiv:1501.04764 [pdf, ps, other]
Title: Optimized Uplink Transmission in Multi-Antenna C-RAN with Spatial Compression and Forward
Authors: Liang Liu, Rui Zhang
Comments: submitted for possible publication
Subjects: Information Theory (cs.IT)
[677]  arXiv:1501.04775 [pdf, other]
Title: Interference Aligned Space-Time Transmission with Diversity for the $2 \times 2$ X-Network
Comments: Single Column, 32 pages, 4 figures; typos in the previous version fixed
Subjects: Information Theory (cs.IT)
[678]  arXiv:1501.04777 [pdf, ps, other]
Title: Transformation From Legal-marking Set to Admissible-marking Set of Petri Nets With Uncontrollable Transitions
Comments: 13 pages,13 figures, and the second version of TAC
Subjects: Formal Languages and Automata Theory (cs.FL)
[679]  arXiv:1501.04782 [pdf, other]
Title: Constructing Binary Descriptors with a Stochastic Hill Climbing Search
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[680]  arXiv:1501.04784 [pdf, other]
Title: Global finite element matrix construction based on a CPU-GPU implementation
Subjects: Numerical Analysis (math.NA); Computational Engineering, Finance, and Science (cs.CE); Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF); Analysis of PDEs (math.AP)
[681]  arXiv:1501.04786 [pdf, other]
Title: Consid{é}rant la d{é}pendance dans la th{é}orie des fonctions de croyance
Comments: in French
Journal-ref: Revue des Nouvelles Technologies Informatiques (RNTI), 2014, Fouille de donn{\'e}es complexes, RNTI-E-27, pp.43-64
Subjects: Artificial Intelligence (cs.AI)
[682]  arXiv:1501.04789 [pdf, other]
Title: Relational semantics of linear logic and higher-order model-checking
Comments: 24 pages. Submitted
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Logic (math.LO)
[683]  arXiv:1501.04792 [pdf, other]
Title: Designing a Belief Function-Based Accessibility Indicator to Improve Web Browsing for Disabled People
Authors: Jean-Christophe Dubois (IRISA), Yolande Le Gall (IRISA), Arnaud Martin (IRISA)
Journal-ref: Belief 2014, Sep 2014, Oxford, United Kingdom. Lecture Notes in Artificial Intelligence, Lecture Notes in Computer Science, Vol. 8764, pp.134 - 142, Belief Functions: Theory and Applications
Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI)
[684]  arXiv:1501.04795 [pdf, other]
Title: Belief Approach for Social Networks
Journal-ref: Belief 2014, Sep 2014, Oxford, United Kingdom. Lecture Notes in Artificial Intelligence, Lecture Notes in Computer Science, Vol. 8764, pp.115-123, Belief Functions: Theory and Applications
Subjects: Artificial Intelligence (cs.AI); Social and Information Networks (cs.SI)
[685]  arXiv:1501.04796 [pdf, ps, other]
Title: What do we learn about development from baby robots?
Authors: Pierre-Yves Oudeyer (INRIA Bordeaux - Sud-Ouest)
Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY)
[686]  arXiv:1501.04797 [pdf, other]
Title: Solving Shift Register Problems over Skew Polynomial Rings using Module Minimisation
Comments: 10 pages, submitted to WCC 2015
Subjects: Information Theory (cs.IT)
[687]  arXiv:1501.04817 [pdf, ps, other]
Title: Support Recovery with Orthogonal Matching Pursuit in the Presence of Noise: A New Analysis
Authors: Jian Wang
Comments: 13 pages
Subjects: Information Theory (cs.IT)
[688]  arXiv:1501.04822 [pdf, ps, other]
Title: Self-Stabilizing Repeated Balls-into-Bins
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[689]  arXiv:1501.04826 [pdf, other]
Title: Relative Entailment Among Probabilistic Implications
Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (February 6, 2019) lmcs:3791
Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB); Machine Learning (cs.LG)
[690]  arXiv:1501.04832 [pdf, ps, other]
Title: Big Data: How Geo-information Helped Shape the Future of Data Engineering
Comments: Conference "AutoCarto 6", revisited 30 years later in a "Retrospective book", edited by Barry Wellar, the same chair as the original conference. 12 pages, 6 figures. see: AutoCarto Six Retrospective, 2013. ISBN: 978-0-9921435-0-3, pages 190-201
Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI)
[691]  arXiv:1501.04835 [pdf, ps, other]
Title: Regularity Preserving but not Reflecting Encodings
Subjects: Formal Languages and Automata Theory (cs.FL)
[692]  arXiv:1501.04836 [pdf, other]
Title: Subtropical Real Root Finding
Authors: Thomas Sturm
Journal-ref: Proc. ISSAC 2015, pp.347-354, ACM 2015
Subjects: Symbolic Computation (cs.SC)
[693]  arXiv:1501.04843 [pdf, other]
Title: Discrete Voronoi Games and $ε$-Nets, in Two and Three Dimensions
Subjects: Computational Geometry (cs.CG)
[694]  arXiv:1501.04850 [pdf, ps, other]
Title: AAPPeC: Agent-based Architecture for Privacy Payoff in eCommerce
Comments: Thesis
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[695]  arXiv:1501.04854 [pdf, ps, other]
Title: i2MapReduce: Incremental MapReduce for Mining Evolving Big Data
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[696]  arXiv:1501.04860 [pdf, ps, other]
Title: A Customized Lattice Reduction Multiprocessor for MIMO Detection
Comments: 4 pages, 3 figures, conference
Subjects: Information Theory (cs.IT)
[697]  arXiv:1501.04865 [pdf, ps, other]
Title: Project Monitomation Version 1
Comments: Selected For Demos & Exhibit Session COMSNETS 2015, January 6-10th, Bangalore, India. 3 Figure, 1 Table, 2 Pages
Subjects: Networking and Internet Architecture (cs.NI)
[698]  arXiv:1501.04867 [pdf, other]
Title: Conditional Information Inequalities and Combinatorial Applications
Subjects: Information Theory (cs.IT)
[699]  arXiv:1501.04877 [pdf, other]
Title: Towards Gathering Robots with Limited View in Linear Time: The Closed Chain Case
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA)
[700]  arXiv:1501.04878 [src]
Title: A Light Transport Model for Mitigating Multipath Interference in TOF Sensors
Comments: This paper has been withdrawn by the submitter as the submission was made due to a miscommunication
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[701]  arXiv:1501.04884 [pdf, other]
Title: Impact of User Mobility on Optimal Linear Receivers in Cellular Networks
Comments: 3 figures, 6 pages, accepted in ICC 2015
Subjects: Information Theory (cs.IT)
[702]  arXiv:1501.04887 [pdf, ps, other]
Title: On Using Feedback in a Gaussian Channel
Comments: arXiv admin note: text overlap with arXiv:1208.2786
Journal-ref: Problems of Information Transmission, vol. 50, no. 3, pp. 19--34, 2014
Subjects: Information Theory (cs.IT)
[703]  arXiv:1501.04894 [pdf, other]
Title: CITEX: A new citation index to measure the relative importance of authors and papers in scientific publications
Comments: Accepted for publication in IEEE International Conference on Communications (ICC) 2015
Subjects: Digital Libraries (cs.DL); Discrete Mathematics (cs.DM); Information Retrieval (cs.IR); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[704]  arXiv:1501.04904 [pdf, ps, other]
Title: Locally recoverable codes on algebraic curves
Comments: Will appear at ISIT 2015
Subjects: Information Theory (cs.IT); Algebraic Geometry (math.AG); Number Theory (math.NT)
[705]  arXiv:1501.04905 [pdf, ps, other]
Title: Unified Capacity Limit of Non-coherent Wideband Fading Channels
Comments: Accepted for publication in IEEE Transactions on Wireless Communications. Copyright may be transferred without notice
Journal-ref: IEEE Transactions on Wireless Communications, vol. 16, pp. 43--57, Jan. 2017
Subjects: Information Theory (cs.IT)
[706]  arXiv:1501.04920 [pdf, ps, other]
Title: Regroupement sémantique de définitions en espagnol
Comments: 11 pages, in French, 5 figures. Workshop Evaluation des m\'ethodes d'Extraction de Connaissances dans les Donn\'ees EvalECD EGC'10, 2010 Tunis
Subjects: Information Retrieval (cs.IR); Computation and Language (cs.CL)
[707]  arXiv:1501.04925 [pdf, other]
Title: Controller Synthesis for Linear Time-varying Systems with Adversaries
Comments: 10 pages 4 figures; under submission for review
Subjects: Systems and Control (eess.SY); Cryptography and Security (cs.CR)
[708]  arXiv:1501.04931 [pdf, ps, other]
Title: Navigability is a Robust Property
Subjects: Social and Information Networks (cs.SI); Data Structures and Algorithms (cs.DS)
[709]  arXiv:1501.04948 [pdf, other]
Title: A practical index for approximate dictionary matching with few mismatches
Subjects: Data Structures and Algorithms (cs.DS)
[710]  arXiv:1501.04979 [pdf, other]
Title: FASTA: A Generalized Implementation of Forward-Backward Splitting
Subjects: Mathematical Software (cs.MS); Numerical Analysis (math.NA)
[711]  arXiv:1501.04981 [pdf, other]
Title: Listening to features
Comments: Technical Report
Subjects: Sound (cs.SD)
[712]  arXiv:1501.04985 [pdf, other]
Title: Evacuating Robots from a Disk Using Face-to-Face Communication
Comments: 22 pages, 8 figures. An extended abstract of this work was accepted for publication in the LNCS proceedings of the 9th International Conference on Algorithms and Complexity (CIAC15)
Journal-ref: Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 4, Distributed Computing and Networking (August 27, 2020) dmtcs:6198
Subjects: Data Structures and Algorithms (cs.DS)
[713]  arXiv:1501.05005 [pdf, ps, other]
Title: Varentropy Decreases Under the Polar Transform
Authors: Erdal Arıkan
Comments: Presented in part at ISIT 2014. Accepted for publication in the IEEE Trans. Inform. Theory, March 2016
Subjects: Information Theory (cs.IT)
[714]  arXiv:1501.05007 [pdf, other]
Title: Full-Body Collision Detection and Reaction with Omnidirectional Mobile Platforms: A Step Towards Safe Human-Robot Interaction
Comments: 17 pages, 11 figures, submitted to Springer's Autonomous Robots
Subjects: Robotics (cs.RO)
[715]  arXiv:1501.05016 [pdf, ps, other]
Title: A Categorical Semantics for Linear Logical Frameworks
Authors: Matthijs Vákár
Comments: Based on the technical report arXiv:1405.0033 . To appear in the proceedings of FoSSaCS 2015, in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science series
Subjects: Logic in Computer Science (cs.LO)
[716]  arXiv:1501.05021 [pdf, other]
Title: Stochastic Block Model and Community Detection in the Sparse Graphs: A spectral algorithm with optimal rate of recovery
Subjects: Data Structures and Algorithms (cs.DS)
[717]  arXiv:1501.05031 [pdf, ps, other]
Title: Maximin Safety: When Failing to Lose is Preferable to Trying to Win
Comments: 14 pages
Journal-ref: ECSQARU 2013: 254-265
Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT)
[718]  arXiv:1501.05039 [pdf, ps, other]
Title: Defining Data Science
Subjects: Databases (cs.DB); Computers and Society (cs.CY)
[719]  arXiv:1501.05041 [pdf, other]
Title: Pilot-Abstraction: A Valid Abstraction for Data-Intensive Applications on HPC, Hadoop and Cloud Infrastructures?
Comments: Submitted to HPDC 2015, 12 pages, 9 figures
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[720]  arXiv:1501.05057 [pdf, other]
Title: Optimal Energy Allocation Policy for Wireless Networks in the Sky
Comments: 6 pages, 6 figures, 11 references
Subjects: Networking and Internet Architecture (cs.NI)
[721]  arXiv:1501.05060 [pdf, other]
Title: Error Correcting Index Codes and Matroids
Subjects: Information Theory (cs.IT)
[722]  arXiv:1501.05080 [pdf, other]
Title: Enabling High-Level Application Development for the Internet of Things
Authors: Pankesh Patel, Damien Cassou (INRIA Lille - Nord Europe)
Journal-ref: Journal of Systems and Software, Elsevier, 2015, pp.1 - 26
Subjects: Software Engineering (cs.SE)
[723]  arXiv:1501.05086 [pdf, other]
Title: Multi-resource Energy-efficient Routing in Cloud Data Centers with Networks-as-a-Service
Comments: 9 pages
Subjects: Networking and Internet Architecture (cs.NI)
[724]  arXiv:1501.05097 [pdf, ps, other]
Title: Discrete-Time Models for Implicit Port-Hamiltonian Systems
Subjects: Systems and Control (eess.SY); Dynamical Systems (math.DS); Numerical Analysis (math.NA); Optimization and Control (math.OC)
[725]  arXiv:1501.05098 [pdf, other]
Title: Better Answers to Real Questions
Journal-ref: J. Symb. Comput., 74:255-275, 2016
Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)
[726]  arXiv:1501.05104 [pdf, other]
Title: Memoization for Unary Logic Programming: Characterizing PTIME
Authors: Clément Aubert (LACL), Marc Bagnol (I2M), Thomas Seiller (IHES)
Comments: Soumis {\`a} LICS 2015
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO)
[727]  arXiv:1501.05115 [pdf, ps, other]
Title: An Isbell Duality Theorem for Type Refinement Systems
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[728]  arXiv:1501.05120 [pdf, ps, other]
Title: Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY
Authors: Nadeem Akhtar
Comments: 16 pages; Computer Engineering and Intelligent Systems this http URL - ISSN 2222-1719 (Paper) ISSN 2222-2863 (Online) - Vol.5, No.3, 2014
Subjects: Software Engineering (cs.SE); Multiagent Systems (cs.MA)
[729]  arXiv:1501.05126 [src]
Title: Mathematics of Sparsity and Entropy: Axioms, Core Functions and Sparse Recovery
Comments: 33 pages, 4 figures, 9 tables This very preliminary work has been withdrawn by the author due to crucial errors. No future version will be available
Subjects: Information Theory (cs.IT)
[730]  arXiv:1501.05132 [pdf, other]
Title: Learning to Rank Academic Experts in the DBLP Dataset
Comments: Expert Systems, 2013. arXiv admin note: text overlap with arXiv:1302.0413
Subjects: Information Retrieval (cs.IR)
[731]  arXiv:1501.05136 [pdf, ps, other]
Title: Uma análise bibliométrica do Congresso Nacional de Bibliotecários, Arquivistas e Documentalistas (1985-2012)
Comments: in Portuguese
Journal-ref: Cadernos BAD, N. 1/2 (2012/2013), 2013
Subjects: Digital Libraries (cs.DL)
[732]  arXiv:1501.05138 [pdf, ps, other]
Title: Thematic Identification of 'Little Science': Trends in Portuguese IS&LS Literature by Controlled Vocabulary and Co-Word Analysis
Comments: In Proceedings of the 5th International Conference on Qualitative and Quantitative Methods in Libraries, 2013
Subjects: Digital Libraries (cs.DL)
[733]  arXiv:1501.05139 [pdf, other]
Title: Detecting Overlapping Link Communities by Finding Local Minima of a Cost Function with a Memetic Algorithm. Part 1: Problem and Method
Comments: 11 pages, 2 figures, 2 appendixes; there is some overlap in Appendix A with our earlier preprint arXiv:1206.3992; we have added a reference and revised arguments in sections 1, 3, and 4
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[734]  arXiv:1501.05140 [pdf, ps, other]
Title: Using Rank Aggregation for Expert Search in Academic Digital Libraries
Comments: In Simp\'{o}sio de Inform\'{a}tica, INForum, Portugal, 2011. arXiv admin note: substantial text overlap with arXiv:1302.0413, arXiv:1501.05132
Subjects: Information Retrieval (cs.IR)
[735]  arXiv:1501.05141 [pdf, ps, other]
Title: An Algebra to Merge Heterogeneous Classifiers
Comments: 19 pages, 8 figures
Subjects: Discrete Mathematics (cs.DM); Machine Learning (cs.LG)
[736]  arXiv:1501.05147 [pdf, ps, other]
Title: Taming Multirelations
Comments: 34 pages, 4 figures
Subjects: Logic in Computer Science (cs.LO)
[737]  arXiv:1501.05151 [pdf, other]
Title: Recursive Bayesian Filtering in Circular State Spaces
Subjects: Systems and Control (eess.SY); Robotics (cs.RO)
[738]  arXiv:1501.05152 [pdf, other]
Title: Mirror, mirror on the wall, tell me, is the error small?
Comments: 8 pages, 9 figures
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[739]  arXiv:1501.05153 [pdf, ps, other]
Title: Formal requirement and architecture specifications of a multi-agent robotic system
Comments: 6 pages
Journal-ref: Journal of Computing, eISSN 2151-9617. Volume 4, Issue 4, April 2012
Subjects: Software Engineering (cs.SE); Multiagent Systems (cs.MA)
[740]  arXiv:1501.05177 [pdf, other]
Title: Optimal Fractional Repetition Codes and Fractional Repetition Batch Codes
Comments: arXiv admin note: substantial text overlap with arXiv:1401.4734
Subjects: Information Theory (cs.IT); Discrete Mathematics (cs.DM)
[741]  arXiv:1501.05180 [pdf, ps, other]
Title: Varieties of Languages in a Category
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[742]  arXiv:1501.05186 [pdf, ps, other]
Title: Artificial-Noise-Aided Secure Multi-Antenna Transmission with Limited Feedback
Comments: to appear in IEEE Transactions on Wireless Communications
Subjects: Information Theory (cs.IT)
[743]  arXiv:1501.05192 [pdf, other]
Title: A Graph Theoretic Approach for Object Shape Representation in Compositional Hierarchies Using a Hybrid Generative-Descriptive Model
Comments: Paper : 17 pages. 13th European Conference on Computer Vision (ECCV 2014), Zurich, Switzerland, September 6-12, 2014, Proceedings, Part III, pp 566-581. Supplementary material can be downloaded from this http URL
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[744]  arXiv:1501.05197 [pdf, ps, other]
Title: The weighted 2-metric dimension of trees in the non-landmarks model
Subjects: Data Structures and Algorithms (cs.DS)
[745]  arXiv:1501.05203 [pdf, ps, other]
Title: Phrase Based Language Model for Statistical Machine Translation: Empirical Study
Authors: Geliang Chen
Comments: supplementary material of this http URL This version is identical to the Bachelor thesis of Geliang Chen archived on the 20th June 2013 in Peking University. Thesis advisor: Professor Jia Xu
Subjects: Computation and Language (cs.CL)
[746]  arXiv:1501.05212 [pdf, other]
Title: QoE-Centric Localized Mobility Management for Future Mobile Networks
Comments: IEEE Globecom Conference 2014 (unpublished)
Subjects: Networking and Internet Architecture (cs.NI)
[747]  arXiv:1501.05222 [pdf, ps, other]
Title: Plug-and-play dual-tree algorithm runtime analysis
Comments: Submitted to JMLR
Subjects: Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG)
[748]  arXiv:1501.05237 [pdf, other]
Title: Network Analysis in the Legal Domain: A complex model for European Union legal sources
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[749]  arXiv:1501.05239 [pdf, other]
Title: Computing the Rank Profile Matrix
Authors: Jean-Guillaume Dumas (LJK), Clément Pernet (MOAIS, ARIC), Ziad Sultan (MOAIS, LJK)
Journal-ref: ACM International Symposium on Symbolic and Algebraic Computations, pp.146--153, 2015, ISSAC 2015
Subjects: Symbolic Computation (cs.SC)
[750]  arXiv:1501.05260 [pdf, ps, other]
Title: Reversible Quantum Process Algebra
Authors: Yong Wang
Comments: 210 pages, 23 figures, 115 tables. arXiv admin note: substantial text overlap with arXiv:1811.01070
Subjects: Logic in Computer Science (cs.LO)
[751]  arXiv:1501.05265 [pdf, other]
Title: A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications
Comments: 42 pages
Subjects: Software Engineering (cs.SE); Databases (cs.DB)
[752]  arXiv:1501.05272 [pdf, other]
Title: Trolls Identification within an Uncertain Framework
Comments: International Conference on Tools with Artificial Intelligence - ICTAI , Nov 2014, Limassol, Cyprus
Subjects: Artificial Intelligence (cs.AI)
[753]  arXiv:1501.05279 [pdf, other]
Title: Extreme Entropy Machines: Robust information theoretic classification
Subjects: Machine Learning (cs.LG)
[754]  arXiv:1501.05286 [pdf, other]
Title: Distributed mining of large scale remote sensing image archives on public computing infrastructures
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[755]  arXiv:1501.05290 [pdf, other]
Title: Managing large-scale scientific hypotheses as uncertain and probabilistic data
Comments: 145 pages, 61 figures, 1 table. PhD thesis, National Laboratory for Scientific Computing (LNCC), Brazil, February 2015
Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE)
[756]  arXiv:1501.05296 [pdf, ps, other]
Title: Output-sensitive algorithms for sumset and sparse polynomial multiplication
Comments: Submitted to ISSAC 2015
Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[757]  arXiv:1501.05297 [pdf, ps, other]
Title: Multi Stage based Time Series Analysis of User Activity on Touch Sensitive Surfaces in Highly Noise Susceptible Environments
Comments: 9 pages (including 9 figures and 3 tables); International Journal of Computer Applications (published)
Journal-ref: International Journal of Computer Applications 105(16):23-31, November 2014
Subjects: Human-Computer Interaction (cs.HC); Applications (stat.AP)
[758]  arXiv:1501.05338 [pdf, ps, other]
Title: Semantics for Locking Specifications
Subjects: Programming Languages (cs.PL)
[759]  arXiv:1501.05352 [pdf, ps, other]
Title: Optimizing affinity-based binary hashing using auxiliary coordinates
Comments: 22 pages, 12 figures; added new experiments and references
Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Optimization and Control (math.OC); Machine Learning (stat.ML)
[760]  arXiv:1501.05354 [pdf, other]
Title: A speed and departure time optimization algorithm for the Pollution-Routing Problem
Comments: 12 pages
Journal-ref: European Journal of Operational Research, 2015, 247(3):782-787
Subjects: Data Structures and Algorithms (cs.DS)
[761]  arXiv:1501.05368 [pdf, ps, other]
Title: Spatial Spectrum and Energy Efficiency of Random Cellular Networks
Comments: appears in IEEE Transactions on Communications, April, 2015
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[762]  arXiv:1501.05371 [pdf, ps, other]
Title: Multistatic Cloud Radar Systems: Joint Sensing and Communication Design
Comments: 13 pages, 8 figures, Transactions on Emerging Telecommunications Technologies
Subjects: Information Theory (cs.IT)
[763]  arXiv:1501.05376 [pdf, ps, other]
Title: Wireless Information and Power Transfer in Relay Systems with Multiple Antennas and Interference
Comments: accepted, to appear IEEE TCOM
Subjects: Information Theory (cs.IT)
[764]  arXiv:1501.05379 [pdf, other]
Title: Communication Theoretic Data Analytics
Comments: Published in IEEE Journal on Selected Areas in Communications, Jan. 2015
Subjects: Information Theory (cs.IT)
[765]  arXiv:1501.05382 [pdf, other]
Title: Enhanced Mixtures of Part Model for Human Pose Estimation
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[766]  arXiv:1501.05385 [pdf, ps, other]
Title: Numerically Safe Gaussian Elimination with No Pivoting
Comments: 27 pages, 7 figures, the paper is in both areas of computer science (randomized algorithms) and numerical matrix computations
Subjects: Symbolic Computation (cs.SC)
[767]  arXiv:1501.05387 [pdf, other]
Title: Gunrock: A High-Performance Graph Processing Library on the GPU
Comments: 14 pages, accepted by PPoPP'16 (removed the text repetition in the previous version v5)
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[768]  arXiv:1501.05390 [pdf, ps, other]
Title: Real Polynomial Root-finding by Means of Matrix and Polynomial Iterations
Comments: 24 pages 12 tables. arXiv admin note: substantial text overlap with arXiv:1404.6817
Subjects: Symbolic Computation (cs.SC)
[769]  arXiv:1501.05392 [pdf, ps, other]
Title: Accelerated Approximation of the Complex Roots and Factors of a Univariate Polynomial
Comments: 16 pages
Subjects: Symbolic Computation (cs.SC)
[770]  arXiv:1501.05396 [pdf, other]
Title: Deep Multimodal Learning for Audio-Visual Speech Recognition
Comments: ICASSP 2015
Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG)
[771]  arXiv:1501.05405 [pdf, ps, other]
Title: Proceedings 4th Workshop on Hybrid Autonomous Systems
Authors: Manuela Bujorianu (University of Leicester), Rafael Wisniewski (Aalborg University)
Journal-ref: EPTCS 174, 2015
Subjects: Systems and Control (eess.SY); Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)
[772]  arXiv:1501.05414 [pdf, ps, other]
Title: A Task-Type-Based Algorithm for the Energy-Aware Profit Maximizing Scheduling Problem in Heterogeneous Computing Systems
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)
[773]  arXiv:1501.05421 [pdf, ps, other]
Title: Queueing Analysis for Preemptive Transmission in Underlay Cognitive Radio Networks
Journal-ref: International Journal of Communication Systems, Volume 29, Issue 6 April 2016
Subjects: Networking and Internet Architecture (cs.NI)
[774]  arXiv:1501.05425 [pdf, other]
Title: Foundational Extensible Corecursion
Subjects: Programming Languages (cs.PL)
[775]  arXiv:1501.05426 [pdf, ps, other]
Title: Classification of Message Spreading in a Heterogeneous Social Network
Journal-ref: International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU), Jul 2014, Montpellier, France. pp.66 - 75
Subjects: Social and Information Networks (cs.SI); Artificial Intelligence (cs.AI); Physics and Society (physics.soc-ph)
[776]  arXiv:1501.05432 [pdf, ps, other]
Title: Point Context: An Effective Shape Descriptor for RST-invariant Trajectory Recognition
Comments: 11 pages, 10 figures
Journal-ref: Journal of Mathematical Imaging and Vision, 2016
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[777]  arXiv:1501.05450 [pdf, other]
Title: Joint Ranging and Clock Parameter Estimation by Wireless Round Trip Time Measurements
Comments: IEEE Journal on Selected Areas in Communications (Accepted)
Subjects: Networking and Internet Architecture (cs.NI); Systems and Control (eess.SY)
[778]  arXiv:1501.05461 [pdf, ps, other]
Title: Linear Massive MIMO Precoders in the Presence of Phase Noise -- A Large-Scale Analysis
Comments: Under Review IEEE Transactions on Vehicular Technology, Jan 2015. 13 pages
Subjects: Information Theory (cs.IT)
[779]  arXiv:1501.05462 [pdf, ps, other]
Title: A Review of Theory and Practice in Scientometrics
Comments: accepted for publication in the European Journal of Operational Research
Journal-ref: European Journal of Operational Research ,246, 1, pp. 1-19, 2015
Subjects: Digital Libraries (cs.DL)
[780]  arXiv:1501.05469 [pdf, ps, other]
Title: An Improved Stability Condition for Kalman Filtering with Bounded Markovian Packet Losses
Subjects: Systems and Control (eess.SY)
[781]  arXiv:1501.05472 [pdf, ps, other]
Title: Handwritten Devanagari Script Segmentation: A non-linear Fuzzy Approach
Comments: In Proceedings of IEEE Conference on AI Tools and Engineering (ICAITE-08), March 6-8, 2008, Pune
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[782]  arXiv:1501.05475 [pdf, ps, other]
Title: On the structure of Schnyder woods on orientable surfaces
Subjects: Discrete Mathematics (cs.DM); Computational Geometry (cs.CG); Combinatorics (math.CO)
[783]  arXiv:1501.05480 [pdf, ps, other]
Title: Robust Transmission Network Expansion Planning in Energy Systems: Improving Computational Performance
Comments: 32 pages and 2 figures in European Journal of Operational Research 2014
Journal-ref: European Journal of Operational Research 248 (1), 21-32, 2016
Subjects: Computational Engineering, Finance, and Science (cs.CE)
[784]  arXiv:1501.05493 [pdf, other]
Title: Smoothed Analysis of the Successive Shortest Path Algorithm
Comments: A preliminary version has been presented at SODA 2013
Subjects: Data Structures and Algorithms (cs.DS)
[785]  arXiv:1501.05494 [pdf, ps, other]
Title: Design of a novel convex hull based feature set for recognition of isolated handwritten Roman numerals
Comments: In proceedings of UB NE ASEE 2009 conference, University of Bridgeport, USA. arXiv admin note: substantial text overlap with arXiv:1410.0478
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[786]  arXiv:1501.05495 [pdf, ps, other]
Title: A GA Based approach for selection of local features for recognition of handwritten Bangla numerals
Comments: In proceedings of UB NE ASEE 2009 conference, University of Bridgeport, USA
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[787]  arXiv:1501.05497 [pdf, ps, other]
Title: An Improved Feature Descriptor for Recognition of Handwritten Bangla Alphabet
Comments: In proceedings of ICSIP 2009, pp. 451 to 454, August 2009, Mysore, India. arXiv admin note: substantial text overlap with arXiv:1203.0882, arXiv:1002.4040, arXiv:1410.0478
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[788]  arXiv:1501.05499 [pdf, other]
Title: Globally Optimal Cell Tracking using Integer Programming
Comments: Engin T\"uretken and Xinchao Wang contributed equally to this work
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[789]  arXiv:1501.05501 [pdf, ps, other]
Title: Correlation between Channel State and Information Source with Empirical Coordination Constraint
Authors: Maël Le Treust
Comments: Conference IEEE ITW 2014
Subjects: Information Theory (cs.IT)
[790]  arXiv:1501.05502 [pdf, ps, other]
Title: Optimizing production scheduling of steel plate hot rolling for economic load dispatch under time-of-use electricity pricing
Comments: 13 pages, 6 figures, 4 tables
Subjects: Systems and Control (eess.SY)
[791]  arXiv:1501.05528 [pdf, ps, other]
Title: Permanent versus determinant: not via saturations
Comments: 12 pages; shortened title, corrected error in proof, added bound on stretching factor, provided explicit examples
Journal-ref: Proceedings of the AMS, 145:1247-1258, 2017
Subjects: Computational Complexity (cs.CC); Representation Theory (math.RT)
[792]  arXiv:1501.05530 [pdf, other]
Title: Belief Hidden Markov Model for speech recognition
Journal-ref: International Conference on Modeling, Simulation and Applied Optimization (ICMSAO), Apr 2013, Hammamet, Tunisia. pp.1 - 6
Subjects: Artificial Intelligence (cs.AI)
[793]  arXiv:1501.05542 [pdf, ps, other]
Title: Mespotine-RLE-basic v0.9 - An overhead-reduced and improved Run-Length-Encoding Method
Authors: Meo Mespotine
Comments: 16 pages and algorithm-flowcharts
Subjects: Data Structures and Algorithms (cs.DS); Information Theory (cs.IT)
[794]  arXiv:1501.05546 [pdf, ps, other]
Title: Using a Big Data Database to Identify Pathogens in Protein Data Space
Comments: 2 pages, 3 figures
Subjects: Databases (cs.DB); Quantitative Methods (q-bio.QM)
[795]  arXiv:1501.05547 [pdf, ps, other]
Title: Stable matchings of teachers to schools
Comments: 15 pages
Subjects: Data Structures and Algorithms (cs.DS)
[796]  arXiv:1501.05561 [pdf, other]
Title: On Frequency LTL in Probabilistic Systems
Comments: A paper presented at CONCUR 2015, with appendix
Subjects: Logic in Computer Science (cs.LO)
[797]  arXiv:1501.05576 [pdf, ps, other]
Title: The effect of using facebook markup language (fbml) for designing an e-learning model in higher education
Comments: Mohammed Amasha, Salem Alkhalaf, "The Effect of using Facebook Markup Language (FBML) for Designing an E-Learning Model in Higher Education". International Journal of Research in Computer Science, 4 (5): pp. 1-9, January 2015
Subjects: Computers and Society (cs.CY)
[798]  arXiv:1501.05578 [pdf, ps, other]
Title: A Model of an E-Learning Web Site for Teaching and Evaluating Online
Journal-ref: International Journal of Advanced Computer Science and Applications(IJACSA), 4(12), 2013
Subjects: Computers and Society (cs.CY)
[799]  arXiv:1501.05580 [pdf, other]
Title: Joint Channel-and-Data Estimation for Large-MIMO Systems with Low-Precision ADCs
Comments: 7 pages, 4 figures
Subjects: Information Theory (cs.IT)
[800]  arXiv:1501.05581 [pdf, other]
Title: Extended Report: Fine-grained Recognition of Abnormal Behaviors for Early Detection of Mild Cognitive Impairment
Subjects: Other Computer Science (cs.OH)
[ total of 1305 entries: 1-250 | 51-300 | 301-550 | 551-800 | 801-1050 | 1051-1300 | 1301-1305 ]
[ showing 250 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2405, contact, help  (Access key information)