3318 search results - page 194 / 664 » The Weak Instance Model |
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
TSMC
2011
13 years 3 months ago
2011
— Most state-based approaches to fault diagnosis of discrete-event systems require a complete and accurate model of the system to be diagnosed. In this paper, we address the prob...
CADE
2009
Springer
14 years 9 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
CIRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— Learning motion models of a moving object is a challenge for autonomous robots. We address the particular instance of parameter learning when tracking object motions in a switc...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— Intention recognition is an important topic in human-robot cooperation that can be tackled using probabilistic model-based methods. A popular instance of such methods are Bayes...