2573 search results - page 180 / 515 » Combinations of Modal Logics |
126
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
135
click to vote
DFG
2004
Springer
15 years 10 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
116
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
ound in BMC by Combining Constant Propagation and Abstraction Roy Armoni, Limor Fix1 , Ranan Fraer1 , Tamir Heyman1,3 , Moshe Vardi2 , Yakir Vizel1 , Yael Zbar1 1 Logic and Validat...
142
click to vote
IPMU
2010
Springer
15 years 6 months ago
2010
Springer
The classification of remote sensing images performed with different classifiers usually produces different results. The aim of this paper is to investigate whether the outputs of ...
145
click to vote
LPAR
2004
Springer
15 years 10 months ago
2004
Springer
We propose a new parameter for the complexity of finite directed graphs which measures to what extent the cycles of the graph are intertwined. This measure, called entanglement, i...