Dependency parsers show syntactic relations between words using a directed graph, but comparing dependency parsers is difficult because of differences in theoretical models. We de...
The development of visual query languages can ease the retrieval of human motion data. This paper describes a process that allows users to specify queries for human motions descri...
We discuss the design of language tools, and explore new approaches for the development of language-learning environments. We take a standpoint in the learning perspective labelle...
Scenarios that describe concrete behaviors of system play an important role in system development and in particular requirements engineering. Scenarios are informal, and are diffic...
We investigate the development of terms during cut-elimination in first-order logic and Peano arithmetic for proofs of existential formulas. The form of witness terms in cut-free p...