Introduction The language documentation projects of the DOBES program [1] are entering a new stage. In the first years of the program the projects were mainly occupied with the collection of video and audio recordings of a broad variety of spoken text genres in various contexts and socio-cultural interactions. Most of the material is described by metadata and stored in the archive for linguisti...

Generalization, also called anti-unification, is the dual of unification. Given terms t and t′, a generalization is a term t′′ of which t and t′ are substitution instances. The dual of a most general unifier (mgu) is that of least general generalization (lgg). In this work, we extend the known untyped generalization algorithm to an order-sorted typed setting with sorts, subsorts, and subtype po...

This paper presents a modular equational generalization algorithm, where function symbols can have any combination of associativity, commutativity, and identity axioms (including the empty set). This is suitable for dealing with functions that obey algebraic laws, and are typically mechanized by means of equational atributes in rule-based languages such as ASF+SDF, Elan, OBJ, Cafe-OBJ, and Maud...

Context-sensitive rewriting is a simple rewriting restriction which is formalized by imposing fixed restrictions on replacements. Such a restriction is given on a purely syntactic basis: it is given on the arguments of symbols of the signature and inductively extended to arbitrary positions of terms built from those symbols. The termination behavior is not only preserved but usually improved an...

Abstract Gesture and multimodal communication researchers typically annotate video data manually, even though this can be a very time-consuming task. In the present work, method to detect gestures is proposed as fundamental step towards semi-automatic gesture annotation tool. The applied RGB videos requires annotations of part input. technique deploys pose estimation active learning. experiment...

From the Mayo Clinic College of Medicine, Rochester, Minn. (R.C.P.); University of California, San Diego, San Diego (R.G.T., D.G., S.J., L.J.T.); Elan Pharmaceuticals, San Diego (M.G.); Rush University Medical School, Chicago (D.B.); Baylor College of Medicine, Houston (R.D.); New York University, New York (S.F.); Oregon Health and Science University, Portland (J.K.); Emory University, Atlanta ...

PURPOSE Biologic valved-conduit grafts avoid the need for anticoagulation and can exploit the excellent hemodynamic performance of stentless valves. Incorporation of sinuses of Valsalva into the neoaortic root can improve the function of the stentless valves. DESCRIPTION Here we present a novel prefabricated stentless valved conduit incorporating sinuses of Valsalva and describe the technique...

Generalization, also called anti-unification, is the dual of unification. Given terms t and t′, a generalization is a term t′′ of which t and t′ are substitution instances. The dual of a most general unifier (mgu) is that of least general generalization (lgg). In this work, we extend the known untyped generalization algorithm to an order-sorted typed setting with sorts, subsorts, and subtype po...

In this paper, we analyse three statistical models for the machine translation of Slovenian into English. All of them are based on the IBM Model 4, but differ in the type of linguistic knowledge they use. Model 4a uses only basic linguistic units of the text, i.e., words and sentences. In Model 4b, lemmatisation is used as a preprocessing step of the translation task. Lemmatisation also makes i...