1213 search results - page 137 / 243 » Traceability for System Families |
ICOST
2010
Springer
13 years 8 months ago
2010
Springer
This paper presents a guideline-driven healthcare service platform for smart homes. The clinical guidelines are usually established by medical experts according to the symptoms of ...
CDC
2010
IEEE
13 years 6 months ago
2010
IEEE
In this paper a distributed algorithm for clock synchronization is proposed. This algorithm is based on an extension of the consensus algorithm able to synchronize a family of dou...
CDC
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract-- We consider reinforcement learning, and in particular, the Q-learning algorithm in large state and action spaces. In order to cope with the size of the spaces, a functio...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
We establish the restricted isometry property for finite dimensional Gabor systems, that is, for families of time–frequency shifts of a randomly chosen window function. We show...
ICDT
2012
ACM
12 years 1 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...