Many languages have verbal stems like hug and marry whose intransitive realization is interpreted as reciprocal. Previous semantic analyses of such reciprocal intransitives rely on the assumption symmetric participation. Thus, 'Sam Julia hugged' assumed to entail both hugged Julia' 'Julia Sam'. In this paper we report experimental results that go against assumption. It shown although participat...

Researchers and industry analysts are increasingly interested in computing aggregation queries over large, unstructured datasets with selective predicates that computed using expensive deep neural networks (DNNs). As these DNNs because many applications can tolerate approximate answers, accelerating via approximations. Unfortunately, standard query processing techniques to accelerate such not a...

A supervised classification method for time series, even multivariate, is presented. It is based on boosting very simple classifiers: clauses with one literal in the body. The background predicates are based on temporal intervals. Two types of predicates are used: i) relative predicates, such as “increases” and “stays”, and ii) region predicates, such as “always” and “sometime”, which operate o...

The classical Hennessy-Milner theorem says that two states of an image-finite transition system are bisimilar if and only they satisfy the same formulas in a certain modal logic. In this paper we study type result general context, moving from systems to coalgebras bisimilarity coinductive predicates. We formulate when logic fully characterises predicate on coalgebras, by providing suitable noti...

Abstract This Commentaire bears out a prediction of Anand et al.'s (to appear) syntactic identity condition on sluicing. Identity is calculated over argument domains as small clauses. With extraction clause subject, sluicing possible where only predicate has an antecedent.