An approach to abductive inference developed in the TACITUS project has resulted in a dramatic simplification of how the problem of interpreting texts is conceptualized. Its use in solving the local pragmatics problems of reference, compound nominals, syntactic ambiguity, and metonymy is described

blocks can be used for applying the scheme to efficient electronic voting. This reduces dramatically the work needed to compute the final result of an election, compared to the previously best known schemes. We show how the basic scheme for a yes/no vote can be easily adapted to casting a vote for up

A simple procedure is presented which leads to a dramatic simplification in the calculation of the relic density of stable particles in the Universe. 1

it cannot. However, the algorithm is extremely fast and can, therefore, be added to formula-based bisimulation model checkers at practically no cost. When the formula can be simplified by our algorithm, this can have a dramatic positive effect on the better, but also more time consuming, theorem provers

Summary. Numerical simulations of tubulent flows produce both vector and tensor fields that exhibit complex structural behavior. The topological study of these datasets dramatically reduces the amount of information required for analysis. However, the presence of many features of small scale

Topology-based methods have become standard tools for the visualization of planar vector and tensor fields. This success is due to their ability to convey huge discrete datasets into synthetic graph depictions that exhibit all qualitative properties of the flow. In that way one reduces dramatically

Abstract The forests of the Pacific Northwest have undergone significant changes in the relative proportions of various forest types, including dramatic reductions in certain habitats such as oldgrowth forests and early successional habitat rich in woody debris. Intensive forest management

The 3D complex building models are commonly of massive data, detailed appearance and sophisticated topology. The LOD modelling and real-time visualization of such models have hampered the wider applications of Virtual Geographic Environments. Aimed at the drawback of traditional simplification

constant rank condition. The algorithm is useful for classifying initial value problems for determined pde systems and can yield dramatic simplifications of complex overdetermined nonlinear pde systems. Such overdetermined systems arise in analysis of physical pdes for reductions to odes using

SMT formulas to a simplified form containing no redundant subparts. We present experimental evidence that on-line simplification of formulas dramatically improves scalability. 1