4166 search results - page 530 / 834 » Automating the constraining process |
134
click to vote
ECSQARU
2009
Springer
15 years 11 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 ...
124
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
132
click to vote
ICCBR
2009
Springer
15 years 11 months ago
2009
Springer
Personalizing the product recommendation task is a major focus of research in the area of conversational recommender systems. Conversational case-based recommender systems help use...
151
click to vote
ICCBR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a case-based reasoning technique based on conceptual neighborhoods of cases. The system applies domain knowledge to the case retrieval process in the form of r...
129
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...