A B S T R A C T In this document, we present a language which associates type construction principles to constraint logic programming. We show that it is very appropriate for language processing, providing more uniform, expressive and efficient tools and treatments. We introduce three kinds of constraints, that we exemplify by motivational examples. Finally, we give the procedural semantics of ...

Dense surface models can be used to register unseen surfaces, using an algorithm which is a hybrid of iterative closest-point (ICP) and active shape model (ASM) fitting. In this paper we give details of this procedure and show how it can be improved by sequentially extending the transform group over which it operates. We also evaluate it for robustness to the position of the target and to shape...

In this chapter we consider optimal control problems with additional inequality constraints imposed on the control unknown u and for their efficient solution we combine a primal-dual active-set strategy with the multigrid method developed in the previous chapter. Control-constraints are specified by the condition u ∈ Uad, where the set of admissible controls Uad ⊂ L(Ω) is a proper subset of L(Ω...

Ž . In this article we compare two contrasting methods, active set method ASM and genetic algorithms, for learning the weights in aggregation operators, such as weighted mean Ž . Ž . WM , ordered weighted average OWA , and weighted ordered weighted average Ž . WOWA . We give the formal definitions for each of the aggregation operators, explain the two learning methods, give results of processin...

The paper is concerned with mechanical systems which are controlled by implementing a number of time-dependent, frictionless holonomic constraints. The main novelty is due to the presence of additional non-holonomic constraints. We develop a general framework to analyze these problems, deriving the equations of motion and studying the continuity properties of the “input-to-trajectory” maps. Var...

Constructing active sets is a key part of the Multivariate Decomposition Method. An algorithm for constructing optimal or quasi-optimal active sets is proposed in the paper. By numerical experiments, it is shown that the new method can provide sets that are significantly smaller than the sets constructed by the already existing method. The experiments also show that the superposition dimension ...

CDMA cellular networks support soft handover, which guarantees the continuity of wireless services and enhanced communication quality. Cellular networks performance depends upon Soft handover parameters. In this paper, we have shown the effect of soft handover parameters on the performance of CDMA cellular networks. We consider HYST_ ADD and HYST_ DROP as the Soft handover parameters. A very us...

A systematic control structure design method is applied on the concentric heatintegrated distillation column (HIDiC) separating benzene and toluene. A degrees of freedom analysis is provided for identifying potential manipulated and controlled variables. Optimal operation is mapped and active constraints are identified for constructing the supervisory control layer. The fundamental problem of o...

For animal bipedal locomotion analysis, an immense amount of recorded image data has to be evaluated by biological experts. During this time-consuming evaluation single anatomical landmarks have to be annotated in each image. In this paper we reduce this effort by automating the annotation with a minimum level of user interaction. Recent approaches, based on Active Appearance Models, are improv...

The reverse link in-cell and other-cell interference in power controlled cellular CDMA networks determine the reverse link capacity, and thus to a large extent the overall network capacity. A common modeling assumption is that a mobile is power controlled by a sector belonging to a set closest to it (minimum reverse link path-loss sense). However, in an actual IS-95-based system the mobile tran...