391 search results - page 6 / 79 » Code Improvements for Model Elimination Based Reasoning Syst... |
111
Voted
ATVA
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
90
Voted
ESEM
2007
ACM
15 years 18 hour ago
2007
ACM
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
75
Voted
AMAI
2006
Springer
14 years 10 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
92
Voted
WSC
2008
15 years 17 days ago
2008
Simulation of wildfire spread remains to be a challenging task. In previous work, a cellular space fire spread simulation model has been developed based on the Discrete Event Syst...
100
Voted
ECAI
1990
Springer
15 years 2 months ago
1990
Springer
In case-based reasoning (CBR) a problem is solved by matching the problem description to a previously solved case, using the past solution in solving the new problem. A case-based...