2502 search results - page 78 / 501 » Using probabilistic model checking in systems biology |
CAV
2010
Springer
14 years 13 days ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
DAGM
2005
Springer
14 years 2 months ago
2005
Springer
The ability to accurately localize objects in an observed scene is regarded as an important precondition for many practical applications including automatic manufacturing, quality ...
GFKL
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
SPIN
2000
Springer
14 years 20 days ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
ICANN
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. A real-time, large scale, leaky-integrate-and-fire neural network processor realized using FPGA is presented. This has been designed, as part of a collaborative project,...