444 search results - page 75 / 89 » Automated Logical Verification Based on Trace Abstractions |
CAV
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
FUZZIEEE
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract-- This paper presents a comparison of three different design concepts for Genetic Fuzzy systems. We apply a Symbiotic Evolution that uses the Michigan approach and two app...
ICAS
2006
IEEE
14 years 1 months ago
2006
IEEE
— We target the problem of predicting resource usage in situations where the modeling data is scarce, non-stationary, or expensive to obtain. This scenario occurs frequently in c...
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...
DLOG
2011
12 years 11 months ago
2011
The detection of changes between OWL ontologies is an important service for ontology engineering. There are several approaches to this problem, both syntactic and semantic. A purel...