Independent and-parallelism, dependent and-parallelism and or-parallelism are the three main forms of implicit parallelism present in logic programs. In this paper we present a model, IDIOM, which exploits all three forms of parallelism in a single framework. IDIOM is based on a combination of the Basic Andorra Model and the Extended And-Or Tree Model. Our model supports both Prolog as well as ...

This paper describes a coding pattern, termed the C++ detection idiom, powered by the void_t metafunction recently accepted into the C++17 standard library. A fully-implemented toolkit of interfaces to this idiom is then presented and proposed for future standardization. Detection is, or ought to be, an exact science. . . . — SIR ARTHUR IGNATIUS CONAN DOYLE

This paper describes a coding pattern, termed the C++ detection idiom, powered by the void_t metafunction recently accepted into the C++17 standard library. A fully-implemented toolkit of interfaces to this idiom is then presented and proposed for future standardization. Detection is, or ought to be, an exact science. . . . — SIR ARTHUR IGNATIUS CONAN DOYLE

Idiom comprehension of 15 patients with mild probable Alzheimer's disease was examined by means of a sentence-to-picture matching task. Patients had to choose between two pictures, one representing the figurative and the other the literal interpretation. They were also submitted to a literal sentence comprehension test and to a pencil-and-paper dual task. Whereas literal comprehension was norma...

In this paper I present an approach to idioms in the HPSG framework. Building on earlier work by Copestake 1994, it employs phrasal types that specify the semantic relationship between the idiomatic words involved. Underspeciied Phrasal Semantics (UPS) does not require separate lexical entries for the words occurring in idioms, and treats a wide range of data more successfully than previous alt...

I. The Problem with Best Interests: A Framework; a Justificatory Idiom; and a Problem ................................. 1192 A. Framework: The Three Dimensions of State Interventions Aimed at Influencing Reproduction .............................................................. 1192 B. Justificatory Idiom: Best Interests of the Resulting Child Justifications, Their Attraction and Prominence .....

this study investigated the comparative effect of teaching idiomatic expressions through practicing them in conversation and paragraph writing on intermediate efl learners’ idiom learning. the participants were sorted out of a population of 134 intermediate students in zabansara language school in khorramabad based on their scores on a preliminary english test (pet) and an idiom test piloted in...

Template Method Pattern (see [5]) solves the problem of the existence of a generic algorithm for a family of classes that needs specialization in each and every concrete class. It does so by implementing the algorithm in the base class and by forwarding implementation details to (pure) virtual functions. In terms of [5] these forwarding functions are called primitive. In this paper we propose a...