29172 search results - page 236 / 5835 » Modeling Systems in CLP |
186
click to vote
ESSMAC
2003
Springer
15 years 12 months ago
2003
Springer
Gaussian Process prior models, as used in Bayesian non-parametric statistical models methodology are applied to implement a nonlinear adaptive control law. The expected value of a...
143
click to vote
EICS
2009
ACM
15 years 10 months ago
2009
ACM
Distributed interactive systems often rely on platform information, used for example when migrating a user interface to a small-screen device, or when opportunistically recruiting...
179
click to vote
WSC
2008
15 years 9 months ago
2008
Despite increasing dependency on technology, the importance of humans is expected to increase and to provide a realistic basis for decision support; both technical and organizatio...
195
click to vote
RTSS
2003
IEEE
15 years 12 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
131
click to vote
CAV
1990
Springer
15 years 10 months ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values