We present Version 2 of system Cplus2ASP, which implements the definite fragment of action language C+. Its input language is fully compatible with the language of the Causal Calculator Version 2, but the new system is significantly faster thanks to modern answer set solving techniques. The translation implemented in the system is a composition of several recent theoretical results. The system ...

In contrast to symbolic models of language understanding, embodied models of language comprehension suggest that language is closely connected with visual and motor processing. In the current study we show that motion words, such as rise or fall, are processed faster if displayed against a background of compatible motion (e.g., upward vs. downward random dot motion with 60% motion coherence). H...

Corpus-based approaches and statistical approaches have been the main stream of natural language processing research for the past two decades. Language resources play a key role in such approaches, but there is an insufficient amount of language resources in many Asian languages. In this situation, standardisation of language resources would be of great help in developing resources in new langu...

In an OCR post-processing task, a language model is used to find the best transformation of the OCR hypothesis into a string compatible with the language. The cost of this transformation is used as a confidence value to reject the strings that are less likely to be correct, and the error rate of the accepted strings should be strictly controlled by the user. In this work, the expected error rat...

It is known that personality is important in computer-mediated communication (CMC), influencing both how we express ourselves, and how we are perceived. Here we build in two ways on previous work which has used the LIWC text analysis tool to derive language factors relating to personality. First, we investigate whether linguistic factor structure in e-mail is similar to that in weblogs, and how...

The Manatee corpus management system on which the Sketch Engine is built is efficient, but unable to harness the power of today’s multiprocessor machines. We describe a new, compatible implementation of Manatee which we develop in the Go language and report on the performance gains that we obtained.

In the present paper, Kegelspitzen, which can be seen dcpos associated with a compatible convex structure, will be shown to be models of the order-enriched Lawvere theory of subconvex sets and later used to adequately interpret PFPC, a probabilistic version of the well-known functional programming language FPC (Fixed Point Calculus) [8], which involves recursive types.

Familiarity with a talker’s voice and face was found to facilitate processing of second-language speech. This advantage is accentuated when visual cues are limited to either the mouth and jaw area, or eyes and upper cheek areas of a talker’s face. Findings are compatible with a multiple-trace model of bimodal speech processing.

Two plane geometric graphs are said to be compatible when their union is a plane geometric graph. Let S be a set of n points in the Euclidean plane in general position and let T be any given plane geometric tree whose vertex set is S. The main problem we consider in this work consists of finding a second plane geometric tree T ′ on S, such that T ′ is compatible with T and shares with T a minim...