1669 search results - page 9 / 334 » Structured Specification of Model Interpreters |
KI
2008
Springer
13 years 7 months ago
2008
Springer
This paper explores the applicability of two formal models of spatial relations, Double Cross and RfDL3-12, to interpret some typical expressions that people use for describing a r...
ECSQARU
2009
Springer
14 years 1 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
IFIP
1992
Springer
13 years 11 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
FSS
2008
13 years 7 months ago
2008
This paper introduces a new approach to classification which combines pairwise decomposition techniques with ideas and tools from fuzzy preference modeling. More specifically, our...
SLOGICA
2008
13 years 7 months ago
2008
Fuzzy logics are in most cases based on an ad-hoc decision about the interpretation of the conjunction. If they are useful or not can typically be found out only by testing them wi...