Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to ...
Dating of contents is relevant to multiple advanced Natural Language Processing (NLP) applications, such as Information Retrieval or Question Answering. These could be improved by...
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
Using a strongly typed functional programming language for genetic programming has many advantages, but evolving functional programs with variables requires complex genetic operat...
We are developing a digital writing tool, Polymorphic Letters (PL), to investigate hand and pen movements as they may extend and enrich expression in written language. PL recogniz...
Andrea Taylor, Zoltan Foley-Fisher, Carol Stroheck...