9067 search results - page 555 / 1814 » Adaptive Model Checking |
218
click to vote
ESWA
2007
15 years 6 months ago
2007
In this paper it is presented our contribution for carrying out adaptive and intelligent Web-based Education Systems (WBES) that take into account the individual student learning ...
185
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—The Service-Oriented Architecture (SOA) leverages ice abstraction to enable the development of modular, loose-coupled and distributed applications. In order to use such an archi...
163
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper, we start from an assigned control law with known probability distributions of its execution time. Our goal is to identify an optimised scheduling policy that allows ...
185
click to vote
TSP
2010
15 years 1 months ago
2010
A quaternion widely linear (QWL) model for quaternion valued mean-squared-error (MSE) estimation is proposed. The augmented statistics are first introduced into the field of quater...
275
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
In this paper we present a novel method for foreground segmentation. Our proposed approach follows a nonparametric background modeling paradigm, thus the background is modeled by ...