9067 search results - page 524 / 1814 » Adaptive Model Checking |
229
click to vote
ICDM
2007
IEEE
15 years 11 months ago
2007
IEEE
Many data mining applications can benefit from adapting existing classifiers to new data with shifted distributions. In this paper, we present Adaptive Support Vector Machine (Ada...
182
click to vote
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In Model-Driven Engineering models and metamodels are not preserved from the evolutionary pressure which inevitably affects almost any artefacts. Moreover, the coupling b...
162
Voted
WSC
2008
15 years 9 months ago
2008
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. Validation of emergent behavior requires accumulation...
219
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—We present a blind turbo equalizer for QAM signals that exploits the statistics that a channel code imposes on the transmitted signal. The receiver is an adaptation of previous ...
209
click to vote
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
Energy-efficient real-time task scheduling has been actively explored in the past decade. Different from the past work, this paper considers schedulability conditions for stochas...