In order to be able to automatically calculate clinical quality indicators, we have proposed CLIF, a stepwise method for clinical quality indicator formalisation. Quality indicators are used for external accountability and hospital comparison. As clinical quality indicators are computed in a decentralised manner by the hospitals themselves, reproducibility of the formalisation method is essenti...

Discriminating vandalism edits from non-vandalism edits in Wikipedia is a challenging task, as ill-intentioned edits can include a variety of content and be expressed in many different forms and styles. Previous studies are limited to rule-based methods and learning based on lexical features, lacking in linguistic analysis. In this paper, we propose a novel Web-based shallow syntacticsemantic m...

Aocally monotonic regression is a recently proposed technique for the deterministic smoothing of finite-length discrete signals under the smoothing criterion of local monotonicity. Locally monotonic regression falls within a general framework for the processing of signals that may be characterized in three ways: regressions are given by projections that are determined by semimetrics, the proces...

We outline an approach for transferring specifications and technical documents written in plain English into controlled English. In a first step, we analyse the sentences of the source documents and (partially) translate them into a set of logical forms. In the second step, we send the logical forms to a surface-form generation module that plans how the sentences of the controlled language shou...

Modal logics have been frequently used to represent the knowledge and belief owned by an agent. However, such systems make the unrealistic assumption that agents are logically omniscent, hence capable of performing extremely complex inferences. Our goal in this paper is twofold. First of all we show that an approximation pattern can be used for a stepwise procedure which determines the satisfia...

This paper concerns our research on developing a theory and methodology appropriate for systematically building complicated Prolog programs. Programs are constructed procedurally from standard components. We identify skeletons, basic Prolog programs with a well-understood control ow, and techniques, standard Prolog programming practices, as basic components. Applying a technique to a skeleton c...

We propose a formal framework for designing hybrid systems by stepwise re nement. Starting with a speci cation in hybrid temporal logic, we make successively more transitions explicit until we obtain an executable system.

Several researchers have developed properties that ensure compatibility of a concept similarity or dissimilarity measure with the formal semantics of Description Logics. While these authors have highlighted the relevance of the triangle inequality, none of their proposed dissimilarity measures satisfy it. In this work we present a theoretical framework for dissimilarity measures with this prope...

This report discusses the use of logistic regression as a technique for developing optimal classification rules for multi-instance and multi-modal biometric fusion, using fingerprint and face data. Studies of Biometric Fusion

Public bikesharing—the shared use of a bicycle fleet—has recently emerged in major North American cities. Bikesharing has been found to decrease driving and increase bicycling. But shifts in public transit have been mixed. The authors evaluate survey data from two U.S. cities to explore who is shifting toward and away from public transit as a result of bikesharing. The authors explore this ques...