963 search results - page 99 / 193 » Modeling and analysis of real -time systems with mutex compo... |
110
click to vote
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— Bayesian filtering is a general framework for recursively estimating the state of a dynamical system. The most common instantiations of Bayes filters are Kalman filt...
106
click to vote
EVOW
2006
Springer
15 years 3 months ago
2006
Springer
A new method for the analysis of 3D medical images is introduced. The algorithm is based on Biological Models of ants known as Artificial Life models. Test images (lung Computed To...
BIB
2007
15 years 4 hour ago
2007
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...
104
click to vote
JODL
2008
14 years 12 months ago
2008
e-Learning organizations are focusing heavily on learning content reusability. The ultimate objective is a learning object economy characterized by searchable digital libraries of ...
116
click to vote
FUIN
2006
14 years 12 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...