We present in this paper a new, complete method for distributed constraint optimization, based on dynamic programming. It is a utility propagation method, inspired by the sum-product algorithm, which is correct only for tree-shaped constraint networks. In this paper, we show how to extend that algorithm to arbitrary topologies using a pseudotree arrangement of the problem graph. Our algorithm r...

A distinctive property of many current grammatical formalisms is their use of feature equal ity constraints to express a wide variety of grammatical dependencies Lexical Functional Grammar Head Driven Phrase Structure Grammar PATR FUG and the various forms of categorial uni cation grammar all require an analysis of a sentence to satisfy a collection of feature constraints in addition to a set o...

Constraint satisfaction is a challenging problem in Interval Algebra (IA). So there are many efforts to attack this problem. After building a matrix method to deal with temporal reasoning problems, we develop basic techniques for applying the matrix method to constraint satisfaction in this paper. Thus, the propagating rules and the algorithms of 3and path-consistency are studied. If our matrix...

Geometric constraint solving is a key issue in CAD, CAM and PLM. The systems of geometric constraints are today studied and decomposed with graph-based methods, before their numerical resolution. However, graph-based methods can detect only the simplest (called structural) dependences between constraints; they can not detect subtle dependences due to theorems. To overcome these limitations, thi...

A new constraint acquisition method for parwise-constrained data clustering based on user-feedback is proposed. The method searches for non-redundant intra-cluster and inter-cluster query-candidates, ranks the candidates by decreasing order of interest and, finally, prompts the user the most relevant query-candidates. A comparison between using the original data representation and using a learn...

This paper considers simultaneous fitting of multiple curves and surfaces to 3D measured data captured as part of a reverse engineering process, where constraints exist between the parameters of the curves or surfaces. Enforcing such constraints may be necessary (i) to produce models to sufficiently accurate tolerances for import into a CAD system, and (ii) to produce models which successfully ...

We study the equilibrium states for an energy functional with a parametric force field on a region of a surface. Consideration of free equilibrium states is based on Lyusternik - Schnirelman's and Skrypnik's variational methods. Consideration of equilibrium states under a constraint of geometrical character is based on an analog of Skrypnik's method, described in [P. Vyridis, {it Bifurcation in...

background: despite some successful dynamic simulation of self-impact double pendulum (sidp)-as humanoid robots legs or arms- studies, there is limited information available about the control of one leg locomotion. objective   : the main goal of this research is to improve the reliability of the mammalians leg locomotion and building more elaborated models close to the natural movements, by mod...

Coupled systems of two linear and nonlinear differential equations for secondand first-orders, respectively, can be solved with some techniques and Adomian decomposition method. A few simple examples are also studied to show with analytical results how the (ADM) works efficiently. 2005 Elsevier Inc. All rights reserved.