Modern deep neural networks achieve impressive performance in engineering applications that require extensive linguistic skills, such as machine translation. This success has sparked interest probing whether these models are inducing human-like grammatical knowledge from the raw data they exposed to and, consequently, can shed new light on long-standing debates concerning innate structure neces...

In order to gain a better understanding of the state space programs, with aim making their verification more tractable, models based on directed topological spaces have been introduced, allowing take in account equivalence between execution traces, as well translate features (such presence deadlocks) into geometrical situations. this context, many algorithms were description regions consisting ...

In this paper, we describe an approach to annotate the propositions in the Penn Chinese Treebank. We describe how diathesis alternation patterns can be used to make coarse sense distinctions for Chinese verbs as a necessary step in annotating the predicate-structure of Chinese verbs. We then discuss the representation scheme we use to label the semantic arguments and adjuncts of the predicates....

Mechanism design automation support requires developing a representation language for describing mechanism behavior. The language is necessary to specify design requirements, to describe existing mechanisms, and to catalog them for design reuse. This paper presents a simple and expressive language for describing the behavior of fixed-axes mechanisms. The language symbolically captures the impor...