Sciweavers

9067 search results - page 508 / 1814
» Adaptive Model Checking
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Identification of ARMA models using intermittent and quantized output observations
This paper studies system identification of ARMA models whose outputs are subject to finite-level quantization and random packet dropouts. A simple adaptive quantizer and the co...
Damián Marelli, Keyou You, Minyue Fu
MIDDLEWARE
2004
Springer
16 years 11 days ago
Mobile adaptive tasks guided by resource contracts
This paper proposes a way to realize the idea of calm computing by adding a dynamic task model into the pervasive computing environment. This task model contains information about...
Peter Rigole, Yolande Berbers, Tom Holvoet
RE
2010
Springer
15 years 1 months ago
Fuzzy Goals for Requirements-Driven Adaptation
Self-adaptation is imposing as a key characteristic of many modern software systems to tackle their complexity and cope with the many environments in which they can operate. Self-a...
Luciano Baresi, Liliana Pasquale, Paola Spoletini
ICWE
2004
Springer
16 years 12 days ago
Engineering the Presentation Layer of Adaptable Web Information Systems
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and specification frameworks. A complete model-driven methodology like Hera disting...
Zoltán Fiala, Flavius Frasincar, Michael Hi...
ACL
2007
15 years 8 months ago
Bilingual-LSA Based LM Adaptation for Spoken Language Translation
We propose a novel approach to crosslingual language model (LM) adaptation based on bilingual Latent Semantic Analysis (bLSA). A bLSA model is introduced which enables latent topi...
Yik-Cheung Tam, Ian R. Lane, Tanja Schultz