We show that an interior-pointmethodfor monotonevariationalinequalitiesexhibits superlinear convergence provided that all the standard assumptions hold except for the well-known as...
Tracking the 3-D pose of an object needs correspondences between 2-D features in the image and their 3-D counterparts in the object model. A large variety of such features has been...
Thomas Brox, Bodo Rosenhahn, Daniel Cremers, Hans-...
Global semantic integrity constraints ensure integrity and consistency of data spanning multiple databases. In this paper, we take the initial steps towards representing global se...
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
Mogens Nielsen, Catuscia Palamidessi, Frank D. Val...
A temporal constraint language is a set of relations that has a first-order definition in (Q, <), the dense linear order of the rational numbers. We present a complete comple...