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

Computer Science

Authors and titles for Apr 2016, skipping first 1475

[ total of 1969 entries: 1-250 | ... | 726-975 | 976-1225 | 1226-1475 | 1476-1725 | 1726-1969 ]
[ showing 250 entries per page: fewer | more | all ]
[1476]  arXiv:1604.07379 [pdf, other]
Title: Context Encoders: Feature Learning by Inpainting
Comments: New results on ImageNet Generation
Journal-ref: CVPR 2016
Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Graphics (cs.GR); Machine Learning (cs.LG)
[1477]  arXiv:1604.07386 [pdf, ps, other]
Title: Security in The Gaussian Interference Channel: Weak and Moderately Weak Interference Regimes
Comments: 5 pages, Accepted to be presented at ISIT 2016
Subjects: Information Theory (cs.IT)
[1478]  arXiv:1604.07407 [pdf, other]
Title: Conversational Markers of Constructive Discussions
Comments: To appear at NAACL-HLT 2016. 11pp, 5 fig. Data and other info available at this http URL
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph); Machine Learning (stat.ML)
[1479]  arXiv:1604.07426 [pdf, ps, other]
Title: HybridRanker: Integrating network structure and disease knowledge to prioritize cancer candidate genes
Comments: 16 page
Subjects: Computational Engineering, Finance, and Science (cs.CE); Genomics (q-bio.GN)
[1480]  arXiv:1604.07427 [pdf, ps, other]
Title: NRSSPrioritize: Associating Protein Complex and Disease Similarity Information to Prioritize Disease Candidate Genes
Comments: 13 pages
Subjects: Computational Engineering, Finance, and Science (cs.CE); Genomics (q-bio.GN)
[1481]  arXiv:1604.07429 [pdf, ps, other]
Title: Balancing Appearance and Context in Sketch Interpretation
Subjects: Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV)
[1482]  arXiv:1604.07432 [pdf, ps, other]
Title: Degree and Sensitivity: tails of two distributions
Comments: The conference version of this paper will appear in CCC'2016
Subjects: Computational Complexity (cs.CC)
[1483]  arXiv:1604.07446 [pdf, other]
Title: A Survey of Motion Planning and Control Techniques for Self-driving Urban Vehicles
Subjects: Robotics (cs.RO)
[1484]  arXiv:1604.07467 [pdf, ps, other]
Title: Estimating Weighted Matchings in $o(n)$ Space
Subjects: Data Structures and Algorithms (cs.DS)
[1485]  arXiv:1604.07468 [pdf, other]
Title: Long-Term Identity-Aware Multi-Person Tracking for Surveillance Video Summarization
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1486]  arXiv:1604.07474 [pdf, other]
Title: Advancing Dynamic Fault Tree Analysis
Subjects: Software Engineering (cs.SE)
[1487]  arXiv:1604.07476 [pdf, other]
Title: Optimal Compression of a Polyline with Segments and Arcs
Authors: Alexander Gribov
Comments: 40 pages, 34 figures, 3 tables
Subjects: Computational Geometry (cs.CG)
[1488]  arXiv:1604.07478 [pdf, other]
Title: Collection and Dissemination of Data on Time-Varying Digraphs
Authors: Kevin Topley
Comments: 12 pages, 8 figures
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[1489]  arXiv:1604.07480 [pdf, other]
Title: Joint Semantic Segmentation and Depth Estimation with Deep Convolutional Networks
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1490]  arXiv:1604.07484 [pdf, other]
Title: Deep Multi-fidelity Gaussian Processes
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[1491]  arXiv:1604.07499 [pdf, other]
Title: Modern Physiognomy: An Investigation on Predicting Personality Traits and Intelligence from the Human Face
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1492]  arXiv:1604.07506 [pdf, ps, other]
Title: Physical Layer Security in Millimeter Wave Cellular Networks
Subjects: Information Theory (cs.IT)
[1493]  arXiv:1604.07507 [pdf, other]
Title: Once for All: a Two-flow Convolutional Neural Network for Visual Tracking
Authors: Kai Chen, Wenbing Tao
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1494]  arXiv:1604.07510 [pdf, ps, other]
Title: A Novel Similarity Measure for Intrusion Detection using Gaussian Function
Comments: 11 Pages, SCI Indexed Journal, REVISTA TECNICA DE LA FACULTAD DE INGENIERIA UNIVERSIDAD DEL ZULIA
Subjects: Cryptography and Security (cs.CR)
[1495]  arXiv:1604.07513 [pdf, ps, other]
Title: Semantic Change Detection with Hypermaps
Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)
[1496]  arXiv:1604.07515 [pdf, other]
Title: Parallel Local Graph Clustering
Comments: Fixed typo in Figure 5
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[1497]  arXiv:1604.07519 [pdf, other]
Title: Subjective Assessment of H.264 Compressed Stereoscopic Video
Comments: 5 pages, 4 figures
Subjects: Multimedia (cs.MM)
[1498]  arXiv:1604.07521 [pdf, ps, other]
Title: Feedback-based Approach to Introduce Freshness in Recommendations
Subjects: Information Retrieval (cs.IR)
[1499]  arXiv:1604.07525 [pdf, ps, other]
Title: Delay-Optimal Computation Task Scheduling for Mobile-Edge Computing Systems
Comments: 8 pages, 3 figures, accepted to IEEE International Symposium on Information Theory (ISIT), Barcelona, Spain, July 2016
Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
[1500]  arXiv:1604.07528 [pdf, other]
Title: Learning Deep Feature Representations with Domain Guided Dropout for Person Re-identification
Comments: To appear in CVPR2016
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1501]  arXiv:1604.07529 [pdf, other]
Title: Can Online Emotions Predict the Stock Market in China?
Subjects: Social and Information Networks (cs.SI); Computers and Society (cs.CY)
[1502]  arXiv:1604.07530 [pdf, other]
Title: Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity
Comments: An extended abstract of this paper appeared in Proc. LICS'16. With Definition 20.4b(i) as formulated originally [v1], Proposition 5 does not hold. A corrected Definition 20.4b appears in this revision [v2]
Journal-ref: Information and Computation 257, 2017, pp. 79-113
Subjects: Logic in Computer Science (cs.LO)
[1503]  arXiv:1604.07532 [pdf, ps, other]
Title: Sleeping Beauties in Meme Diffusion
Comments: Any issues please feel free to contact Jichang Zhao by email jichang@buaa.edu.cn. Datasets and code can be freely downloaded through: this https URL
Subjects: Social and Information Networks (cs.SI); Computers and Society (cs.CY); Physics and Society (physics.soc-ph)
[1504]  arXiv:1604.07535 [pdf, other]
Title: The $p$-Center Problem in Tree Networks Revisited
Subjects: Data Structures and Algorithms (cs.DS)
[1505]  arXiv:1604.07539 [pdf, other]
Title: A Wised Routing Protocols for Leo Satellite Networks
Comments: The 10th Asian Control Conference (ASCC), Universiti Teknologi Malaysia, Malaysia
Subjects: Networking and Internet Architecture (cs.NI)
[1506]  arXiv:1604.07540 [pdf, ps, other]
Title: Incompatibility of Efficiency and Strategyproofness in the Random Assignment Setting with Indifferences
Subjects: Computer Science and Game Theory (cs.GT)
[1507]  arXiv:1604.07543 [pdf, ps, other]
Title: Taming Energy Cost of Disk Encryption Software on Data-Intensive Mobile Devices
Subjects: Cryptography and Security (cs.CR)
[1508]  arXiv:1604.07545 [pdf, ps, other]
Title: An Efficient Hybrid Route-Path Planning Model For Dynamic Task Allocation and Safe Maneuvering of an Underwater Vehicle in a Realistic Environment
Subjects: Robotics (cs.RO)
[1509]  arXiv:1604.07547 [pdf, other]
Title: Towards Miss Universe Automatic Prediction: The Evening Gown Competition
Journal-ref: International Conference on Pattern Recognition, 2016
Subjects: Computer Vision and Pattern Recognition (cs.CV); Computers and Society (cs.CY); Multimedia (cs.MM)
[1510]  arXiv:1604.07549 [src]
Title: Towards a Unified Resilience Analysis: State Estimation against Integrity Attacks
Comments: This paper has substantial text overlap with arXiv:1511.07218 and we want to keep arXiv:1511.07218 only for conciseness
Subjects: Information Theory (cs.IT)
[1511]  arXiv:1604.07553 [pdf, other]
Title: The Complexity of Rummikub Problems
Comments: First appeared in proceedings of BNAIC 2015 (this http URL)
Subjects: Computational Complexity (cs.CC)
[1512]  arXiv:1604.07554 [pdf, ps, other]
Title: A New Approach in Persian Handwritten Letters Recognition Using Error Correcting Output Coding
Comments: Journal of Advances in Computer Research
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Machine Learning (stat.ML)
[1513]  arXiv:1604.07560 [pdf, other]
Title: Bounds on the Error Probability of Raptor Codes
Comments: Accepted for publication in Proc. of IEEE Globecom 2017
Subjects: Information Theory (cs.IT)
[1514]  arXiv:1604.07561 [pdf, ps, other]
Title: Achievable Sum Rates of Half- and Full-Duplex Bidirectional OFDM Communication Links
Comments: To appear in IEEE TVT. This paper solves the problem of sum achievable rate optimization of bidirectional FD OFDM link, where joint time and power allocation is involved
Subjects: Information Theory (cs.IT)
[1515]  arXiv:1604.07564 [pdf, other]
Title: A Retraction Theorem for Distributed Synthesis
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[1516]  arXiv:1604.07572 [pdf, other]
Title: QoE-Aware Proactive Caching of Scalable Videos Over Small Cell Networks
Comments: 7 pages
Subjects: Networking and Internet Architecture (cs.NI)
[1517]  arXiv:1604.07581 [pdf, ps, other]
Title: Pattern Matching and Consensus Problems on Weighted Sequences and Profiles
Comments: 22 pages
Subjects: Data Structures and Algorithms (cs.DS)
[1518]  arXiv:1604.07593 [pdf, ps, other]
Title: Compress Voice Transference over low Signal Strength in Satellite Communication
Comments: 11 pages, 8 figures, International Journal
Journal-ref: International Journal of System of Systems Engineering 4.2 (2013): 174-186
Subjects: Multimedia (cs.MM)
[1519]  arXiv:1604.07602 [pdf, other]
Title: Spot On: Action Localization from Pointly-Supervised Proposals
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1520]  arXiv:1604.07621 [pdf, other]
Title: Micro-burst in Data Centers: Observations, Implications, and Applications
Comments: 14 pages, 18 figures
Subjects: Networking and Internet Architecture (cs.NI)
[1521]  arXiv:1604.07625 [pdf, ps, other]
Title: Mutual Transformation of Information and Knowledge
Authors: Olegs Verhodubs
Subjects: Artificial Intelligence (cs.AI)
[1522]  arXiv:1604.07634 [pdf, ps, other]
Title: The Big Match in Small Space
Subjects: Computer Science and Game Theory (cs.GT)
[1523]  arXiv:1604.07638 [pdf, other]
Title: Online Influence Maximization in Non-Stationary Social Networks
Comments: 10 pages. To appear in IEEE/ACM IWQoS 2016. Full version
Subjects: Social and Information Networks (cs.SI); Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG)
[1524]  arXiv:1604.07642 [pdf, ps, other]
Title: Ozy: A General Orchestration Container
Comments: 8 pages, 8 figures, accepted at IEEE Intl Conf. on Web Services (ICWS), San Francisco, CA, 2016
Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)
[1525]  arXiv:1604.07648 [pdf, ps, other]
Title: New Order-Optimal Decentralized Coded Caching Schemes with Good Performance in the Finite File Size Regime
Comments: 61 pages, 5 figures, presented in part at IEEE Globecom 2016 and submitted in part to IEEE ICC 2017
Subjects: Information Theory (cs.IT)
[1526]  arXiv:1604.07660 [pdf, ps, other]
Title: An Accelerometer Based Calculator for Visually Impaired People Using Mobile Devices
Subjects: Human-Computer Interaction (cs.HC)
[1527]  arXiv:1604.07665 [pdf, ps, other]
Title: On the Construction of Jointly Superregular Lower Triangular Toeplitz Matrices
Comments: Accepted for publication in 2016 IEEE International Symposium on Information Theory (ISIT)
Subjects: Information Theory (cs.IT)
[1528]  arXiv:1604.07666 [pdf, other]
Title: $\ell_p$-Box ADMM: A Versatile Framework for Integer Programming
Comments: both authors share first-authorship. Integer programming, Lp-box intersection, ADMM
Subjects: Computer Vision and Pattern Recognition (cs.CV); Data Structures and Algorithms (cs.DS)
[1529]  arXiv:1604.07669 [pdf, other]
Title: Real-time Action Recognition with Enhanced Motion Vector CNNs
Comments: accepted by CVPR16
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1530]  arXiv:1604.07671 [pdf, ps, other]
Title: A Generic Transformation to Enable Optimal Repair in MDS Codes for Distributed Storage Systems
Comments: This paper has been published in IEEE Transactions on Information Theory
Journal-ref: IEEE Trans. Inform. Theory, vol. 64, no. 9, pp. 6257-6267, Sept. 2018
Subjects: Information Theory (cs.IT)
[1531]  arXiv:1604.07679 [pdf, other]
Title: Physics-Based Swarm Intelligence for Disaster Relief Communications
Authors: Laurent Reynaud (DANTE, IXXI, LIP), Isabelle Guerin-Lassous (DANTE, IXXI, LIP)
Comments: in International Conference on Ad Hoc Networks and Wireless, Jul 2016, Lille, France
Subjects: Networking and Internet Architecture (cs.NI)
[1532]  arXiv:1604.07681 [pdf, other]
Title: Efficient Splitting-based Method for Global Image Smoothing
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1533]  arXiv:1604.07701 [pdf, other]
Title: Smart Multihoming in Smart Shires: Mobility and Communication Management for Smart Services in Countrysides
Comments: Proceedings of the IEEE Symposium on Computers and Communication (ISCC 2016), Messina (Italy), 2016
Subjects: Networking and Internet Architecture (cs.NI); Computers and Society (cs.CY)
[1534]  arXiv:1604.07704 [pdf, ps, other]
Title: Tournament selection in zeroth-level classifier systems based on average reward reinforcement learning
Comments: 14 pages, 3 figures
Subjects: Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE)
[1535]  arXiv:1604.07706 [pdf, other]
Title: Distributed Clustering of Linear Bandits in Peer to Peer Networks
Comments: The 33rd ICML, 2016
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)
[1536]  arXiv:1604.07724 [pdf, other]
Title: Assessing the Computational Complexity of Multi-Layer Subgraph Detection
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
[1537]  arXiv:1604.07741 [pdf, other]
Title: EgoSampling: Wide View Hyperlapse from Egocentric Videos
Comments: Accepted for publication in IEEE Transactions on Circuits and Systems for Video Technology (TCSVT)
Subjects: Computer Vision and Pattern Recognition (cs.CV); Multimedia (cs.MM)
[1538]  arXiv:1604.07751 [pdf, other]
Title: Compressive phase-only filtering at extreme compression rates
Journal-ref: Opt. Commun. vol. 383, pp. 446-452, (2017)
Subjects: Computer Vision and Pattern Recognition (cs.CV); Optics (physics.optics)
[1539]  arXiv:1604.07759 [pdf, ps, other]
Title: F-measure Maximization in Multi-Label Classification with Conditionally Independent Label Subsets
Subjects: Machine Learning (cs.LG)
[1540]  arXiv:1604.07769 [pdf, ps, other]
Title: An Appropriate Sensor Distribution Technique in Wireless Sensor Networks
Comments: 7 pages
Subjects: Networking and Internet Architecture (cs.NI)
[1541]  arXiv:1604.07781 [pdf, ps, other]
Title: The dynamics of publishing of posts and comments on facebook (the russian segment, the first five months of 2013)
Authors: A.V. Makarenko
Comments: 14 pages, 16 figures, 2 tables
Subjects: Social and Information Networks (cs.SI)
[1542]  arXiv:1604.07788 [pdf, other]
Title: A Framework for Human Pose Estimation in Videos
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1543]  arXiv:1604.07796 [pdf, other]
Title: Scale Normalization
Comments: Preliminary version submitted to ICLR workshop 2016
Subjects: Neural and Evolutionary Computing (cs.NE); Machine Learning (cs.LG); Machine Learning (stat.ML)
[1544]  arXiv:1604.07800 [pdf, ps, other]
Title: The Systematic Normal Form of Lattices
Subjects: Computational Complexity (cs.CC)
[1545]  arXiv:1604.07803 [pdf, other]
Title: Programmable Crossbar Quantum-dot Cellular Automata Circuits
Subjects: Emerging Technologies (cs.ET)
[1546]  arXiv:1604.07805 [pdf, other]
Title: Consistency in Distributed Data Stores
Comments: 12 pages
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[1547]  arXiv:1604.07806 [pdf, other]
Title: Using Indirect Encoding of Multiple Brains to Produce Multimodal Behavior
Subjects: Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE)
[1548]  arXiv:1604.07807 [pdf, other]
Title: An Enhanced Deep Feature Representation for Person Re-identification
Comments: Citation for this paper: Shangxuan Wu, Ying-Cong Chen, Xiang Li, An-Cong Wu, Jin-Jie You, and Wei-Shi Zheng. An Enhanced Deep Feature Representation for Person Re-identification. In IEEE WACV, 2016
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1549]  arXiv:1604.07809 [pdf, ps, other]
Title: Entities as topic labels: Improving topic interpretability and evaluability combining Entity Linking and Labeled LDA
Comments: in Proceedings of Digital Humanities 2016, Krakow
Subjects: Computation and Language (cs.CL)
[1550]  arXiv:1604.07849 [pdf, other]
Title: Distributed rotational and translational maneuvering of rigid formations and their applications
Comments: 14 pages
Journal-ref: Robotics, IEEE Transactions on, Volume 32, Issue 3, Pages 684 - 696, Year 2016
Subjects: Robotics (cs.RO); Systems and Control (eess.SY); Optimization and Control (math.OC)
[1551]  arXiv:1604.07850 [pdf, ps, other]
Title: Your Neighbors Are My Spies: Location and other Privacy Concerns in Dating Apps
Comments: The 18th IEEE International Conference on Advanced Communication Technology (ICACT 2016)
Subjects: Computers and Society (cs.CY); Cryptography and Security (cs.CR)
[1552]  arXiv:1604.07863 [pdf, ps, other]
Title: Constructions of Self-Dual and Formally Self-Dual Codes from Group Rings
Subjects: Information Theory (cs.IT); Rings and Algebras (math.RA)
[1553]  arXiv:1604.07866 [pdf, other]
Title: Learning by tracking: Siamese CNN for robust target association
Journal-ref: Computer Vision and Pattern Recognition Conference Workshops (CVPRW). DeepVision: Deep Learning for Computer Vision. 2016
Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV)
[1554]  arXiv:1604.07878 [pdf, ps, other]
Title: Evaluating the effect of topic consideration in identifying communities of rating-based social networks
Comments: International Conference on Information and Knowledge Technology (IKT) 2015
Subjects: Social and Information Networks (cs.SI); Machine Learning (cs.LG); Machine Learning (stat.ML)
[1555]  arXiv:1604.07881 [pdf, other]
Title: High-Level System Design of IEEE 802.11b Standard-Compliant Link Layer for MATLAB-Based SDR
Comments: 19 pages, in press, IEEE Access Journal
Subjects: Networking and Internet Architecture (cs.NI)
[1556]  arXiv:1604.07884 [pdf, ps, other]
Title: Spatial Birth-Death Wireless Networks
Comments: Submitted to IEEE Transactions on Information Theory. Corrected some typos from an earlier version and made some minor modifications to the introduction
Subjects: Information Theory (cs.IT); Probability (math.PR)
[1557]  arXiv:1604.07890 [pdf, other]
Title: Understanding Video-Ad Consumption on YouTube: A Measurement Study on User Behavior, Popularity, and Content Properties
Comments: To Appear at WebSci 16
Subjects: Social and Information Networks (cs.SI)
[1558]  arXiv:1604.07898 [pdf, ps, other]
Title: A Hierarchal Planning Framework for AUV Mission Management in a Spatio-Temporal Varying Ocean
Subjects: Robotics (cs.RO)
[1559]  arXiv:1604.07904 [pdf, ps, other]
Title: Image Colorization Using a Deep Convolutional Neural Network
Journal-ref: Proc. of ASIAGRAPH 2016, Toyama, Japan, pp. 49-50, Mar. 5-6, 2016
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)
[1560]  arXiv:1604.07905 [pdf, ps, other]
Title: Observability-Aware Trajectory Optimization for Self-Calibration with Application to UAVs
Subjects: Robotics (cs.RO)
[1561]  arXiv:1604.07906 [pdf, ps, other]
Title: Procedural Generation of Angry Birds Levels using Building Constructive Grammar with Chinese-Style and/or Japanese-Style Models
Journal-ref: Proc. of ASIAGRAPH 2016, Toyama, Japan, pp. 53-54, Mar. 5-6, 2016
Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)
[1562]  arXiv:1604.07918 [pdf, other]
Title: Fundamental Green Tradeoffs: Progresses, Challenges, and Impacts on 5G Networks
Comments: revised from IEEE Communications Surveys & Tutorials
Subjects: Information Theory (cs.IT)
[1563]  arXiv:1604.07924 [pdf, ps, other]
Title: Iterative $\ell_1$ minimization for non-convex compressed sensing
Subjects: Information Theory (cs.IT); Optimization and Control (math.OC)
[1564]  arXiv:1604.07928 [pdf, ps, other]
Title: Distributed Flexible Nonlinear Tensor Factorization
Comments: Gaussian process, tensor factorization, multidimensional arrays, large scale, spark, map-reduce
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (stat.ML)
[1565]  arXiv:1604.07939 [pdf, other]
Title: Large-Scale Query-by-Image Video Retrieval Using Bloom Filters
Subjects: Multimedia (cs.MM); Databases (cs.DB); Information Retrieval (cs.IR)
[1566]  arXiv:1604.07944 [pdf, other]
Title: DASC: Robust Dense Descriptor for Multi-modal and Multi-spectral Correspondence Estimation
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1567]  arXiv:1604.07948 [pdf, other]
Title: Graph Laplacian Regularization for Image Denoising: Analysis in the Continuous Domain
Comments: More discussions and results are provided
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1568]  arXiv:1604.07952 [pdf, other]
Title: Zero-shot object prediction using semantic scene knowledge
Comments: This version extends the related work
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1569]  arXiv:1604.07953 [pdf, other]
Title: Simultaneous Food Localization and Recognition
Comments: 6 pages, 6 figures, 2 tables. International Conference on Pattern Recognition (ICPR) 2016 (in press)
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1570]  arXiv:1604.07957 [pdf, ps, other]
Title: Degrees of Freedom of Full-Duplex Cellular Networks with Reconfigurable Antennas at Base Station
Comments: Submitted to IEEE Transactions on Wireless Communications
Subjects: Information Theory (cs.IT)
[1571]  arXiv:1604.07973 [pdf, ps, other]
Title: Reference and Structure of Software Engineering Theories
Authors: Andrés Silva
Comments: Position paper, 4 pages
Subjects: Software Engineering (cs.SE)
[1572]  arXiv:1604.07981 [pdf, other]
Title: The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns
Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 4 (December 27, 2017) lmcs:4049
Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI)
[1573]  arXiv:1604.07990 [pdf, other]
Title: Probabilistic Graphical Models on Multi-Core CPUs using Java 8
Comments: Pre-print version of the paper presented in the special issue on Computational Intelligence Software at IEEE Computational Intelligence Magazine journal
Journal-ref: IEEE Computational Intelligence Magazine, 11(2), 41-54. 2016
Subjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (stat.ML)
[1574]  arXiv:1604.07993 [pdf, other]
Title: How the nature of web services drives vocabulary creation in social tagging
Subjects: Social and Information Networks (cs.SI)
[1575]  arXiv:1604.07997 [pdf, other]
Title: Knowledge Ratings in MetaboLights
Subjects: Digital Libraries (cs.DL)
[1576]  arXiv:1604.08001 [pdf, other]
Title: Context Tree based Image Contour Coding using A Geometric Prior
Subjects: Multimedia (cs.MM)
[1577]  arXiv:1604.08004 [pdf, ps, other]
Title: An Analytical Solution for Probabilistic Guarantees of Reservation Based Soft Real-Time Systems
Comments: IEEE Transactions on Parallel and Distributed Systems, Volume:27, Issue: 3, March 2016
Subjects: Performance (cs.PF); Distributed, Parallel, and Cluster Computing (cs.DC)
[1578]  arXiv:1604.08010 [pdf, other]
Title: Deep Learning for Saliency Prediction in Natural Video
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1579]  arXiv:1604.08040 [pdf, ps, other]
Title: Finding Finite Models in Multi-Sorted First Order Logic
Comments: SAT 2016
Subjects: Logic in Computer Science (cs.LO)
[1580]  arXiv:1604.08041 [pdf, other]
Title: Reducing DRAM Latency at Low Cost by Exploiting Heterogeneity
Authors: Donghyuk Lee
Comments: 159 pages, PhD thesis, CMU 2016
Subjects: Hardware Architecture (cs.AR)
[1581]  arXiv:1604.08055 [pdf, ps, other]
Title: Selecting the Selection
Comments: IJCAR 2016
Subjects: Artificial Intelligence (cs.AI)
[1582]  arXiv:1604.08058 [pdf, ps, other]
Title: Lifting QBF Resolution Calculi to DQBF
Comments: SAT 2016
Subjects: Logic in Computer Science (cs.LO)
[1583]  arXiv:1604.08059 [pdf, ps, other]
Title: New Bounds for Hypergeometric Creative Telescoping
Authors: Hui Huang
Comments: 8 pages, ISSAC 2016 submission
Subjects: Symbolic Computation (cs.SC); Rings and Algebras (math.RA)
[1584]  arXiv:1604.08066 [pdf, other]
Title: The Manne et al. self-stabilizing 2/3-approximation matching algorithm is sub-exponential
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[1585]  arXiv:1604.08071 [pdf, other]
Title: On the Vulnerability of Digital Fingerprinting Systems to Finite Alphabet Collusion Attacks
Subjects: Cryptography and Security (cs.CR)
[1586]  arXiv:1604.08075 [pdf, other]
Title: Finding Influential Users in Social Media Using Association Rule Learning
Journal-ref: Entropy 2016, 18, 164
Subjects: Social and Information Networks (cs.SI)
[1587]  arXiv:1604.08079 [pdf, other]
Title: UBL: an R package for Utility-based Learning
Subjects: Mathematical Software (cs.MS); Machine Learning (cs.LG); Machine Learning (stat.ML)
[1588]  arXiv:1604.08080 [pdf, other]
Title: Concurrent Data Structures Linked in Time
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)
[1589]  arXiv:1604.08086 [pdf, ps, other]
Title: Balanced model order reduction for systems depending on a parameter
Comments: 14 pages, 1 figure Copyright notice and references added
Subjects: Systems and Control (eess.SY)
[1590]  arXiv:1604.08087 [pdf, other]
Title: Consistent Map-based 3D Localization on Mobile Devices
Subjects: Robotics (cs.RO)
[1591]  arXiv:1604.08088 [pdf, ps, other]
Title: Detecting Violence in Video using Subclasses
Subjects: Multimedia (cs.MM); Computer Vision and Pattern Recognition (cs.CV)
[1592]  arXiv:1604.08095 [pdf, other]
Title: Accent Classification with Phonetic Vowel Representation
Comments: Asian Conference on Pattern Recognition (ACPR) 2015
Subjects: Sound (cs.SD); Computation and Language (cs.CL)
[1593]  arXiv:1604.08104 [pdf, ps, other]
Title: A Low Complexity Encoding Algorithm for Systematic Polar Codes
Comments: Accepted for publication in IEEE Communications Letters
Subjects: Information Theory (cs.IT)
[1594]  arXiv:1604.08120 [pdf, other]
Title: Extracting Temporal and Causal Relations between Events
Authors: Paramita Mirza
Comments: PhD Thesis
Subjects: Computation and Language (cs.CL)
[1595]  arXiv:1604.08121 [pdf, ps, other]
Title: On Polynomial Approximations to ${AC}^0$
Journal-ref: Random Structures and Algorithms, 54(2):289-303, 2019
Subjects: Computational Complexity (cs.CC)
[1596]  arXiv:1604.08123 [pdf, other]
Title: Hybrid Analog-Digital Precoding Revisited under Realistic RF Modeling
Comments: 12 pages, 5 figures
Subjects: Information Theory (cs.IT)
[1597]  arXiv:1604.08125 [pdf, other]
Title: Hiring Secretaries over Time: The Benefit of Concurrent Employment
Subjects: Data Structures and Algorithms (cs.DS)
[1598]  arXiv:1604.08132 [pdf, other]
Title: A Logarithmic Integrality Gap Bound for Directed Steiner Tree in Quasi-bipartite Graphs
Subjects: Data Structures and Algorithms (cs.DS)
[1599]  arXiv:1604.08136 [pdf, other]
Title: Collective Stochastic Discrete Choice Problems: A Min-LQG Game Formulation
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[1600]  arXiv:1604.08137 [pdf, other]
Title: On the mediation of program allocation in high-demand environments
Comments: This version addresses a few minor issues and fixes a derivative
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)
[1601]  arXiv:1604.08147 [pdf, other]
Title: Tree-Deletion Pruning in Label-Correcting Algorithms for the Multiobjective Shortest Path Problem
Subjects: Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)
[1602]  arXiv:1604.08148 [pdf, ps, other]
Title: Defining Concepts of Emotion: From Philosophy to Science
Authors: Changqing Liu
Subjects: Artificial Intelligence (cs.AI)
[1603]  arXiv:1604.08153 [pdf, other]
Title: Classifying Options for Deep Reinforcement Learning
Comments: IJCAI 2016 Workshop on Deep Reinforcement Learning: Frontiers and Challenges
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)
[1604]  arXiv:1604.08155 [pdf, other]
Title: On Implementing Real-time Specification Patterns Using Observers
Comments: In the proceedings of the NASA Formal Methods Symposium 2016
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[1605]  arXiv:1604.08161 [pdf, ps, other]
Title: Atomic Read/Write Memory in Signature-free Byzantine Asynchronous Message-passing Systems
Comments: 12 pages
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[1606]  arXiv:1604.08164 [pdf, other]
Title: Understanding Human-Centric Images: From Geometry to Fashion
Authors: Edgar Simo-Serra
Comments: PhD Thesis, May 2015. BarcelonaTech. 169 pages
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1607]  arXiv:1604.08171 [pdf, other]
Title: Adaptive Influence Maximization in Social Networks: Why Commit when You can Adapt?
Subjects: Social and Information Networks (cs.SI)
[1608]  arXiv:1604.08178 [pdf, other]
Title: Centralized Coded Caching for Heterogeneous Lossy Requests
Comments: to be appeared in IEEE ISIT 2016
Subjects: Information Theory (cs.IT)
[1609]  arXiv:1604.08179 [pdf, other]
Title: Strategic Formation of Heterogeneous Networks
Comments: arXiv admin note: text overlap with arXiv:1307.4102, arXiv:1412.8501
Subjects: Computer Science and Game Theory (cs.GT)
[1610]  arXiv:1604.08182 [pdf, other]
Title: Unsupervised Classification in Hyperspectral Imagery with Nonlocal Total Variation and Primal-Dual Hybrid Gradient Algorithm
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1611]  arXiv:1604.08191 [pdf, ps, other]
Title: Modeling Single-Peakedness for Votes with Ties
Comments: A shorter version of this paper will appear in STAIRS 2016
Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC); Multiagent Systems (cs.MA)
[1612]  arXiv:1604.08201 [pdf, other]
Title: Interpretable Deep Neural Networks for Single-Trial EEG Classification
Comments: 5 pages, 1 figure
Subjects: Neural and Evolutionary Computing (cs.NE); Machine Learning (stat.ML)
[1613]  arXiv:1604.08202 [pdf, other]
Title: Amodal Instance Segmentation
Authors: Ke Li, Jitendra Malik
Comments: 23 pages, 14 figures; European Conference on Computer Vision (ECCV), 2016
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1614]  arXiv:1604.08220 [pdf, other]
Title: Diving deeper into mentee networks
Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Neural and Evolutionary Computing (cs.NE)
[1615]  arXiv:1604.08226 [pdf, other]
Title: Influence of Agents Heterogeneity in Cellular Model of Evacuation
Comments: Submitted to Journal of Computational Science
Journal-ref: Journal of Computational Science, Volume 21, July 2017, Pages 486-493
Subjects: Multiagent Systems (cs.MA)
[1616]  arXiv:1604.08229 [pdf, other]
Title: Propositional Abduction with Implicit Hitting Sets
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[1617]  arXiv:1604.08230 [pdf, ps, other]
Title: Flexible Fractional Repetition Codes for Distributed Storage Networks
Comments: 15 pages, 5 figures, Parts of this work will be presented at the 56th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, Oct. 2018. arXiv admin note: substantial text overlap with arXiv:1401.4509
Subjects: Information Theory (cs.IT)
[1618]  arXiv:1604.08231 [pdf, ps, other]
Title: When Can Helper Node Selection Improve Regenerating Codes? Part I: Graph-Based Analysis
Comments: 27 pages, 8 figures, Under 2nd round of review at IEEE Trans. on Information Theory. arXiv admin note: substantial text overlap with arXiv:1401.4509
Subjects: Information Theory (cs.IT)
[1619]  arXiv:1604.08234 [pdf, other]
Title: Polynomial-Time Algorithms for Energy Games with Special Weight Structures
Comments: This paper appeared in the ESA 2012 special issue of Algorithmica. A preliminary version was presented at the 20th Annual European Symposium on Algorithms (ESA 2012)
Journal-ref: Algorithmica 70(3): 457-492 (2014)
Subjects: Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)
[1620]  arXiv:1604.08235 [pdf, ps, other]
Title: Your Neighbors Are My Spies: Location and other Privacy Concerns in GLBT-focused Location-based Dating Applications
Comments: This work is a follow-up to arXiv:1604.07850, and is being submitted to the ICACT Transactions on Advanced Communications Technology, thus not a final version of this study
Subjects: Computers and Society (cs.CY); Cryptography and Security (cs.CR)
[1621]  arXiv:1604.08239 [pdf, other]
Title: A Collaborative Untethered Virtual Reality Environment for Interactive Social Network Visualization
Subjects: Human-Computer Interaction (cs.HC); Graphics (cs.GR)
[1622]  arXiv:1604.08242 [pdf, other]
Title: The IBM 2016 English Conversational Telephone Speech Recognition System
Comments: Submitted to Interspeech 2016
Subjects: Computation and Language (cs.CL)
[1623]  arXiv:1604.08243 [pdf, other]
Title: Cloudrone: Micro Clouds in the Sky
Comments: 6 pages, 11 figures
Subjects: Networking and Internet Architecture (cs.NI)
[1624]  arXiv:1604.08245 [pdf, ps, other]
Title: Text writing in the air
Comments: 19 pages, 19 figures,2 tables. see this http URL
Subjects: Multimedia (cs.MM)
[1625]  arXiv:1604.08246 [pdf, ps, other]
Title: Abnormality Detection in Correlated Gaussian Molecular Nano-Networks: Design and Analysis
Comments: 36 pages, 5 figures, 5 Tables
Subjects: Information Theory (cs.IT)
[1626]  arXiv:1604.08248 [pdf, other]
Title: Infinitary $λ$-Calculi from a Linear Perspective (Long Version)
Authors: Ugo Dal Lago
Subjects: Logic in Computer Science (cs.LO)
[1627]  arXiv:1604.08255 [pdf, ps, other]
Title: The Algorithmic Autoregulation Software Development Methodology
Journal-ref: RESI, v. 13, n. 2, 2014
Subjects: Software Engineering (cs.SE)
[1628]  arXiv:1604.08256 [pdf, other]
Title: Multiview Differential Geometry of Curves
Comments: International Journal of Computer Vision Final Accepted version. International Journal of Computer Vision, 2016. The final publication is available at Springer via this http URL
Subjects: Computer Vision and Pattern Recognition (cs.CV); Computational Geometry (cs.CG); Graphics (cs.GR); Differential Geometry (math.DG)
[1629]  arXiv:1604.08263 [pdf, ps, other]
Title: Market-based vs. Price-based Microgrid Optimal Scheduling
Comments: Accepted to the IEEE Transactions on Smart Grid
Subjects: Systems and Control (eess.SY)
[1630]  arXiv:1604.08268 [pdf, other]
Title: Quantum Cognition Beyond Hilbert Space I: Fundamentals
Comments: 10 pages, 2 figures
Journal-ref: In de Barros J., Coecke B., Pothos E. (Eds), Quantum Interaction. QI 2016 (pp. 81-98). Lecture Notes in Computer Science, vol 10106. Springer, Cham (2017)
Subjects: Artificial Intelligence (cs.AI); Quantum Physics (quant-ph)
[1631]  arXiv:1604.08269 [pdf, ps, other]
Title: Efficient Optimization for Rank-based Loss Functions
Comments: 15 pages, 2 figures
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1632]  arXiv:1604.08270 [pdf, other]
Title: Quantum cognition beyond Hilbert space II: Applications
Comments: 10 pages, 2 figures
Journal-ref: In de Barros J., Coecke B., Pothos E. (Eds) Quantum Interaction. QI 2016 (pp. 81-98). Lecture Notes in Computer Science, vol 10106. Springer, Cham (2017)
Subjects: Artificial Intelligence (cs.AI); Quantum Physics (quant-ph)
[1633]  arXiv:1604.08274 [pdf, other]
Title: A General Constrained Shortest Path Approach for Virtual Path Embedding
Comments: Technical Report prepared for Camera-Ready paper to appear at IEEE Conference on Local and Metropolitan Area Networks, 2016
Subjects: Networking and Internet Architecture (cs.NI)
[1634]  arXiv:1604.08275 [pdf, other]
Title: Crafting Adversarial Input Sequences for Recurrent Neural Networks
Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)
[1635]  arXiv:1604.08284 [pdf, ps, other]
Title: Talk&Learn: Improving Conversation Experience and Creating Opportunities for Foreign Language Learning
Authors: Yaohua Xie
Subjects: Human-Computer Interaction (cs.HC)
[1636]  arXiv:1604.08315 [pdf, other]
Title: Index Modulation Techniques for 5G Wireless Networks
Authors: Ertugrul Basar
Comments: A shorter version to appear in IEEE Communications Magazine
Subjects: Information Theory (cs.IT)
[1637]  arXiv:1604.08319 [pdf, other]
Title: Capacity-Achieving Iterative LMMSE Detection for MIMO-NOMA Systems
Comments: Submitted to IEEE Transactions on Information Theory,36 pages,8 figures
Subjects: Information Theory (cs.IT)
[1638]  arXiv:1604.08322 [pdf, ps, other]
Title: Development of a wearable haptic game interface
Comments: arXiv admin note: substantial text overlap with arXiv:1604.05479
Journal-ref: EAI Endorsed Transactions on Creative Technologies, 3(6), e5 (2016)
Subjects: Human-Computer Interaction (cs.HC)
[1639]  arXiv:1604.08330 [pdf, other]
Title: Server Consolidation for Internet Applications in Virtualized Data Centers
Comments: 8 pages, 6 figures, In Proceedings of the Symposium on High Performance Computing (HPC '16). Society for Computer Simulation International, Pasadena, CA, USA
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[1640]  arXiv:1604.08335 [pdf, other]
Title: Managing Deadline-constrained Bag-of-Tasks Jobs on Hybrid Clouds
Comments: 8 pages, 9 figures, In Proceedings of the Symposium on High Performance Computing (HPC '16). Society for Computer Simulation International, Pasadena, CA, USA
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[1641]  arXiv:1604.08336 [pdf, ps, other]
Title: An Autonomous Reactive Architecture for Efficient AUV Mission Time Management in Realistic Severe Ocean Environment
Subjects: Robotics (cs.RO)
[1642]  arXiv:1604.08340 [pdf, ps, other]
Title: Semantic Reasoning for Context-aware Internet of Things Applications
Subjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC)
[1643]  arXiv:1604.08342 [pdf, other]
Title: Graph Minors for Preserving Terminal Distances Approximately - Lower and Upper Bounds
Comments: An extended abstract will appear in Proceedings of ICALP 2016
Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[1644]  arXiv:1604.08345 [pdf, ps, other]
Title: Advances in Property-Based Testing for $α$Prolog
Comments: To appear, Tests and Proofs 2016; includes appendix with details not in the conference version
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[1645]  arXiv:1604.08348 [pdf, other]
Title: On the algebraic structure of Weihrauch degrees
Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 4, Computability and logic (October 25, 2018) lmcs:3854
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[1646]  arXiv:1604.08352 [pdf, other]
Title: Joint Line Segmentation and Transcription for End-to-End Handwritten Paragraph Recognition
Authors: Théodore Bluche
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)
[1647]  arXiv:1604.08357 [pdf, ps, other]
Title: A signaling protocol for service function localization
Comments: Accepted for publication in IEEE Communications Letters
Journal-ref: IEEE Communications Letters, 2016
Subjects: Networking and Internet Architecture (cs.NI)
[1648]  arXiv:1604.08377 [pdf, other]
Title: Enabling Fine-grained RDF Data Completeness Assessment
Comments: This is a preprint version of a paper published in the Proceedings of the 16th International Conference on Web Engineering (ICWE 2016)
Subjects: Databases (cs.DB)
[1649]  arXiv:1604.08379 [pdf, other]
Title: Balanced Ranking Mechanisms
Subjects: Computer Science and Game Theory (cs.GT)
[1650]  arXiv:1604.08382 [pdf, ps, other]
Title: Convolutional Neural Networks For Automatic State-Time Feature Extraction in Reinforcement Learning Applied to Residential Load Control
Comments: Submitted to Transactions on Smart Grid
Subjects: Machine Learning (cs.LG); Systems and Control (eess.SY)
[1651]  arXiv:1604.08383 [pdf, other]
Title: No solvable lambda-value term left behind
Comments: 43 pages
Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 2 (June 30, 2016) lmcs:1644
Subjects: Logic in Computer Science (cs.LO)
[1652]  arXiv:1604.08397 [pdf, other]
Title: GNU Radio Signal Processing Models for Dynamic Multi-User Burst Modems
Comments: in Software Radio Implementation Forum 2015
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[1653]  arXiv:1604.08407 [pdf, other]
Title: Exploiting Source-Object Network to Resolve Object Conflicts in Linked Data
Comments: This paper had been accepted by ESWC2017 Research Tracks
Subjects: Databases (cs.DB)
[1654]  arXiv:1604.08418 [pdf, other]
Title: Stable Throughput Region of the Two-User Broadcast Channel
Comments: Submitted for journal publication
Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
[1655]  arXiv:1604.08420 [pdf, ps, other]
Title: Matrix Factorization Method for Decentralized Recommender Systems
Authors: Wenjie Zheng
Subjects: Information Retrieval (cs.IR); Distributed, Parallel, and Cluster Computing (cs.DC)
[1656]  arXiv:1604.08426 [pdf, other]
Title: A Novel Method to Study Bottom-up Visual Saliency and its Neural Mechanism
Subjects: Computer Vision and Pattern Recognition (cs.CV); Neurons and Cognition (q-bio.NC)
[1657]  arXiv:1604.08437 [pdf, other]
Title: Optimal pattern matching algorithms
Authors: Gilles Didier
Subjects: Computational Complexity (cs.CC); Probability (math.PR)
[1658]  arXiv:1604.08443 [pdf, other]
Title: Analyzing Timed Systems Using Tree Automata
Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 2 (May 9, 2018) lmcs:3156
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[1659]  arXiv:1604.08448 [pdf, other]
Title: Exploiting variable associations to configure efficient local search algorithms in large-scale binary integer programs
Authors: Shunji Umetani
Subjects: Data Structures and Algorithms (cs.DS); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
[1660]  arXiv:1604.08464 [pdf, other]
Title: An Exact Algorithm for a Fuel-Constrained Autonomous Vehicle Path Planning Problem
Comments: A version of this paper accepted to Unmanned Systems under the title "Analysis of Mixed-Integer Linear Programming Formulations for a Fuel-Constrained Multiple Vehicle Routing Problem"
Subjects: Systems and Control (eess.SY)
[1661]  arXiv:1604.08476 [pdf, other]
Title: Unit Consistency, Generalized Inverses, and Effective System Design Methods
Authors: Jeffrey Uhlmann
Comments: Extended Theorem V.2 and added discussion of composite state spaces in which different subsets of variables have different consistency assumptions. Includes other small corrections/improvements
Subjects: Numerical Analysis (math.NA)
[1662]  arXiv:1604.08484 [pdf, other]
Title: Architectural Impact on Performance of In-memory Data Analytics: Apache Spark Case Study
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Hardware Architecture (cs.AR); Performance (cs.PF)
[1663]  arXiv:1604.08490 [pdf, other]
Title: RITM: Revocation in the Middle
Comments: ICDCS 2016, Best Paper Award
Subjects: Cryptography and Security (cs.CR)
[1664]  arXiv:1604.08491 [pdf, ps, other]
Title: Fully Dynamic Maximal Matching in Constant Update Time
Authors: Shay Solomon
Subjects: Data Structures and Algorithms (cs.DS)
[1665]  arXiv:1604.08500 [pdf, ps, other]
Title: Detection of epileptic seizure in EEG signals using linear least squares preprocessing
Authors: Z. Roshan Zamir
Comments: Biological signal classification, Signal approximation, Feature extraction, Data analysis, Linear least squares problems, EEG Seizure detection
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
[1666]  arXiv:1604.08501 [pdf, ps, other]
Title: Array Program Transformation with Loo.py by Example: High-Order Finite Elements
Journal-ref: ARRAY 2016 Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming Pages 9-16
Subjects: Programming Languages (cs.PL); Performance (cs.PF); Numerical Analysis (math.NA)
[1667]  arXiv:1604.08504 [pdf, other]
Title: Detecting "Smart" Spammers On Social Network: A Topic Model Approach
Comments: NAACL-HLT 2016, Student Research Workshop
Subjects: Computation and Language (cs.CL); Social and Information Networks (cs.SI)
[1668]  arXiv:1604.08507 [pdf, other]
Title: Graph Decompositions Analysis and Comparison for Cohesive Subgraphs Detection
Comments: 10 pages, 14 figures, 3 algorithms pseudocodes
Subjects: Social and Information Networks (cs.SI); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
[1669]  arXiv:1604.08516 [pdf, other]
Title: Robust Joint Alignment of Multiple Versions of a Piece of Music
Comments: International Society for Music Information Retrieval Conference (ISMIR)
Journal-ref: Proceedings of the International Society for Music Information Retrieval Conference (ISMIR), Taipei, Taiwan, pp. 83-88, 2014
Subjects: Sound (cs.SD)
[1670]  arXiv:1604.08538 [pdf, ps, other]
Title: Mac Williams identities and polarized Riemann-Roch conditions
Subjects: Information Theory (cs.IT); Algebraic Geometry (math.AG)
[1671]  arXiv:1604.08552 [pdf, other]
Title: Handover Management in Dense Cellular Networks: A Stochastic Geometry Approach
Comments: 7 pages, 7 figures, ICC 2016
Subjects: Networking and Internet Architecture (cs.NI)
[1672]  arXiv:1604.08553 [pdf, other]
Title: KADABRA is an ADaptive Algorithm for Betweenness via Random Approximation
Comments: Some typos corrected
Subjects: Data Structures and Algorithms (cs.DS); Social and Information Networks (cs.SI)
[1673]  arXiv:1604.08558 [pdf, other]
Title: Polynomial-time kernel reductions
Subjects: Computational Complexity (cs.CC)
[1674]  arXiv:1604.08561 [pdf, other]
Title: Comparing Fifty Natural Languages and Twelve Genetic Languages Using Word Embedding Language Divergence (WELD) as a Quantitative Measure of Language Distance
Subjects: Computation and Language (cs.CL)
[1675]  arXiv:1604.08568 [pdf, other]
Title: Towards Temporal Graph Databases
Subjects: Databases (cs.DB)
[1676]  arXiv:1604.08600 [pdf, other]
Title: Caching and Delivery via Interference Elimination
Authors: Chao Tian, Jun Chen
Comments: 20 pages, 3 figures; submitted to IEEE Trans. IT; a short version will appear in ISIT 2016
Subjects: Information Theory (cs.IT)
[1677]  arXiv:1604.08603 [pdf, ps, other]
Title: Decomposing Cubic Graphs into Connected Subgraphs of Size Three
Comments: to appear in the proceedings of COCOON 2016
Subjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
[1678]  arXiv:1604.08608 [pdf, other]
Title: A movie genre prediction based on Multivariate Bernoulli model and genre correlations
Comments: 5 pages, 8 figues, 1 table
Subjects: Information Retrieval (cs.IR); Machine Learning (cs.LG)
[1679]  arXiv:1604.08610 [pdf, other]
Title: Artistic style transfer for videos
Comments: final version appeared in GCPR-2016; minor changes to improve the clarity
Journal-ref: German Conference on Pattern Recognition (GCPR), LNCS 9796, pp. 26-36 (2016)
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1680]  arXiv:1604.08618 [pdf, ps, other]
Title: Stringer: Balancing Latency and Resource Usage in Service Function Chain Provisioning
Subjects: Networking and Internet Architecture (cs.NI); Distributed, Parallel, and Cluster Computing (cs.DC)
[1681]  arXiv:1604.08620 [pdf, ps, other]
Title: Computer keyboard interaction as an indicator of early Parkinson's disease
Comments: Available at: this http URL
Journal-ref: Scientific Reports 6, Article number: 34468 (2016)
Subjects: Human-Computer Interaction (cs.HC)
[1682]  arXiv:1604.08622 [pdf, ps, other]
Title: Enabling Micro-level Demand-Side Grid Flexiblity in Resource Constrained Environments
Subjects: Systems and Control (eess.SY)
[1683]  arXiv:1604.08625 [pdf, other]
Title: Throughput and range characterization of IEEE 802.11ah
Comments: 7 pages, 6 figures, 5 tables
Subjects: Networking and Internet Architecture (cs.NI)
[1684]  arXiv:1604.08632 [pdf, ps, other]
Title: Licensed-Assisted Access to Unlicensed Spectrum in LTE Release 13
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[1685]  arXiv:1604.08633 [pdf, ps, other]
Title: Word Ordering Without Syntax
Comments: EMNLP 2016
Subjects: Computation and Language (cs.CL)
[1686]  arXiv:1604.08640 [pdf, other]
Title: Hilbert Exclusion: Improved Metric Search through Finite Isometric Embeddings
Comments: 41 pages, 19 figures
Journal-ref: ACM Transactions on Information Systems (TOIS), 35, 3, Article 17 (2016)
Subjects: Information Retrieval (cs.IR)
[1687]  arXiv:1604.08642 [pdf, other]
Title: On the representation and embedding of knowledge bases beyond binary relations
Comments: 8 pages, to appear in IJCAI 2016
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)
[1688]  arXiv:1604.08660 [pdf, other]
Title: Crowd Counting via Weighted VLAD on Dense Attribute Feature Maps
Comments: 10 pages
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1689]  arXiv:1604.08667 [pdf, other]
Title: A Bio-Inspired Tensegrity Manipulator with Multi-DOF, Structurally Compliant Joints
Comments: IROS 2016
Subjects: Robotics (cs.RO)
[1690]  arXiv:1604.08671 [pdf, other]
Title: Deep Edge Guided Recurrent Residual Learning for Image Super-Resolution
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1691]  arXiv:1604.08672 [pdf, ps, other]
Title: Distance Metric Learning for Aspect Phrase Grouping
Subjects: Computation and Language (cs.CL)
[1692]  arXiv:1604.08675 [pdf, other]
Title: A Modest Proposal for Open Market Risk Assessment to Solve the Cyber-Security Problem
Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY)
[1693]  arXiv:1604.08679 [pdf, other]
Title: On Approximating Functions of the Singular Values in a Stream
Comments: fixed a flaw in Section 6
Subjects: Data Structures and Algorithms (cs.DS)
[1694]  arXiv:1604.08680 [pdf, ps, other]
Title: Infinite Horizon Optimal Transmission Power Control for Remote State Estimation over Fading Channels
Subjects: Systems and Control (eess.SY)
[1695]  arXiv:1604.08683 [pdf, other]
Title: Top-push Video-based Person Re-identification
Comments: In IEEE CVPR 2016
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1696]  arXiv:1604.08685 [pdf, other]
Title: Single Image 3D Interpreter Network
Comments: ECCV 2016 (oral). The first two authors contributed equally to this work
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
[1697]  arXiv:1604.08691 [pdf, other]
Title: A Fast Sampling Method of Exploring Graphlet Degrees of Large Directed and Undirected Graphs
Subjects: Social and Information Networks (cs.SI)
[1698]  arXiv:1604.08692 [pdf, ps, other]
Title: Optimal data recovery and forecasting with dummy long-horizon forecasts
Comments: arXiv admin note: substantial text overlap with arXiv:1504.02298, text overlap with arXiv:1604.06980
Subjects: Information Theory (cs.IT); Statistics Theory (math.ST)
[1699]  arXiv:1604.08693 [pdf, ps, other]
Title: LMS Moodle: Distance international education in cooperation of higher education institutions of different countries
Comments: 9 pages, 9 figures
Subjects: Computers and Society (cs.CY)
[1700]  arXiv:1604.08698 [pdf, ps, other]
Title: Relative Convex Hull Determination from Convex Hulls in the Plane
Comments: 15 pages, 4 figures, Conference paper published. We corrected two typing errors in Definition 2: $I_S$ has to be defined based on $O_S$, and $I_E$ has to be defined based on $O_E$ (not just using $O$). These errors appeared in the text of the original conference paper, which also contained the pseudocode of an algorithm where $I_S$ and $I_E$ appeared as correctly defined
Journal-ref: Proc. of IWCIA 2015 (Int. Workshop on Combinatorial Image Analysis, Nov. 2015, Kolkata, India), Springer Switzerland, LNCS 9448, pp. 46-60, 2015
Subjects: Computational Geometry (cs.CG)
[1701]  arXiv:1604.08708 [pdf, other]
Title: Mobile Robot Navigation on Partially Known Maps using a Fast A Star Algorithm Version
Authors: Paul Muntean
Subjects: Robotics (cs.RO)
[1702]  arXiv:1604.08709 [pdf, ps, other]
Title: "Knowing value" logic as a normal modal logic
Authors: Tao Gu, Yanjing Wang
Comments: 21 pages, in Advances in Modal Logic Vol 11: 362-381 College Publications. This is a draft with a more detailed proof of Prop. 3.5
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[1703]  arXiv:1604.08716 [pdf, other]
Title: Learning Compact Structural Representations for Audio Events Using Regressor Banks
Comments: To appear in Proceedings of IEEE ICASSP 2016
Subjects: Sound (cs.SD); Machine Learning (cs.LG); Machine Learning (stat.ML)
[1704]  arXiv:1604.08723 [pdf, other]
Title: Music transcription modelling and composition using deep learning
Comments: 16 pages, 4 figures, contribution to 1st Conference on Computer Simulation of Musical Creativity
Subjects: Sound (cs.SD); Machine Learning (cs.LG)
[1705]  arXiv:1604.08727 [pdf, ps, other]
Title: Exploring Social Networks for Optimized User Association in Wireless Small Cell Networks with Device-to-Device Communications
Comments: IEEE WCNC 2014
Subjects: Networking and Internet Architecture (cs.NI)
[1706]  arXiv:1604.08729 [pdf, ps, other]
Title: Low-Complexity Hybrid Linear/Tomlinson-Harashima Precoding for Downlink Large-Scale MU-MIMO Systems
Comments: This paper has been submitted for presentation at IEEE Global Communications Conference (Globecom) 2016
Subjects: Information Theory (cs.IT)
[1707]  arXiv:1604.08734 [pdf, ps, other]
Title: System Level Performance Evaluation of LTE-V2X Network
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT); Performance (cs.PF)
[1708]  arXiv:1604.08736 [pdf, ps, other]
Title: Verifying Buchberger's Algorithm in Reduction Rings
Comments: 8 pages; appeared in the proceedings of PAS'2015 (Program Verification, Automated Debugging, and Symbolic Computation, Beijing, China, October 21--23, 2015)
Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO); Commutative Algebra (math.AC)
[1709]  arXiv:1604.08738 [pdf, other]
Title: I/O-Efficient Generation of Massive Graphs Following the LFR Benchmark
Comments: 25 pages, 11 figures. We add the sampling of simple graphs using the Configuration Model followed by rewiring steps and experimental results regarding the mixing time of the sampling schemes
Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC); Social and Information Networks (cs.SI)
[1710]  arXiv:1604.08740 [pdf, ps, other]
Title: MetaGrad: Multiple Learning Rates in Online Learning
Journal-ref: Advances in Neural Information Processing Systems 29 (NeurIPS), 3666-3674, 2016
Subjects: Machine Learning (cs.LG)
[1711]  arXiv:1604.08742 [pdf, other]
Title: Hidden cusps
Authors: Michel Coste (IRMAR), Philippe Wenger (IRCCyN), Damien Chablat (IRCCyN)
Journal-ref: 15th International Symposium on Advances in Robot Kinematics, Jun 2016, Grasse, France. 2016
Subjects: Robotics (cs.RO)
[1712]  arXiv:1604.08744 [pdf, other]
Title: Enabling Relaying Over Heterogeneous Backhauls in the Uplink of Wireless Femtocell Networks
Comments: 6 pages, 6 figures, 1 table, WiOpt12 (published)
Journal-ref: pp. 75-80, May 2012
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[1713]  arXiv:1604.08756 [pdf, other]
Title: Opportunistic Sleep Mode Strategies in Wireless Small Cell Networks
Comments: 5 pages, 6 figures, 1 table, ICC 2014 (published), pp. 2707-2712, Jun. 2014. arXiv admin note: text overlap with arXiv:1604.08758
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[1714]  arXiv:1604.08758 [pdf, other]
Title: Dynamic Clustering and Sleep Mode Strategies for Small Cell Networks
Comments: 5 pages, 4 figures, 1 table, ISWCS 2014 (published), pp. 934-938, Aug. 2014. arXiv admin note: text overlap with arXiv:1604.08756
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[1715]  arXiv:1604.08760 [pdf, ps, other]
Title: Optimal Computation of Avoided Words
Subjects: Data Structures and Algorithms (cs.DS)
[1716]  arXiv:1604.08763 [pdf, other]
Title: Energy-Efficient Resource Management in Ultra Dense Small Cell Networks: A Mean-Field Approach
Comments: 6 pages, 7 figures, GLOBECOM 2015 (published)
Journal-ref: pp. 1-6, Dec. 2015
Subjects: Information Theory (cs.IT)
[1717]  arXiv:1604.08764 [pdf, other]
Title: A Linear Time Parameterized Algorithm for Node Unique Label Cover
Subjects: Data Structures and Algorithms (cs.DS)
[1718]  arXiv:1604.08768 [pdf, other]
Title: Supervisory Control for Behavior Composition
Subjects: Artificial Intelligence (cs.AI); Systems and Control (eess.SY)
[1719]  arXiv:1604.08779 [pdf, other]
Title: Undecidability of Two-dimensional Robot Games
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[1720]  arXiv:1604.08781 [pdf, other]
Title: Teaching natural language to computers
Comments: 6 pages, including 1 figure and 3 tables; accepted for presentation at IJCAI2016 Workshop on Language Sense on Computers
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)
[1721]  arXiv:1604.08784 [pdf, other]
Title: Deriving approximation tolerance constraints from verification runs
Subjects: Software Engineering (cs.SE)
[1722]  arXiv:1604.08789 [pdf, other]
Title: Effective Backscatter Approximation for Photometry in Murky Water
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1723]  arXiv:1604.08793 [pdf, other]
Title: Identification of Photovoltaic Arrays' Maximum Power Extraction Point via Dynamic Regressor Extension and Mixing
Comments: This paper is submitted to th International Journal of Adaptive Control and Signal Processing
Subjects: Systems and Control (eess.SY)
[1724]  arXiv:1604.08797 [pdf, other]
Title: Ortho-polygon Visibility Representations of Embedded Graphs
Subjects: Computational Geometry (cs.CG)
[1725]  arXiv:1604.08799 [pdf, ps, other]
Title: A method to Implement the Kerberos User Authentication and the secured Internet Service
Comments: 7 pages
Subjects: Cryptography and Security (cs.CR)
[ total of 1969 entries: 1-250 | ... | 726-975 | 976-1225 | 1226-1475 | 1476-1725 | 1726-1969 ]
[ 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)