- Rss Search
- Rss Feeds
- What Is Rss
- Rss Reader
- About Us
- Contact Us
- Popular Searches
- Latest Searches
- On Your Site
- [+] add to search

Feed Preview | Feed Preview |

**Link: **http://arxiv.org/

**Description: **Computer Science cs updates on the arXiv.org e-print archive

## The Fallacy Of Favoring Gradual Replacement Mind Uploading Over Scan-and-copy. Arxiv:1504.06320v1 Cs.oh

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06320**Description:**Mind uploading speculation and debate often concludes that a procedure described as gradual in-place replacement preserves personal identity while a procedure described as destructive scan-and-copy produces some other identity in the target substrate such that personal identity is lost along with the biological brain. This paper demonstrates a chain of reasoning that establishes metaphysical equivalence between these two methods in terms of preserving personal identity. read more »## Analysis Of Stopping Active Learning Based On Stabilizing Predictions. Arxiv:1504.06329v1 Cs.lg

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06329**Description:**Within the natural language processing NLP community, active learning has been widely investigated and applied in order to alleviate the annotation bottleneck faced by developers of new NLP systems and technologies. This paper presents the first theoretical analysis of stopping active learning based on stabilizing predictions SP . The analysis has revealed three elements that are central to the success of the SP method: 1 bounds on Cohen's Kappa agreement between successively trained models impo... read more »## Strategic Teaching And Learning In Games. Arxiv:1504.06341v1 Cs.gt

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06341**Description:**It is known that there are uncoupled learning heuristics leading to Nash equilibrium in all finite games. Why should players use such learning heuristics and where could they come from We show that there is no uncoupled learning heuristic leading to Nash equilibrium in all finite games that a player has an incentive to adopt, that would be evolutionary stable or that could "learn itself". Rather, a player has an incentive to strategically teach such a learning opponent in order secure ... read more »## A Characterization Of Visibility Graphs For Pseudo-polygons. Arxiv:1504.06350v1 Cs.cg

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06350**Description:**In this paper, we give a characterization of the visibility graphs of pseudo-polygons. We first identify some key combinatorial properties of pseudo-polygons, and we then give a set of five necessary conditions based off our identified properties. We then prove that these necessary conditions are also sufficient via a reduction to a characterization of vertex-edge visibility graphs given by O'Rourke and Streinu. read more »## A System Structure For Adaptive Mobile Applications. Arxiv:1504.06353v1 Cs.se

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06353**Description:**A system structure for adaptive mobile applications is introduced and discussed, together with a compliant architecture and a prototypic implementation. A methodology is also introduced, which exploits our structure to decompose the behavior of non stable systems into a set of quasi-stable scenarios. Within each of these scenarios we can exploit the knowledge of the available QoS figures to express simpler and better adaptation strategies. read more »## On Freeze Ltl With Ordered Attributes. Arxiv:1504.06355v1 Cs.lo

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06355**Description:**This paper is concerned with Freeze LTL, a temporal logic on data words with registers. In a multi-attributed data word each position carries a letter from a finite alphabet and assigns a data value to a fixed, finite set of attributes. The satisfiability problem of Freeze LTL is undecidable if more than one register is available or tuples of data values can be stored and compared arbitrarily. Starting from the decidable one-register fragment we propose an extension that allows for specifying a ... read more »## Overview Of Swallow --- A Scalable 480-core System For Investigating The Performance And Energy Efficiency Of Many-core Applications And Operating Systems. Arxiv:1504.06357v1 Cs.dc

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06357**Description:**We present Swallow, a scalable many-core architecture, with a current configuration of 480 x 32-bit processors. Swallow is an open-source architecture, designed from the ground up to deliver scalable increases in usable computational power to allow experimentation with many-core applications and the operating systems that support them. Scalability is enabled by the creation of a tile-able system with a low-latency interconnect, featuring an attractive communication-to-computation ratio and the u... read more »## Touch-less Interactive Augmented Reality Game On Vision Based Wearable Device. Arxiv:1504.06359v1 Cs.hc

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06359**Description:**There is an increasing interest in creating pervasive games based on emerging interaction technologies. In order to develop touch-less, interactive and augmented reality games on vision-based wearable device, a touch-less motion interaction technology is designed and evaluated in this work. Users interact with the augmented reality games with dynamic hands/feet gestures in front of the camera, which triggers the interaction event to interact with the virtual object in the scene. Three primitive ... read more »## On The Runtime Of Randomized Local Search And Simple Evolutionary Algorithms For Dynamic Makespan Scheduling. Arxiv:1504.06363v1 Cs.ds

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06363**Description:**Evolutionary algorithms have been frequently used for dynamic optimization problems. With this paper, we contribute to the theoretical understanding of this research area. We present the first computational complexity analysis of evolutionary algorithms for a dynamic variant of a classical combinatorial optimization problem, namely makespan scheduling. We study the model of a strong adversary which is allowed to change one job at regular intervals. Furthermore, we investigate the setting of rand... read more »## Use Of Ensembles Of Fourier Spectra In Capturing Recurrent Concepts In Data Streams. Arxiv:1504.06366v1 Cs.ai

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06366**Description:**In this research, we apply ensembles of Fourier encoded spectra to capture and mine recurring concepts in a data stream environment. Previous research showed that compact versions of Decision Trees can be obtained by applying the Discrete Fourier Transform to accurately capture recurrent concepts in a data stream. However, in highly volatile environments where new concepts emerge often, the approach of encoding each concept in a separate spectrum is no longer viable due to memory overload and th... read more »## Logical Conditional Preference Theories. Arxiv:1504.06374v1 Cs.ai

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06374**Description:**CP-nets represent the dominant existing framework for expressing qualitative conditional preferences between alternatives, and are used in a variety of areas including constraint solving. Over the last fifteen years, a significant literature has developed exploring semantics, algorithms, implementation and use of CP-nets. This paper introduces a comprehensive new framework for conditional preferences: logical conditional preference theories LCP theories . To express preferences, the user specifi... read more »## Holistically-nested Edge Detection. Arxiv:1504.06375v1 Cs.cv

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06375**Description:**We develop a new edge detection algorithm that tackles two important issues in this long-standing vision problem: 1 holistic image training and prediction; and 2 multi-scale and multi-level feature learning. Our proposed method, holistically-nested edge detection HED , performs image-to-image prediction by means of a deep learning model that leverages fully convolutional neural networks and deeply-supervised nets. HED automatically learns rich hierarchical representations guided by deep supervis... read more »## Depth-based Hand Pose Estimation: Methods, Data, And Challenges. Arxiv:1504.06378v1 Cs.cv

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06378**Description:**Hand pose estimation has matured rapidly in recent years. The introduction of commodity depth sensors and a multitude of practical applications have spurred new advances. We provide an extensive analysis of the state-of-the-art, focusing on hand pose estimation from a single depth frame. To do so, we have implemented a considerable number of systems, and will release all software and evaluation code. We summarize important conclusions here: 1 Pose estimation appears roughly solved for scenes wit... read more »## Throughput Optimal And Fast Near-optimal Scheduling With Heterogeneously Delayed Network-state Information Extended Version . Arxiv:1504.06387v1 Cs.ni

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06387**Description:**We consider the problem of distributed scheduling in wireless networks where heterogeneously delayed information about queue lengths and channel states of all links are available at all the transmitters. In an earlier work by Reddy et al. in Queueing Systems, 2012 , a throughput optimal scheduling policy which we refer to henceforth as the R policy for this setting was proposed. We study the R policy, and examine its two drawbacks -- i its huge computational complexity, and ii its non-optimal av... read more »## On The Stability Of Online Language Features: How Much Text Do You Need To Know A Person . Arxiv:1504.06391v1 Cs.cl

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06391**Description:**In recent years, numerous studies have inferred personality and other traits from people's online writing. While these studies are encouraging, more information is needed in order to use these techniques with confidence. How do linguistic features vary across different online media, and how much text is required to have a representative sample for a person In this paper, we examine several large sets of online, user-generated text, drawn from Twitter, email, blogs, and online discussion forums. ... read more »## Social Trust Prediction Via Max-norm Constrained 1-bit Matrix Completion. Arxiv:1504.06394v1 Cs.si

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06394**Description:**Social trust prediction addresses the significant problem of exploring interactions among users in social networks. Naturally, this problem can be formulated in the matrix completion framework, with each entry indicating the trustness or distrustness. However, there are two challenges for the social trust problem: 1 the observed data are with sign 1-bit measurements; 2 they are typically sampled non-uniformly. Most of the previous matrix completion methods do not well handle the two issues. Moti... read more »## Viability Of Reverse Pricing In Cellular Networks: A New Outlook On Resource Management. Arxiv:1504.06395v1 Cs.ni

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06395**Description:**Reverse pricing has been recognized as an effective tool to handle the uncertainty of users' demands in the travel industry e.g., airlines and hotels . To investigate its viability in cellular networks, we study the practical limitations of operator-driven time-dependent pricing that has been recently introduced, taking into account demand uncertainty. Then, we endeavor to design the reverse pricing mechanism to resolve the weakness of the time-dependent pricing scheme. We show that the proposed... read more »## Modal Inclusion Logic: Being Lax Is Simpler Than Being Strict. Arxiv:1504.06409v1 Cs.lo

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06409**Description:**We investigate the computational complexity of the satisfiability problem of modal inclusion logic. We distinguish two variants of the problem: one for strict and another one for lax semantics. The complexity of the lax version turns out to be complete for EXPTIME, whereas with strict semantics, the problem becomes NEXPTIME-complete. read more »## On The Minimum Distance Of Array-based Spatially-coupled Low-density Parity-check Codes. Arxiv:1504.06416v1 Cs.it

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06416**Description:**An array low-density parity-check LDPC code is a quasi-cyclic LDPC code specified by two integers q and m , where q is an odd prime and m leq q . The exact minimum distance, for small q and m , has been calculated, and tight upper bounds on it for m leq 7 have been derived. In this work, we study the minimum distance of the spatially-coupled version of these codes. In particular, several tight upper bounds on the optimal minimum distance for coupling length at least two and m=3,4,5 , that are in... read more »## Information Gathering In Networks Via Active Exploration. Arxiv:1504.06423v1 Cs.ai

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06423**Description:**How should we gather information in a network, where each node's visibility is limited to its local neighborhood This problem rises in numerous real-world applications, such as surveying and task routing in social networks, team formation in collaborative networks and experimental design with dependency constraints. Often the informativeness of a set of nodes can be quantified via a submodular utility function. Existing approaches for submodular optimization, however, require that the set of all... read more »## Generic Multiuser Coordinated Beamforming For Underlay Spectrum Sharing. Arxiv:1504.06431v1 Cs.it

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06431**Description:**The beamforming techniques have been recently studied as possible enablers for underlay spectrum sharing. The existing beamforming techniques have several common limitations: they are usually system model specific, cannot operate with arbitrary number of transmit/receive antennas, and cannot serve arbitrary number of users. Moreover, the beamforming techniques for underlay spectrum sharing do not consider the interference originating from the incumbent primary system. This work extends the commo... read more »## Situational Object Boundary Detection. Arxiv:1504.06434v1 Cs.cv

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06434**Description:**Intuitively, the appearance of true object boundaries varies from image to image. Hence the usual monolithic approach of training a single boundary predictor and applying it to all images regardless of their content is bound to be suboptimal. In this paper we therefore propose situational object boundary detection: We first define a variety of situations and train a specialized object boundary detector for each of them using Dollar and Zitnick 2013 . Then given a test image, we classify it into ... read more »## Hybrid Numerical Solvers For Massively Parallel Eigenvalue Computation And Their Benchmark With Electronic Structure Calculations. Arxiv:1504.06443v1 Physics.comp-ph

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06443**Description:**Optimally hybrid numerical solvers were constructed for massively parallel generalized eigenvalue problem GEP .The strong scaling benchmark was carried out on the K computer and other supercomputers for electronic structure calculation problems in the matrix sizes of M = 10^4-10^6 with upto 105 cores. The procedure of GEP is decomposed into the two subprocedures of the reducer to the standard eigenvalue problem SEP and the solver of SEP. A hybrid solver is constructed, when a routine is chosen f... read more »## A Framework For Managing Evolving Information Resources On The Data Web. Arxiv:1504.06451v1 Cs.db

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06451**Description:**The web of data has brought forth the need to preserve and sustain evolving information within linked datasets; however, a basic requirement of data preservation is the maintenance of the datasets' structural characteristics as well. As open data are often found using different and/or heterogeneous data models and schemata from one source to another, there is a need to reconcile these mismatches and provide common denominations of interpretation on a multitude of levels, in order to be able to p... read more »## On Pairwise Compatibility Of Some Graph Super Classes. Arxiv:1504.06454v1 Cs.dm

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06454**Description:**A graph G= V,E is a pairwise compatibility graph PCG if there exists an edge-weighted tree T and two non-negative real numbers d' and D' such that each leaf u' of T is a node of V and the edge u,v belongs to E' iff d <= d_T u, v <= D' where d_T u, v is the sum of weights of the edges on the unique path from u' to v' in T. The main issue on these graphs consists in characterizing them. In this note we prove the inclusion in the PCG class of threshold tolerance graphs and the non-inclusion o... read more »## Realization Independent Single Time-delay Dynamical Model Interpolation And Mathcal H _2 -optimal Approximation. Arxiv:1504.06457v1 Cs.sy

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06457**Description:**In this paper, the realization-free model approximation problem, as stated in cite mayo2007framework,beattie2012realization , is revisited in the case where the interpolating model might be time-delay dependent. To this aim, the Loewner framework, initially settled for delay-free realization, is firstly generalized to the single delay case. Secondly, the infinite model approximation mathcal H _2 optimality conditions are established through the use of the Lambert functions. Finally, a numericall... read more »## 3-d Velocity Regulation For Nonholonomic Source Seeking Without Position Measurement. Arxiv:1504.06461v1 Cs.ro

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06461**Description:**We consider a three-dimensional problem of steering a nonholonomic vehicle to seek an unknown source of a spatially distributed signal field without any position measurement. In the literature, there exists an extremum seeking-based strategy under a constant forward velocity and tunable pitch and yaw velocities. Obviously, the vehicle with a constant forward velocity may exhibit certain overshoots in the seeking process and can not slow down even it approaches the source. To resolve this undesir... read more »## Speculative Segmented Sum For Sparse Matrix-vector Multiplication On Heterogeneous Processors. Arxiv:1504.06474v1 Cs.ms

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06474**Description:**Sparse matrix-vector multiplication SpMV is a central building block for scientific software and graph applications. Recently, heterogeneous processors composed of different types of cores attracted much attention because of their flexible core configuration and high energy efficiency. In this paper, we propose a compressed sparse row CSR format based SpMV algorithm utilizing both types of cores in a CPU-GPU heterogeneous processor. We first speculatively execute segmented sum operations on the ... read more »## A Simple And Fast Linear-time Algorithm For Proportional Apportionment. Arxiv:1504.06475v1 Cs.ds

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06475**Description:**Cheng and Eppstein ISAAC, 2014 describe a linear-time algorithm for computing highest-average allocations in proportional apportionment scenarios, for instance assigning seats to parties in parliament so that the distribution of seats resembles the vote tally as well as possible. We propose another linear-time algorithm that consists of only one call to a rank selection algorithm after elementary preprocessing. Our algorithm is conceptually simpler and faster in practice than the one by Cheng an... read more »## Recent Advances In Real Geometric Reasoning. Arxiv:1504.06484v1 Cs.sc

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06484**Description:**In the 1930s Tarski showed that real quantifier elimination was possible, and in 1975 Collins gave a remotely practicable method, albeit with doubly-exponential complexity, which was later shown to be inherent. We discuss some of the recent major advances in Collins method: such as an alternative approach based on passing via the complexes, and advances which come closer to "solving the question asked" rather than "solving all problems to do with these polynomials". read more »## A One-step Approach To Computing A Polytopic Robust Positively Invariant Set. Arxiv:1504.06488v1 Cs.sy

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06488**Description:**A procedure and theoretical results are presented for the problem of determining a minimal robust positively invariant RPI set for a linear discrete-time system subject to unknown, bounded disturbances. The procedure computes, via the solving of a single LP, a polytopic RPI set that is minimal with respect to the family of RPI sets generated from a finite number of inequalities with pre-defined normal vectors. read more »## Discriminative Switching Linear Dynamical Systems Applied To Physiological Condition Monitoring. Arxiv:1504.06494v1 Cs.lg

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06494**Description:**We present a Discriminative Switching Linear Dynamical System DSLDS applied to patient monitoring in Intensive Care Units ICUs . Our approach is based on identifying the state-of-health of a patient given their observed vital signs using a discriminative classifier, and then inferring their underlying physiological values conditioned on this status. The work builds on the Factorial Switching Linear Dynamical System FSLDS Quinn et al., 2009 which has been previously used in a similar setting. The... read more »## Run Generation Revisited: What Goes Up May Or May Not Come Down. Arxiv:1504.06501v1 Cs.ds

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06501**Description:**In this paper, we revisit the classic problem of run generation. Run generation is the first phase of external-memory sorting, where the objective is to scan through the data, reorder elements using a small buffer of size M , and output runs contiguously sorted chunks of elements that are as long as possible. We develop algorithms for minimizing the total number of runs or equivalently, maximizing the average run length when the runs are allowed to be sorted or reverse sorted. We study the probl... read more »## Local Variation As A Statistical Hypothesis Test. Arxiv:1504.06507v1 Cs.cv

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06507**Description:**The goal of image oversegmentation is to divide an image into several pieces, each of which should ideally be part of an object. One of the simplest and yet most effective oversegmentation algorithms is known as local variation LV Felzenszwalb and Huttenlocher 2004 . In this work, we study this algorithm and show that algorithms similar to LV can be devised by applying different statistical models and decisions, thus providing further theoretical justification and a well-founded explanation for ... read more »## Towards Massive, Ultra-reliable, And Low-latency Wireless: The Art Of Sending Short Packets. Arxiv:1504.06526v1 Cs.it

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06526**Description:**Most of the recent advances in the design of high-speed wireless systems are based on information-theoretic principles that demonstrate how to efficiently transmit long data packets. However, the upcoming 5G wireless systems will need to support novel traffic types that use short packets. For example, short packets represent the most common form of traffic generated by sensors and other devices involved in machine-to-machine communications. Furthermore, there are emerging applications in which s... read more »## Controlled Query Evaluation For Datalog And Owl 2 Profile Ontologies. Arxiv:1504.06529v1 Cs.ai

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06529**Description:**We study confidentiality enforcement in ontologies under the Controlled Query Evaluation framework, where a policy specifies the sensitive information and a censor ensures that query answers that may compromise the policy are not returned. We focus on censors that ensure confidentiality while maximising information access, and consider both Datalog and the OWL 2 profiles as ontology languages. read more »## An Automata-theoretic Approach To The Verification Of Distributed Algorithms. Arxiv:1504.06534v1 Cs.lo

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06534**Description:**We introduce an automata-theoretic method for the verification of distributed algorithms running on ring networks. In a distributed algorithm, an arbitrary number of processes cooperate to achieve a common goal e.g., elect a leader . Processes have unique identifiers pids from an infinite, totally ordered domain. An algorithm proceeds in synchronous rounds, each round allowing a process to perform a bounded sequence of actions such as send or receive a pid, store it in some register, and compare... read more »## Experimental Evidence Of Chaos From Memristors. Arxiv:1504.06537v1 Nlin.cd

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06537**Description:**Until now, most memristor-based chaotic circuits proposed in the literature are based on mathematical models which assume ideal characteristics such as piece-wise linear or cubic non-linearities. The idea, illustrated here and originating from the experimental approach for device characterization, is to realize a chaotic system exploiting the non-linearity of only one memristor with a very simple experimental set-up using feedback. In this way a simple circuit is obtained and chaos is experiment... read more »## Straight-line Drawability Of A Planar Graph Plus An Edge. Arxiv:1504.06540v1 Cs.cg

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06540**Description:**We investigate straight-line drawings of topological graphs that consist of a planar graph plus one edge, also called almost-planar graphs. We present a characterization of such graphs that admit a straight-line drawing. The characterization enables a linear-time testing algorithm to determine whether an almost-planar graph admits a straight-line drawing, and a linear-time drawing algorithm that constructs such a drawing, if it exists. We also show that some almost-planar graphs require exponent... read more »## Resource Requirements And Speed Versus Geometry Of Unconditionally Secure Physical Key Exchanges. Arxiv:1504.06541v1 Cs.cr

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06541**Description:**The imperative need for unconditional secure key exchange is expounded by the increasing connectivity of networks and by the increasing number and level of sophistication of cyberattacks. Two concepts that are information theoretically secure are quantum key distribution QKD and Kirchoff-law-Johnson-noise KLJN . However, these concepts require a dedicated connection between hosts in peer-to-peer P2P networks which can be impractical and or cost prohibitive. A practical and cost effective method ... read more »## Power Law And Entropy. Arxiv:1504.06543v1 Cs.it

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06543**Description:**Shannon 1951 and Yavuz 1974 estimated the entropy of real documents. This note drives an upper bound of entropy from the parameter of the power law. read more »## Sampling Correctors. Arxiv:1504.06544v1 Cs.ds

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06544**Description:**In many situations, sample data is obtained from a noisy or imperfect source. In order to address such corruptions, this paper introduces the concept of a sampling corrector. Such algorithms use structure that the distribution is purported to have, in order to allow one to make "on-the-fly" corrections to samples drawn from probability distributions. These algorithms then act as filters between the noisy data and the end user. We show connections between sampling correctors, distributi... read more »## Approximation Algorithms For Inventory Problems With Submodular Or Routing Costs. Arxiv:1504.06560v1 Cs.ds

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06560**Description:**We consider the following two deterministic inventory optimization problems over a finite planning horizon T with non-stationary demands. a Submodular Joint Replenishment Problem: This involves multiple item types and a single retailer who faces demands. In each time step, any subset of item-types can be ordered incurring a joint ordering cost which is submodular. Moreover, items can be held in inventory while incurring a holding cost. The objective is find a sequence of orders that satisfies al... read more »## Cultural Event Recognition With Visual Convnets And Temporal Models. Arxiv:1504.06567v1 Cs.cv

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06567**Description:**This paper presents our contribution to the ChaLearn Challenge 2015 on Cultural Event Classification. The challenge in this task is to automatically classify images from 50 different cultural events. Our solution is based on the combination of visual features extracted from convolutional neural networks with temporal information using a hierarchical classifier scheme. We extract visual features from the last three fully connected layers of both CaffeNet pretrained with ImageNet and our fine tune... read more »## Classifying Relations By Ranking With Convolutional Neural Networks. Arxiv:1504.06580v1 Cs.cl

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06580**Description:**Relation classification is an important semantic processing task whose state-of-the-art systems still rely on the use of costly handcrafted features. In this work we tackle the relation classification task using a convolutional neural network that performs classification by ranking CR-CNN . We propose a new pairwise ranking loss function that makes it easy to reduce the impact of artificial classes. We perform experiments using the the SemEval-2010 Task 8 dataset, which encodes the task of class... read more »## Approximate Fitting Of Circular Arcs When Two Points Are Known. Arxiv:1504.06582v1 Cs.cg

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06582**Description:**The task of approximation of points with circular arcs is performed in many applications, such as polyline compression, noise filtering, and feature recognition. However, development of algorithms that perform a significant amount of circular arcs fitting require an efficient way of fitting circular arcs with complexity O 1 . The elegant solution to this task based on an eigenvector problem for a square nonsymmetrical matrix is described in 1 . For the compression algorithm described in 2 , it i... read more »## Searching For A Compressed Polyline With A Minimum Number Of Vertices. Arxiv:1504.06584v1 Cs.cg

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06584**Description:**There are many practical applications that require simplification of polylines. Some of the goals are to reduce the amount of information necessary to store, improve processing time, or simplify editing. The simplification is usually done by removing some of the vertices, making the resultant polyline go through a subset of the source polyline vertices. However, such approaches do not necessarily produce a new polyline with the minimum number of vertices. The approximate solution to find a polyl... read more »## A Lex-bfs-based Recognition Algorithm For Robinsonian Matrices. Arxiv:1504.06586v1 Cs.dm

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06586**Description:**Robinsonian matrices arise in the classical seriation problem and play an important role in many applications where unsorted similarity or dissimilarity information must be reordered. We present a new polynomial time algorithm to recognize Robinsonian matrices based on a new characterization of Robinsonian matrices in terms of straight enumerations of unit interval graphs. The algorithm is simple and is based essentially on lexicographic breadth-first search Lex-BFS , using a divide-and-conquer ... read more »## Semantic Motion Segmentation Using Dense Crf Formulation. Arxiv:1504.06587v1 Cs.cv

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06587**Description:**While the literature has been fairly dense in the areas of scene understanding and semantic labeling there have been few works that make use of motion cues to embellish semantic performance and vice versa. In this paper, we address the problem of semantic motion segmentation, and show how semantic and motion priors augments performance. We pro- pose an algorithm that jointly infers the semantic class and motion labels of an object. Integrating semantic, geometric and optical ow based constraints... read more »## Object Level Deep Feature Pooling For Compact Image Representation. Arxiv:1504.06591v1 Cs.cv

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06591**Description:**Convolutional Neural Network CNN features have been successfully employed in recent works as an image descriptor for various vision tasks. But the inability of the deep CNN features to exhibit invariance to geometric transformations and object compositions poses a great challenge for image search. In this work, we demonstrate the effectiveness of the objectness prior over the deep CNN features of image regions for obtaining an invariant image representation. The proposed approach represents the ... read more »## Lp Formulations For Secrecy Over Erasure Networks With Feedback. Arxiv:1504.06593v1 Cs.it

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06593**Description:**We design polynomial time schemes for secure message transmission over arbitrary networks, in the presence of an eavesdropper, and where each edge corresponds to an erasure channel with public feedback. Our schemes are described through linear programming LP formulations, that explicitly select possibly different sets of paths for key-generation and message sending. Although our LPs are not always capacity-achieving, they outperform the best known alternatives in the literature, and extend to in... read more »## Digital Backpropagation In The Nonlinear Fourier Domain. Arxiv:1504.06598v1 Cs.it

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06598**Description:**Nonlinear and dispersive transmission impairments in coherent fiber-optic communication systems are often compensated by reverting the nonlinear Schr "odinger equation, which describes the evolution of the signal in the link, numerically. This technique is known as digital backpropagation. Typical digital backpropagation algorithms are based on split-step Fourier methods in which the signal has to be discretized in time and space. The need to discretize in both time and space however makes ... read more »## The Range Of Topological Effects On Communication. Arxiv:1504.06602v1 Cs.cc

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06602**Description:**We continue the study of communication cost of computing functions when inputs are distributed among k processors, each of which is located at one vertex of a network/graph called a terminal. Every other node of the network also has a processor, with no input. The communication is point-to-point and the cost is the total number of bits exchanged by the protocol, in the worst case, on all edges. Chattopadhyay, Radhakrishnan and Rudra FOCS'14 recently initiated a study of the effect of topology of... read more »## Wxbs: Wide Baseline Stereo Generalizations. Arxiv:1504.06603v1 Cs.cv

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06603**Description:**We propose a generalization of the wide baseline two view matching problem - WxBS, where x stands for a different subset of multiple "wide baselines" such as geometric, illumination, sensor and appearance. We introduce a public dataset with a ground truth which combines different types of nuisance factors that influence image matching and show that state-of-the-art matchers fail on almost all image pairs from the set. A novel matching algorithm for addressing the WxBS problem is introd... read more »## Understanding Game Theory Via Wireless Power Control. Arxiv:1504.06607v1 Cs.gt

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06607**Description:**In this lecture note, we introduce the basic concepts of game theory GT , a branch of mathematics traditionally studied and applied in the areas of economics, political science, and biology, which has emerged in the last fifteen years as an effective framework for communications, networking, and signal processing SP . The real catalyzer has been the blooming of all issues related to distributed networks, in which the nodes can be modeled as players in a game competing for system resources. Some ... read more »## Leveraging Disjoint Communities For Detecting Overlapping Community Structure. Arxiv:1504.06608v1 Cs.si

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06608**Description:**Network communities represent mesoscopic structure for understanding the organization of real-world networks, where nodes often belong to multiple communities and form overlapping community structure in the network. Due to non-triviality in finding the exact boundary of such overlapping communities, this problem has become challenging, and therefore huge effort has been devoted to detect overlapping communities from the network. In this paper, we present PVOC Permanence based Vertex-replication ... read more »## Identifying Long Cycles In Finite Alternating And Symmetric Groups Acting On Subsets. Arxiv:1205.6586v3 Math.gr Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1205.6586**Description:**Let H be a permutation group on a set Lambda , which is permutationally isomorphic to a finite alternating or symmetric group A_n or S_n acting on the k -element subsets of points from 1, ldots,n , for some arbitrary but fixed k . Suppose moreover that no isomorphism with this action is known. We show that key elements of H needed to construct such an isomorphism varphi , such as those whose image under varphi is an n -cycle or n-1 -cycle, can be recognised with high probability by the lengths o... read more »## Lazy Probabilistic Model Checking Without Determinisation. Arxiv:1311.2928v2 Cs.lo Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1311.2928**Description:**The bottleneck in the quantitative analysis of Markov chains and Markov decision processes against specifications given in LTL or as some form of nondeterministic B "uchi automata is the inclusion of a determinisation step of the automaton under consideration. In this paper, we show that full determinisation can be avoided: subset and breakpoint constructions suffice. We have implemented our approach---both explicit and symbolic versions---in a prototype tool. Our experiments show that our ... read more »## Element-wise Uniqueness, Prior Knowledge, And Data-dependent Resolution. Arxiv:1312.7482v2 Math.oc Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1312.7482**Description:**Techniques for finding regularized solutions to underdetermined linear systems can be viewed as imposing prior knowledge on the unknown vector. The success of modern techniques, which can impose priors such as sparsity and non-negativity, is the result of advances in optimization algorithms to solve problems which lack closed-form solutions. Techniques for characterization and analysis of the system to determined when information is recoverable, however, still typically rely on closed-form solut... read more »## Knightian Analysis Of The Vickrey Mechanism. Arxiv:1403.6413v3 Cs.gt Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1403.6413**Description:**We analyze the Vickrey mechanism for auctions of multiple identical goods when the players have both Knightian uncertainty over their own valuations and incomplete preferences. In this model, the Vickrey mechanism is no longer dominant-strategy, and we prove that all dominant-strategy mechanisms are inadequate. However, we also prove that, in undominated strategies, the social welfare produced by the Vickrey mechanism in the worst case is not only very good, but also essentially optimal. read more »## Improving Low Bit-rate Video Coding Using Spatio-temporal Down-scaling. Arxiv:1404.4026v2 Cs.mm Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1404.4026**Description:**Good quality video coding for low bit-rate applications is important for transmission over narrow-bandwidth channels and for storage with limited memory capacity. In this work, we develop a previous analysis for image compression at low bit-rates to adapt it to video signals. Improving compression using down-scaling in the spatial and temporal dimensions is examined. We show, both theoretically and experimentally, that at low bit-rates, we benefit from applying spatio-temporal scaling. The propo... read more »## Subjectivity, Bayesianism, And Causality. Arxiv:1407.4139v4 Cs.ai Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1407.4139**Description:**Bayesian probability theory is one of the most successful frameworks to model reasoning under uncertainty. Its defining property is the interpretation of probabilities as degrees of belief in propositions about the state of the world relative to an inquiring subject. This essay examines the notion of subjectivity by drawing parallels between Lacanian theory and Bayesian probability theory, and concludes that the latter must be enriched with causal interventions to model agency. The central contr... read more »## Optimum Statistical Estimation With Strategic Data Sources. Arxiv:1408.2539v2 Stat.ml Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1408.2539**Description:**We propose an optimum mechanism for providing monetary incentives to the data sources of a statistical estimator such as linear regression, so that high quality data is provided at low cost, in the sense that the sum of payments and estimation error is minimized. The mechanism applies to a broad range of estimators, including linear and polynomial regression, kernel regression, and, under some additional assumptions, ridge regression. It also generalizes to several objectives, including minimizi... read more »## Algorithm Xxx: Ridc Methods -- A Family Of Parallel Time-integrators. Arxiv:1408.3082v2 Cs.ms Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1408.3082**Description:**Revisionist integral deferred correction RIDC methods are a family of parallel--in--time methods to solve systems of initial values problems. The approach is able to bootstrap lower order time integrators to provide high order approximations in approximately the same wall clock time, hence providing a multiplicative increase in the number of compute cores utilized. Here we provide a C++ framework which automatically produces a parallel--in--time solution of a system of initial value problems giv... read more »## Neural Machine Translation By Jointly Learning To Align And Translate. Arxiv:1409.0473v6 Cs.cl Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1409.0473**Description:**Neural machine translation is a recently proposed approach to machine translation. Unlike the traditional statistical machine translation, the neural machine translation aims at building a single neural network that can be jointly tuned to maximize the translation performance. The models proposed recently for neural machine translation often belong to a family of encoder-decoders and consists of an encoder that encodes a source sentence into a fixed-length vector from which a decoder generates a... read more »## Unsupervised Learning Of Clutter-resistant Visual Representations From Natural Videos. Arxiv:1409.3879v2 Cs.cv Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1409.3879**Description:**Populations of neurons in inferotemporal cortex IT maintain an explicit code for object identity that also tolerates transformations of object appearance e.g., position, scale, viewing angle 1, 2, 3 . Though the learning rules are not known, recent results 4, 5, 6 suggest the operation of an unsupervised temporal-association-based method e.g., Foldiak's trace rule 7 . Such methods exploit the temporal continuity of the visual world by assuming that visual experience over short timescales will te... read more »## Pull-based Distributed Event-triggered Consensus For Multi-agent Systems With Directed Topologies. Arxiv:1410.4246v2 Math.oc Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1410.4246**Description:**This paper mainly investigates consensus problem with pull-based event-triggered feedback control. For each agent, the diffusion coupling feedbacks are based on the states of its in-neighbors at its latest triggering time and the next triggering time of this agent is determined by its in-neighbors' information as well. The general directed topologies, including irreducible and reducible cases, are investigated. The scenario of distributed continuous monitoring is considered firstly, namely each ... read more »## Trend Filtering On Graphs. Arxiv:1410.7690v3 Stat.ml Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1410.7690**Description:**We introduce a family of adaptive estimators on graphs, based on penalizing the ell_1 norm of discrete graph differences. This generalizes the idea of trend filtering Kim et al. 2009 , Tibshirani 2014 , used for univariate nonparametric regression, to graphs. Analogous to the univariate case, graph trend filtering exhibits a level of local adaptivity unmatched by the usual ell_2 -based graph smoothers. It is also defined by a convex minimization problem that is readily solved e.g., by fast ADMM ... read more »## Betweenness Centrality In Dense Random Geometric Networks. Arxiv:1410.8521v3 Cs.si Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1410.8521**Description:**Random geometric networks are mathematical structures consisting of a set of nodes placed randomly within a bounded set mathcal V subseteq mathbb R ^ d mutually coupled with a probability dependent on their Euclidean separation, and are the classic model used within the expanding field of ad hoc wireless networks. In order to rank the importance of network nodes, we consider the well established betweenness' centrality measure quantifying how often a node is on a shortest path of links between a... read more »## Preserving Statistical Validity In Adaptive Data Analysis. Arxiv:1411.2664v2 Cs.lg Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1411.2664**Description:**A great deal of effort has been devoted to reducing the risk of spurious scientific discoveries, from the use of sophisticated validation techniques, to deep statistical methods for controlling the false discovery rate in multiple hypothesis testing. However, there is a fundamental disconnect between the theoretical results and the practice of data analysis: the theory of statistical inference assumes a fixed collection of hypotheses to be tested, or learning algorithms to be applied, selected n... read more »## Linear-time Algorithms For The Farthest-segment Voronoi Diagram And Related Tree Structures. Arxiv:1411.2816v2 Cs.cg Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1411.2816**Description:**We present linear-time algorithms to construct tree-like Voronoi diagrams with disconnected regions, after the sequence of their faces along an enclosing boundary or at infinity is known. We focus on Voronoi diagrams of line segments including the farthest-segment Voronoi diagram, the order- k+1 subdivision within an order-k Voronoi region, and deleting a site from a nearest-neighbor segment Voronoi diagram. Although tree-structured, these diagrams illustrate properties surprisingly different fr... read more »## From Image-level To Pixel-level Labeling With Convolutional Networks. Arxiv:1411.6228v3 Cs.cv Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1411.6228**Description:**We are interested in inferring object segmentation by leveraging only object class information, and by considering only minimal priors on the object segmentation task. This problem could be viewed as a kind of weakly supervised segmentation task, and naturally fits the Multiple Instance Learning MIL framework: every training image is known to have or not at least one pixel corresponding to the image class label, and the segmentation task can be rewritten as inferring the pixels belonging to the ... read more »## Fast Algorithms For Parameterized Problems With Relaxed Disjointness Constraints. Arxiv:1411.6756v5 Cs.ds Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1411.6756**Description:**In parameterized complexity, it is a natural idea to consider different generalizations of classic problems. Usually, such generalization are obtained by introducing a "relaxation" variable, where the original problem corresponds to setting this variable to a constant value. For instance, the problem of packing sets of size at most p into a given universe generalizes the Maximum Matching problem, which is recovered by taking p=2 . Most often, the complexity of the problem increases wit... read more »## Articulated Motion Discovery Using Pairs Of Trajectories. Arxiv:1411.7883v3 Cs.cv Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1411.7883**Description:**We propose an unsupervised approach for discovering characteristic motion patterns in videos of highly articulated objects performing natural, unscripted behaviors, such as tigers in the wild. We discover consistent patterns in a bottom-up manner by analyzing the relative displacements of large numbers of ordered trajectory pairs through time, such that each trajectory is attached to a different moving part on the object. The pairs of trajectories descriptor relies entirely on motion and is more... read more »## Mining Rooted Ordered Trees Under Subtree Homeomorphism. Arxiv:1412.1470v2 Cs.db Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1412.1470**Description:**Mining frequent tree patterns has many applications in different areas such as XML data, bioinformatics and World Wide Web. The crucial step in frequent pattern mining is frequency counting, which involves a matching operator to find occurrences instances of a tree pattern in a given collection of trees. A widely used matching operator for tree-structured data is subtree homeomorphism, where an edge in the tree pattern is mapped onto an ancestor-descendant relationship in the given tree. Tree pa... read more »## Speeding-up Convolutional Neural Networks Using Fine-tuned Cp-decomposition. Arxiv:1412.6553v3 Cs.cv Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1412.6553**Description:**We propose a simple two-step approach for speeding up convolution layers within large convolutional neural networks based on tensor decomposition and discriminative fine-tuning. Given a layer, we use non-linear least squares to compute a low-rank CP-decomposition of the 4D convolution kernel tensor into a sum of a small number of rank-one tensors. At the second step, this decomposition is used to replace the original convolutional layer with a sequence of four convolutional layers with small ker... read more »## The Economics Of Quality Sponsored Data In Wireless Networks. Arxiv:1501.02785v2 Cs.ni Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1501.02785**Description:**The growing demand for data has driven the Service Providers SPs to provide differential treatment of traffic to generate additional revenue streams from Content Providers CPs . While SPs currently only provide best-effort services to their CPs, it is plausible to envision a model in near future, where CPs are willing to sponsor quality of service for their content in exchange of sharing a portion of their profit with SPs. In this paper, we introduce the problem of em Quality-Sponsored Data QSD ... read more »## Holographic Transformation, Belief Propagation And Loop Calculus For Generalized Probabilistic Theories. Arxiv:1501.04183v2 Cs.it Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1501.04183**Description:**The holographic transformation, belief propagation and loop calculus are generalized to problems in generalized probabilistic theories including quantum mechanics. In this work, the partition function of classical factor graph is represented by an inner product of two high-dimensional vectors both of which can be decomposed to tensor products of low-dimensional vectors. On the representation, the holographic transformation is clearly understood by using adjoint linear maps. Furthermore, on the f... read more »## Output-sensitive Algorithms For Sumset And Sparse Polynomial Multiplication. Arxiv:1501.05296v3 Cs.sc Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1501.05296**Description:**We present randomized algorithms to compute the sumset Minkowski sum of two integer sets, and to multiply two univariate integer polynomials given by sparse representations. Our algorithm for sumset has cost softly linear in the combined size of the inputs and output. This is used as part of our sparse multiplication algorithm, whose cost is softly linear in the combined size of the inputs, output, and the sumset of the supports of the inputs. As a subroutine, we present a new method for computi... read more »## First- And Second-order Coding Theorems For Mixed Memoryless Channels With General Mixture. Arxiv:1501.05887v2 Cs.it Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1501.05887**Description:**This paper investigates the first- and second-order maximum achievable rates of codes with/without cost constraints for mixed channels whose channel law is characterized by a general mixture of at most uncountably many stationary and memoryless discrete channels. These channels are referred to as general mixed memoryless channels and include the class of mixed memoryless channels of finitely or countably memoryless channels as a special case. For general mixed memoryless channels, the first-orde... read more »## Big Data On The Rise: Testing Monotonicity Of Distributions. Arxiv:1501.06783v2 Cs.ds Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1501.06783**Description:**The field of property testing of probability distributions, or distribution testing, aims to provide fast and most likely correct answers to questions pertaining to specific aspects of very large datasets. In this work, we consider a property of particular interest, monotonicity of distributions. We focus on the complexity of monotonicity testing across different models of access to the distributions; and obtain results in these new settings that differ significantly from the known bounds in the... read more »## A Canonical Form For Weighted Automata And Applications To Approximate Minimization. Arxiv:1501.06841v3 Cs.fl Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1501.06841**Description:**We study the problem of constructing approximations to a weighted automaton. Weighted finite automata WFA are closely related to the theory of rational series. A rational series is a function from strings to real numbers that can be computed by a finite WFA. Among others, this includes probability distributions generated by hidden Markov models and probabilistic automata. The relationship between rational series and WFA is analogous to the relationship between regular languages and ordinary auto... read more »## Classificatory Sorites, Probabilistic Supervenience, And Rule-making. Arxiv:1502.01075v2 Cs.ai Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1502.01075**Description:**We view sorites in terms of stimuli acting upon a system and evoking this system's responses. Supervenience of responses on stimuli implies that they either lack tolerance i.e., they change in every vicinity of some of the stimuli , or stimuli are not always connectable by finite chains of stimuli in which successive members are very similar'. If supervenience does not hold, the properties of tolerance and connectedness cannot be formulated and therefore soritical sequences cannot be constructed... read more »## Journal Portfolio Analysis For Countries, Cities, And Organizations: Maps And Comparisons. Arxiv:1502.05676v3 Cs.dl Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1502.05676**Description:**Using Web-of-Science data, portfolio analysis in terms of journal coverage can be projected on a base map for units of analysis such as countries, cities, universities, and firms. The units of analysis under study can be compared statistically across the 10,000+ journals. The interdisciplinarity of the portfolios is measured using Rao-Stirling diversity or Zhang et al.'s in press improved measure 2D3. At the country level we find regional differentiation e.g., Latin-American or Asian countries ,... read more »## When Are Tree Structures Necessary For Deep Learning Of Representations . Arxiv:1503.00185v3 Cs.ai Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1503.00185**Description:**Recursive neural models, which use syntactic parse trees to recursively generate representations bottom-up from parse children, are a popular new architecture, promising to capture structural properties like long-distance semantic dependencies. But understanding exactly which tasks this parse-based method is appropriate for remains an open question. In this paper we benchmark bf recursive neural models against sequential bf recurrent neural models, which are structured solely on word sequences. ... read more »## Joint Calibration Of Ensemble Of Exemplar Svms. Arxiv:1503.00783v2 Cs.cv Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1503.00783**Description:**We present a method for calibrating the Ensemble of Exemplar SVMs model. Unlike the standard approach, which calibrates each SVM independently, our method optimizes their joint performance as an ensemble. We formulate joint calibration as a constrained optimization problem and devise an efficient optimization algorithm to find its global optimum. The algorithm dynamically discards parts of the solution space that cannot contain the optimum early on, making the optimization computationally feasib... read more »## Connectionist-symbolic Machine Intelligence Using Cellular Automata Based Reservoir-hyperdimensional Computing. Arxiv:1503.00851v3 Cs.et Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1503.00851**Description:**We introduce a novel framework of reservoir computing, that is capable of both connectionist machine intelligence and symbolic computation. Cellular automaton is used as the reservoir of dynamical systems. Input is randomly projected onto the initial conditions of automaton cells and nonlinear computation is performed on the input via application of a rule in the automaton for a period of time. The evolution of the automaton creates a space-time volume of the automaton state space, and it is use... read more »## Encoding Source Language With Convolutional Neural Network For Machine Translation. Arxiv:1503.01838v4 Cs.cl Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1503.01838**Description:**The recently proposed neural network joint model NNJM Devlin et al., 2014 augments the n-gram target language model with a heuristically chosen source context window, achieving state-of-the-art performance in SMT. In this paper, we give a more systematic treatment by summarizing the relevant source information through a convolutional architecture guided by the target information. With different guiding signals during decoding, our specifically designed convolution+gating architectures can pinpoi... read more »## Syntax-based Deep Matching Of Short Texts. Arxiv:1503.02427v4 Cs.cl Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1503.02427**Description:**Many tasks in natural language processing, ranging from machine translation to question answering, can be reduced to the problem of matching two sentences or more generally two short texts. We propose a new approach to the problem, called Deep Match Tree DeepMatch _ tree , under a general setting. The approach consists of two components, 1 a mining algorithm to discover patterns for matching two short-texts, defined in the product space of dependency trees, and 2 a deep neural network for matchi... read more »## Gen Cnn: A Convolutional Architecture For Word Sequence Prediction. Arxiv:1503.05034v2 Cs.cl Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1503.05034**Description:**We propose a novel convolutional architecture, named gen CNN, for word sequence prediction. Different from previous work on neural network-based language modeling and generation e.g., RNN or LSTM , we choose not to greedily summarize the history of words as a fixed length vector. Instead, we use a convolutional neural network to predict the next word with the history of words of variable length. Also different from the existing feedforward networks for language modeling, our model can effectivel... read more »## Well Extend Partial Well Orderings. Arxiv:1503.06514v4 Cs.lo Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1503.06514**Description:**In this paper, we prove that any partially well-ordered structure <A, R> can be extended to a well ordered one. This result also applies to a well-founded structure because the well-founded relation can be extended to a partial well ordering. The idea is to first decompose elements of A by their relative ranks under R, afterwards linearly extend them with different R-ranks in ascending order, and finally well extend those with the same R-rank. Then, we discuss the problem that whether ever... read more »## Random Projections For K-means: Maintaining Coresets Beyond Merge & Reduce. Arxiv:1504.01584v3 Cs.ds Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.01584**Description:**We give a new construction for a small space summary satisfying the coreset guarantee of a data set with respect to the k -means objective function. The number of points required in an offline construction is in tilde O k epsilon^ -2 min d,k epsilon^ -2 which is minimal among all available constructions. Aside from two constructions with exponential dependence on the dimension, all known coresets are maintained in data streams via the merge and reduce framework, which incurs are large space depe... read more »## Big Data Analytics For Dynamic Energy Management In Smart Grids. Arxiv:1504.02424v2 Cs.db Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.02424**Description:**The smart electricity grid enables a two-way flow of power and data between suppliers and consumers in order to facilitate the power flow optimization in terms of economic efficiency, reliability and sustainability. This infrastructure permits the consumers and the micro-energy producers to take a more active role in the electricity market and the dynamic energy management DEM . The most important challenge in a smart grid SG is how to take advantage of the users' participation in order to reduc... read more »## Domains Of Commutative C -subalgebras. Arxiv:1504.02730v2 Math.oa Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.02730**Description:**Operator algebras provide uniform semantics for deterministic, reversible, probabilistic, and quantum computing, where intermediate results of partial computations are given by commutative subalgebras. We study this setting using domain theory, and show that a given operator algebra is scattered if and only if its associated partial order is, equivalently: continuous a domain , algebraic, atomistic, quasi-continuous, or quasi-algebraic. In that case, conversely, we prove that the Lawson topology... read more »## Image Denoising Using Low Rank Minimization With Modified Noise Estimation. Arxiv:1504.03439v2 Cs.cv Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.03439**Description:**Recently, the application of low rank minimization to image denoising has shown remarkable denoising results which are equivalent or better than those of the existing state-of-the-art algorithms. However, due to iterative nature of low rank optimization, estimation of residual noise is an essential requirement after each iteration. Currently, this noise is estimated by using the filtered noise in the previous iteration without considering the geometric structure of the given image. This estimate... read more »## Stc: Coarse-grained Vehicular Data Based Travel Speed Sensing By Leveraging Spatial-temporal Correlation. Arxiv:1504.04433v3 Cs.oh Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.04433**Description:**As an important information for traffic condition evaluation, trip planning, transportation management, etc., average travel speed for a road means the average speed of vehicles travelling through this road in a given time duration. Traditional ways for collecting travel-speed oriented traffic data always depend on dedicated sensors and supporting infrastructures, and are therefore financial costly. Differently, vehicular crowdsensing as an infrastructure-free way, can be used to collect data in... read more »## Visual Recognition Using Directional Distribution Distance. Arxiv:1504.04792v2 Cs.cv Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.04792**Description:**In computer vision, an entity such as an image or video is often represented as a set of instance vectors, which can be SIFT, motion, or deep learning feature vectors extracted from different parts of that entity. Thus, it is essential to design efficient and effective methods to compare two sets of instance vectors. Existing methods such as FV, VLAD or Super Vectors have achieved excellent results. However, this paper shows that these methods are designed based on a generative perspective, and ... read more »## Algorithms And Throughput Analysis For Mds-coded Switches. Arxiv:1504.04803v2 Cs.it Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.04803**Description:**Network switches and routers need to serve packet writes and reads at rates that challenge the most advanced memory technologies. As a result, scaling the switching rates is commonly done by parallelizing the packet I/Os using multiple memory units. For improved read rates, packets can be coded with an n,k MDS code, thus giving more flexibility at read time to achieve higher utilization of the memory units. In the paper, we study the usage of n,k MDS codes in a switching environment. In particul... read more »## Complexity Of Suffix-free Regular Languages. Arxiv:1504.05159v2 Cs.fl Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.05159**Description:**A regular language is most complex in its class if it meets the quotient complexity state complexity bounds for boolean operations, product concatenation , star, and reversal, has the largest syntactic semigroup, and has the maximal number of atoms, each of which has maximal quotient complexity. It is known that there exist such most complex regular languages, and also right ideals, left ideals, and two-sided ideals. In contrast to this, we prove that there does not exist a most complex suffix-f... read more »## User-centric Interference Nulling In Downlink Multi-antenna Heterogeneous Networks. Arxiv:1504.05283v2 Cs.it Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.05283**Description:**Heterogeneous networks HetNets have strong interference due to spectrum reuse. This affects the signal-to-interference ratio SIR of each user, and hence is one of the limiting factors of network performance. However, in previous works, interference management approaches in HetNets are mainly based on interference level, and thus cannot effectively utilize the limited resource to improve network performance. In this paper, we propose a user-centric interference nulling IN scheme in downlink two-t... read more »## Weighted Independent Sets In A Subclass Of P_6 -free Graphs. Arxiv:1504.05401v2 Cs.dm Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.05401**Description:**The Maximum Weight Independent Set MWIS problem on graphs with vertex weights asks for a set of pairwise nonadjacent vertices of maximum total weight. The complexity of the MWIS problem for P_6 -free graphs is unknown. In this note, we show that the MWIS problem can be solved in time O n^3m for P_6 , banner -free graphs by analyzing the structure of subclasses of these class of graphs. This extends the existing results for P_5 , banner -free graphs, and P_6 , C_4 -free graphs. Here, P_t denotes ... read more »## Mechanism Design For Fair Allocation. Arxiv:1504.05670v2 Cs.gt Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.05670**Description:**Mechanism design for a social utility being the sum of agents' utilities SoU is a well-studied problem. There are, however, a number of problems of theoretical and practical interest where a designer may have a different objective than maximization of the SoU. One motivation for this is the desire for more equitable allocation of resources among agents. A second, more subtle, motivation is the fact that a fairer allocation indirectly implies less variation in taxes which can be desirable in a si... read more »## Non-adaptative Policies For 20 Questions Target Localization. Arxiv:1504.05996v2 Cs.it Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.05996**Description:**The problem of target localization with noise is addressed. The target is a sample from a continuous random variable with known distribution and the goal is to locate it with minimum mean squared error distortion. The localization scheme or policy proceeds by queries, or questions, weather or not the target belongs to some subset as it is addressed in the 20-question framework. These subsets are not constrained to be intervals and the answers to the queries are noisy. While this situation is wel... read more »## Small Width, Low Distortions: Quasi-isometric Embeddings With Quantized Sub-gaussian Random Projections. Arxiv:1504.06170v2 Cs.it Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06170**Description:**Under which conditions a subset mathcal K of mathbb R^N can be embedded in another one of delta mathbb Z^M for some resolution delta>0 We address this general question through the specific use of a quantized random linear mapping bf A : mathbb R^N to delta mathbb Z^M combining a linear projection of mathbb R^N in mathbb R^M associated to a random matrix boldsymbol Phi in mathbb R^ M times N with a uniform scalar dithered quantization mathcal Q of mathbb R^M in delta mathbb Z^M . The targeted ... read more »## Improving Detection Of Influential Nodes In Complex Networks. Arxiv:1504.06236v2 Cs.si Updated

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06236**Description:**Recently an increasing amount of research is devoted to the question of how the most influential nodes seeds can be found effectively in a complex network. There are a number of measures proposed for this purpose, for instance, high-degree centrality measure reflects the importance of the network topology and has a reasonable runtime performance to find a set of nodes with highest degree, but they do not have a satisfactory dissemination potentiality in the network due to having many common neig... read more »## The Minimum Wiener Connector. Arxiv:1504.00513v1 Cs.si Cross Listed

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.00513**Description:**The Wiener index of a graph is the sum of all pairwise shortest-path distances between its vertices. In this paper we study the novel problem of finding a minimum Wiener connector: given a connected graph G= V,E and a set Q subseteq V of query vertices, find a subgraph of G that connects all query vertices and has minimum Wiener index. We show that The Minimum Wiener Connector admits a polynomial-time albeit impractical exact algorithm for the special case where the number of query vertices is b... read more »## Self-adaptive Hierarchical Sentence Model. Arxiv:1504.05070v1 Cs.cl Cross Listed

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.05070**Description:**The ability to accurately model a sentence at varying stages e.g., word-phrase-sentence plays a central role in natural language processing. As an effort towards this goal we propose a self-adaptive hierarchical sentence model AdaSent . AdaSent effectively forms a hierarchy of representations from words to phrases and then to sentences through recursive gated local composition of adjacent segments. We design a competitive mechanism through gating networks to allow the representations of the same... read more »## Coordinated Spatial Pattern Formation In Biomolecular Communication Networks. Arxiv:1504.06045v1 Q-bio.mn Cross Listed

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06045**Description:**This paper proposes a control theoretic framework to model and analyze the self-organized pattern formation of molecular concentrations in biomolecular communication networks, where bio-nanomachines, or biological cells, communicate each other using cell-to-cell communication mechanism mediated by a diffusible signaling molecule. We first introduce a feedback model representation of the reaction-diffusion dynamics of biomolecular communication networks. A systematic local stability/instability a... read more »## Multimodal Convolutional Neural Networks For Matching Image And Sentence. Arxiv:1504.06063v1 Cs.cv Cross Listed

**Published:**Wednesday December 31st 7PM**Link:**http://arxiv.org/abs/1504.06063**Description:**In this paper, we propose multimodal convolutional neural networks m-CNNs for matching image and sentence. Our m-CNN provides an end-to-end framework with convolutional architectures to exploit image representation, word composition, and the matching relations between the two modalities. More specifically, it consists of one image CNN encoding the image content, and one matching CNN learning the joint representation of image and sentence. The matching CNN composes words to different semantic fra... read more »

Empa Rss Cnn Football Sports Rss Red Cabbage Rss Cepr Rss Nba Picture Rss Event Toronto Rss Topix Texas Rss Texas New Rss Macwelt De Rss Rolling Stone Author Rss Video Haberler Rss Aol Pets Rss Landingpage Rss European Banking Rss European Investment Banking Rss People Moves Banking Rss Nous Contacter Rss Presse Agentur Rss Zone Zone Rss El Confidencial Blog Rss Paul Krugman New York Times Rss Bloomberg Weather Rss Http Lolcats Images Rss Liquor Store Rss Legal Australia Rss Themelios Rss Por Homme Rss Men S Health Food Rss Telegraph Science Rss Nbc News Travel Rss Los Angeles Times Travel Rss For Travel Rss Msn Travel Rss E Channel Rss Video Marketing Training Rss Lowongan Bumn Rss Heirloom Seeds Rss Iran Technology Rss Grosse Pointe News Rss Ted Video Rss Lifestyle Germany Rss Trends Deutschland Rss