359 search results - page 61 / 72 » Reachability for Continuous and Hybrid Systems |
IJCSA
2006
13 years 10 months ago
2006
According to statistics, the rate of having cancer is relatively high for people in developing and developed countries. So cancer can be called as the enemy of human health. With ...
ICLP
2010
Springer
14 years 2 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
ABIALS
2008
Springer
14 years 6 days ago
2008
Springer
Abstract. In order to establish autonomous behavior for technical systems, the well known trade-off between reactive control and deliberative planning has to be considered. Within ...
CIMCA
2008
IEEE
14 years 4 months ago
2008
IEEE
Heart disease continues to be leading cause of morbidity and mortality among adults all over the world. Cardiac risk factor assessment requires a classification system that is rob...
ASPDAC
2007
ACM
14 years 2 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...