Controlled Query Evaluation (CQE) is a logical framework for the protection of secrets in databases. In this article, we extend the CQE framework to possibilistic logic: knowledge ...
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...
We propose a novel approach to unsupervised facial image
alignment. Differently from previous approaches, that
are confined to affine transformations on either the entire
face o...
We address the task of rendering by ray tracing the isosurface of a high-quality continuous spline model of volumetric discrete and regular data. By expressing the spline model as...
Traditional approaches to rule-based information extraction (IE) have primarily been based on regular expression grammars. However, these grammar-based systems have difficulty scal...
Frederick Reiss, Sriram Raghavan, Rajasekar Krishn...