The problem of efficiently cutting smaller two-dimensional pieces from a larger surface is recurrent in several manufacturing settings. This belongs to the domain and packing (C&P) problems. study approached category C&P problems called minimum time cut path (MTCP) problem, which aims identify sequence sliding movements for head device minimize time. Both slide speeds (just moving head)...

Abstract Can conjunctive propositions be identical without their conjuncts being identical? universally quantified instances On a common conception of propositions, on which they inherit the logical structure sentences express them, answer is negative both times. Here, it will shown that such to questions inconsistent, assuming standard type-theoretic formalization theorizing about propositions...

We investigate the use of selective classifiers for part-of-speech tagging (POS). The idea is to allow classifiers to abstain on hard instances, passing them to downstream classifiers that may have more context available. In this report we focus on just the first stage of such a cascade, and ask whether selective classifiers attain the accuracies needed on those instances they accept, given tha...

Semantic accounts of the definite article have tended to fall into two general classes: ‘uniqueness’ accounts (Russell, 1905), and ‘familiarity’ accounts (Heim, 1982; see also Abbott, 2004, inter alia). It is also generally known that there are instances of definite descriptions that are resistant to such analyses, and are difficult to subsume under either treatment, or even a combination of bo...

When designing an XML-based Web Content Management System (WCMS), one usually has to define and maintain two separate entities just for the editorial part: the database schemes (in the form of XML Schema instances) on the one hand and the graphical user interfaces (GUIs) for data maintenance on the other hand. In this paper we present a method for generating the GUIs automatically from the XML ...