9067 search results - page 557 / 1814 » Adaptive Model Checking |
189
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The need for adaptive and personalized Rich Internet Application puts a new dimension to already existing approaches of Adaptive Hypermedia Systems. Instead of computing ...
192
click to vote
LWA
2004
15 years 8 months ago
2004
This paper discusses ongoing work towards a theoretical basis intended to facilitate the development of self-regulating adaptive systems. Self-regulation refers to the capacity of...
192
click to vote
VMV
2004
15 years 8 months ago
2004
We present an approach for extracting coherently sampled animated meshes from input sequences of incoherently sampled meshes representing a continuously evolving shape. Our approa...
148
click to vote
JSW
2008
15 years 7 months ago
2008
Checkpointing is a commonly used approach to provide system fault-tolerance. However, using a constant checkpointing frequency may compromise the system's overall performance ...
190
click to vote
AUTOMATICA
2004
15 years 7 months ago
2004
This paper deals with the adaptive control of a class of continuous-time nonlinear dynamic systems preceded by an unknown dead-zone. By using a new description of a dead-zone and ...