Many current program analyses require highly precise pointer information about small, targeted parts of a given program. This motivates the need for demand-driven pointer analyses that compute information only where required. Pointer analyses generally compute points-to sets of program variables or answer boolean alias queries. However, many client analyses require richer pointer information. F...

In this work we introduce a biologically inspired long-range skip connection for the UNet architecture that relies on perceptual illusion of hybrid images, being images simultaneously encode two images. The fusion early encoder features with deeper decoder ones allows models to produce finer-grained dense predictions. While proven in segmentation tasks, network’s benefits are down-weighted regr...

We study the skip-thought model proposed by Kiros et al. (2015) with neighborhood information as weak supervision. More specifically, we propose a skip-thought neighbor model to consider the adjacent sentences as a neighborhood. We train our skip-thought neighbor model on a large corpus with continuous sentences, and then evaluate the trained model on 7 tasks, which include semantic relatedness...

We study a class of quantum measurement models. A microscopic object is entangled with a macroscopic pointer such that a distinct pointer position is tied to each eigenvalue of the measured object observable. Those different pointer positions mutually decohere under the influence of an environment. Overcoming limitations of previous approaches we (i) cope with initial correlations between point...

The support for complex queries, such as range, prefix and aggregation queries, over structured peer-to-peer systems is currently an active and significant topic of research. This paper demonstrates how Skip Tree Graph, as a novel structure, presents an efficient solution to that problem area through provision of a distributed search tree functionality on decentralised and dynamic environments....

We introduce the notion of a multi-vector sentence representation based on a “one vector per proposition” philosophy, which we term skip-prop vectors. By representing each predicate-argument structure in a complex sentence as an individual vector, skip-prop is (1) a response to empirical evidence that single-vector sentence representations degrade with sentence length, and (2) a representation ...