Sciweavers

19010 search results - page 328 / 3802
» Adaptive A
Sort
View
ESORICS
2007
Springer
16 years 25 days ago
Adaptive Soundness of Static Equivalence
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...
Steve Kremer, Laurent Mazaré
OTM
2007
Springer
16 years 24 days ago
Building Adaptive Systems with Service Composition Frameworks
Frameworks that support the implementation and execution of service compositions are a fundamental component of middleware infrastructures that support the design of adaptive syste...
Liliana Rosa, Luís Rodrigues, Antóni...
ICALT
2006
IEEE
16 years 22 days ago
A Navigation Interface for Adaptive m-Learning Applications
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...
Laércio Sambüc dos Anjos, José ...
ICIP
2006
IEEE
16 years 21 days ago
Discontinuity-Adaptive De-Interlacing Scheme Using Markov Random Field Model
— 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...
Min Li, Truong Q. Nguyen
IROS
2006
IEEE
111views Robotics» more  IROS 2006»
16 years 21 days ago
Towards the Adaptation of a Robotic Wheelchair for Cognitive Disabled Children
— 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, ...