Sciweavers

313 search results - page 2 / 63
» Automated Qualitative Domain Abstraction
Sort
View
ICFEM
2009
Springer
13 years 12 months ago
Qualitative Action Systems
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
Bernhard K. Aichernig, Harald Brandl, Willibald Kr...
LOPSTR
2005
Springer
13 years 10 months ago
Converting One Type-Based Abstract Domain to Another
John P. Gallagher, Germán Puebla, Elvira Al...
COSIT
2009
Springer
125views GIS» more  COSIT 2009»
13 years 9 months ago
Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms
Abstract. This paper addresses the problem of merging qualitative constraint networks (QCNs) defined on different qualitative formalisms. Our model is restricted to formalisms wher...
Jean-François Condotta, Souhila Kaci, Pierr...
XPS
1997
13 years 6 months ago
Automated Diagnosis of Car-Subsystems Based on Qualitative Models
The paper presents objectives and results of a series of case studies in computer support for diagnosis, failure mode and effects analysis, and the creation of repair manuals in t...
Peter Struss, Andreas Malik