This paper considers the link between lexical category and lexical semantics, examining variation in the category of property concept (PC) words (Dixon, 1982; Thompson, 1989)—words introducing the descriptive content in translational equivalents of sentences whose main predicate is an adjective in languages with large open classes of them. Francez and Koontz-Garboden (2015) conjecture that nomi...

Static Single Assignment (SSA) form is an intermediate representation that allows a compiler to perform advanced optimizations to extract parallelism. Predication is an architectural feature to maximize instruction level parallelism. If a compiler uses a predicated SSA form that is a combination of an SSA form and predication as an intermediate representation, it can perform advance optimizatio...

This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are mereological relations (part, overlap, etc.). Relations defining the concept taxonomies are taken from the standard relations of subsumption hierarchies. A small set of (homogeneous) predicators is introduced to relate...

Jones' (1985) Ease of Predication hypothesis, which states that underlying differences in the semantic representation of concrete and abstract words can be explained in terms of disproportionate numbers of semantic predicates, is explored in two experiments. The results suggest that (1) the advantage shown by concrete words in terms of greater number of predicates is only apparent for words of ...

DISCOPLAN is an efficient system for discovering state invariants in planning domains with conditional effects. Among the types of invariants found are implicative constraints relating a fluent predication to a fluent or static predication (with allowance for static supplementary conditions), single-valuedness constraints, exclusiveness constraints, and several others. The algorithms used are p...

Network distance is an important parameter in optimizing performance of network applications. Although there are a number of network distance prediction mechanisms, they all take no consideration of Internet structure, which has great influence on Internet distance characteristics. By analyzing the hierarchical structure feature of Internet, a hierarchical network distance predication mechanism...

In order to accurately forecast and prevent customer churn in e-commerce, a customer churn forecasting framework is established through four steps. First, customer behavior data is collected and converted into data warehouse by extract transform load (ETL). Second, the subject of data warehouse is established and some samples are extracted as train objects. Third, alternative predication algori...

The mainstream arrival of predication, a means other than branching of selecting instructions for execution, has required compiler architects to reformulate fundamental analyses and transformations. Traditionally, the compiler has generated branches straightforwardly to implement control flow designed by the programmer and has then performed sophisticated “global” optimizations to move and opti...