An Apollonian configuration of circles is a collection of circles in the plane with disjoint interiors such that the complement of the interiors of the circles consists of curvili...
Steve Butler, Ronald L. Graham, Gerhard Guettler, ...
Consider a universe of tokens, each of which is associated with a weight, and a database consisting of strings that can be represented as subsets of these tokens. Given a query st...
In discrete event systems, a given task can start executing when all the required input data are available. The required input data for a given task may change along the evolution...
Realizing the Semantic Web involves creating ontologies, a tedious and costly challenge. Reuse can reduce the cost of ontology engineering. Semantic Web ontologies can provide use...
Deryle W. Lonsdale, David W. Embley, Yihong Ding, ...
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...