694 search results - page 132 / 139 » Open Graphs and Computational Reasoning |
IPSN
2010
Springer
14 years 2 months ago
2010
Springer
A noise map facilitates monitoring of environmental noise pollution in urban areas. It can raise citizen awareness of noise pollution levels, and aid in the development of mitigat...
CAV
2010
Springer
14 years 25 days ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
BMCBI
2010
13 years 9 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
BMCBI
2010
13 years 9 months ago
2010
nd: Gene regulatory network is an abstract mapping of gene regulations in living cells that can help to predict the system behavior of living organisms. Such prediction capability...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
In the present paper, we investigate consequence relations that are both paraconsistent and plausible (but still monotonic). More precisely, we put the focus on pivotal consequenc...