We consider the problem of answering queries about formulas of propositional logic based on background knowledge partially represented explicitly as other formulas, and partially represented as partially obscured examples independently drawn from a fixed probability distribution, where the queries are answered with respect to a weaker semantics than usual – PAC-Semantics, introduced by Valiant ...

Targeting sustainability in our industrial society requires integrating specific criteria the design process of products and processes. A paradigm shift is necessary economical, social political systems to ensure natural ecosystems preservation on planet while fulfilling needs. Various research methods have therefore emerged change way services are designed, developed, used discarded considerin...

Abstract The use of co-occurrence data is common in various domains. Co-occurrence often needs to be normalized correct for the size effect. To this end, van Eck and Waltman (2009) recommend a probabilistic measure known as association strength. However, formula, based on combinations with repetition, implicitly assumes that observations from same entity can co-occur even though intended usage ...

Implicit parallelization involves developing parallel algorithms and applications in environments that provide sequential semantics, e.g., the C programming language. System tools convert the parallel algorithms into a set of threads partitioned appropriately for a particular parallel machine organization. The resulting parallel programs are easier and faster to develop, debug and maintain, bec...

In this paper, we propose three novel models to enhance word embedding by implicitly using morphological information. Experiments on word similarity and syntactic analogy show that the implicit models are superior to traditional explicit ones. Our models outperform all state-of-the-art baselines and significantly improve the performance on both tasks. Moreover, our performance on the smallest c...

A method to triangulate the medial axis [1] is modified. In the new method the coping surfaces of a thin-wall object are used for insidedness but ignored for footpoints, yielding the mid-surface, not the medial axis. Three distinct contour-followers are employed. After a brief, manual tagging of the coping surfaces, the method is automatic. It computes a triangulation to arbitrary precision and...