2902 search results - page 366 / 581 » Simple Local Models for Complex Dynamical Systems |
126
click to vote
JMLR
2007
15 years 3 months ago
2007
We introduce standardised building blocks designed to be used with variational Bayesian learning. The blocks include Gaussian variables, summation, multiplication, nonlinearity, a...
152
click to vote
ECBS
2010
IEEE
15 years 7 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
123
click to vote
AIPS
2003
15 years 4 months ago
2003
Scheduling algorithms for real-time systems can be characterized in various ways, one of the most important ones of which is the underlying task model. Many concepts of real-time ...
123
click to vote
FOSSACS
2000
Springer
15 years 6 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
119
click to vote
RE
2001
Springer
15 years 7 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...