A great amount of work has been devoted to the understanding of the long time behavior of cellular automata CA As for any other kind of dynamical system the long time behavior of a CA is described by its attractors In this context it has been proved that it is undecidable to know whether every circular con guration of a given CA evolves to some xed point not unique In this paper we prove that i...

This paper presents a practical motion planner for humanoids and animated human gures. Modeling human motions as a sum of rigid body and cyclic motions, we identify body postures that represent the rigid-body part of typical motion patterns. This leads to a model of the con guration space that consists of a multi-layered grid, each layer corresponding to a single posture. A global search throug...

For solving complex robot tasks it is necessary to incorpo rate path planning methods that are able to operate within di erent high dimensional con guration spaces containing an unknown number of obstacles Based on Advanced A algorithm AA using expansion matrices instead of a simple expansion logic we propose a further im provement of AA enabling the capability to learn directly from sample pla...

Compromised sensor nodes and potential insider attacks are a serious threat in wireless sensor networks. at is why implicit attestation protocols have been proposed for detecting compromised sensor nodes in hybrid sensor networks. ese protocols can provide evidence through attestation techniques that the soŸware of a node is unmodied. However, they are not compatible with code updates, because...

In this paper we give an axiomatic characterization of three families of measures of success de…ned by Laruelle and Valenciano (2005) for voting rules. Key words: collective decision-making, voting rules, axiomatization 1. Introduction The aim of this paper is to provide an axiomatization of the measures of success in voting rules. We look for a set of axioms, that is, assumptions that, whateve...

A procedure for tailoring a blended wing-body con guration to reduce its computed wave drag is described. The method utilizes an iterative algorithm within the framework of rst-order linear theory. Four computed examples are included. In each case, the zero-lift wave drag was reduced without an increase in drag due to lift. Introduction In the initial rough-cut state of supersonic conguration d...

Recent research has led to proposals for the model-driven configuration of Enterprise Systems (ES) by the help of configurable reference models. While the proposed on gura le P s (C-EPCs) provide adequate conceptual support towards reference model configuration, the issue of translating the configured models towards executable process specifications has not been approached yet. A first step in ...

This paper reports our experiences gained in designing, implementing, and experimenting with technologies for improved support for cooperative work in our con guration management (CM) system. The aim of the work has been to nd a set of mechanisms supporting cooperation in a range of situations, from planning and scheduling long-lasting CM activities, to resolving access con icts between users. ...

Traditional con gurable operating systems typically provide a xed and limited set of functionality. We propose a metalevel architecture, where application-de ned objects can choose from a rich selection of possible con gurations and are therefore able to dynamically change the way in which they are executed to the con guration that suits best. This allows applications to adapt operating system ...

A procedure is provided to detect multiple change-points in the mean of very large Gaussian signals. From an algorithmical point of view, visiting all possible con gurations of change-points cannot be performed on large samples. The proposed procedure runs CART rst in order to reduce the number of con gurations of change-points by keeping the relevant ones, and then runs an exhaustive search on...