9067 search results - page 278 / 1814 » Adaptive Model Checking |
204
click to vote
CF
2004
ACM
16 years 2 days ago
2004
ACM
Pervasive computing applications allow users to access information from anywhere while traveling and using variety of devices. Heterogeneity and limitation of resources involved i...
158
click to vote
ICALT
2007
IEEE
2007
IEEE
Towards Advanced Learner Modeling: Discussions on Quasi Real-time Adaptation with Physiological Data
16 years 29 days ago
In this paper, we discuss the use of physiological data for quasi real-time adaptation in ITS. We present preliminary results where we analyze learners’ reactions while using a ...
194
click to vote
ICAC
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we design, implement and evaluate AdaptGuard, a software service for guarding adaptive systems, such as QoS-adaptive servers, from instability caused by software an...
186
click to vote
ECAL
1999
Springer
15 years 11 months ago
1999
Springer
We use a new general-purpose model of neutral evolution of genotypes to make quantitative comparisons of diversity and adaptive evolutionary activity as a function of mutation rate...
166
click to vote
NECO
2007
15 years 6 months ago
2007
We propose a Markov process model for spike-frequency adapting neural ensembles which synthesizes existing mean-adaptation approaches, population density methods, and inhomogeneou...