Sequential optimality conditions provide adequate theoretical tools to justify stopping criteria for nonlinear programming solvers. Here, nonsmooth approximate gradient projection and complementary approximate Karush-Kuhn-Tucker conditions are presented. These sequential optimality conditions are satisfied by local minimizers of optimization problems independently of the fulfillment of constrai...

We present an algorithm to compute adaptive solutions for incompressible flows using block-structured local refinement in both space and time. This method uses a projection formulation based on a cell-centered approximate projection, which allows the use of a single set of cell-centered solvers. Because of refinement in time, additional steps are taken to accurately discretize the advection and...

Sequential pattern mining (SPM) under gap constraint is a challenging task. Many efficient specialized methods have been developed but they are all suffering from a lack of genericity. The Constraint Programming (CP) approaches are not so effective because of the size of their encodings. In [7], we have proposed the global constraint PREFIX-PROJECTION for SPM which remedies to this drawback. Ho...

Projection-onto-constraint sets is an efficient algorithm for constructing synthetic discriminant functions to be employed in pattern-recognition systems. The algorithm is implemented by a digital procedure based on a simulated joint-transform correlator.

Constraint query languages are natural extensions of relational database query languages. A framework for their declarative speciication (constraint calculi) and eecient implementation (low data complexity and secondary storage indexing) was presented in Kanellakis et al., 1995. Constraint query algebras form a procedural language layer between high-level declarative calculi and low-level index...

We exploit the common constraint of having a right angle corner of two rectangular planes in the scene in order to calibrate a perspective projection camera and compute its pose relative to the coordinate system defined by the corner. No metric information about the corner is assumed. The camera is constrained to have its image x and y axis to be orthogonal with the same scale factor, which is ...

A random vector X = (X1, X2, . . . , Xn) with positive components has a Liouville distribution with parameter = ( 1, 2, . . . , n) if its joint probability density function is proportional to h( ∑n i=1 xi) ∏n i=1 x i−1 i , i > 0 [R.D. Gupta, D.S.P. Richards, Multivariate Liouville distributions, J. Multivariate Anal. 23 (1987) 233–256]. Examples include correlated gamma variables, Dirichlet and...

We propose and evaluate in this work a novel optimization strategy for intensity-based non-rigid image registration of contrastenhanced images with a volume-preservation constraint. Since patient motion correction and volume preservation are to some extent mutually exclusive goals, one is usually faced with a trade-off between volume preservation of contrast-enhancing structures and artifact re...