Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
Frameworks that support the implementation and execution of service compositions are a fundamental component of middleware infrastructures that support the design of adaptive syste...
Some researches have used concept maps to support navigation in m-Learning applications. Nevertheless, as this navigation support is not very flexible, adaptation to learner chara...
— In this paper, a de-interlacing algorithm to find the optimal deinterlaced results given accuracy-limited motion information is proposed. The de-interlacing process is formula...
— In this paper, we describe the adaptation of an autonomous robotic wheelchair for cognitive disabled children. The constraints imposed by these users require developing speci...
Luis Montesano, Javier Minguez, J. M. Alcubierre, ...