We give a uniform method for automated reasoning in several types of extensions of ordered algebraic structures (definitional extensions, extensions with boundedness axioms or wit...
We study implementability in dominant strategies of social choice functions when sets of types are multi-dimensional and convex, sets of outcomes are arbitrary, valuations for outc...
Underwater acoustic localization usually relies on time of arrival (ToA) measurements, which are then converted into range estimates. However, the water medium is inhomogeneous and...
Christian R. Berger, Shengli Zhou, Peter Willett, ...
In this paper, we study the problem of reconstructing the polyhedral structures and geometric positions of a general nD polyhedral scene from a single 2D line drawing. With the ide...