1222 search results - page 56 / 245 » A Bayesian Approach to Model Checking Biological Systems |
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
128
click to vote
MEMOCODE
2007
IEEE
15 years 10 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
133
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— A biologically inspired azimuthal broadband sound localisation system is introduced to simulates the functional organisation of the human auditory midbrain up to the inferior c...
113
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
131
click to vote
IJCAI
2007
15 years 5 months ago
2007
Coronary Heart Disease can be diagnosed by measuring and scoring regional motion of the heart wall in ultrasound images of the left ventricle (LV) of the heart. We describe a comp...