Ontologies are widely used in the biomedical community, which has built standard reference ontologies for various aspects of medicine. These projects have produced broad descriptio...
David Corsar, Laura Moss, Derek H. Sleeman, Malcol...
This paper describes recent work on strategy merger development in the authoring process of adaptive hypermedia. The goal of a merging strategy is to break a complex adaptation dec...
Joshua Scotton, Sabine Moebs, Jennifer McManis, Al...
Abstract. We present a deep embedding of Bellantoni and Cook’s syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to...
Inverse halftoning is the process to retrieve a (gray) continuous-tone image from a halftone. Recently, machinelearning-based inverse halftoning techniques have been proposed. Dec...
Developers frequently integrate complex COTS frameworks and components in software applications. COTS products are often only partially documented, and developers may misuse techn...