687 search results - page 76 / 138 » Specification and Verification of Model Transformations Usin... |
PKDD
2000
Springer
14 years 16 days ago
2000
Springer
Although there is a growing need for multi-relational data mining solutions in KDD, the use of obvious candidates from the field of Inductive Logic Programming (ILP) has been limit...
TSE
2008
13 years 8 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
ENTCS
2006
13 years 9 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
ISSTA
1998
ACM
14 years 17 days ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
IJSI
2008
13 years 9 months ago
2008
In this paper, we demonstrate the use of qualitative spatial modelling as the foundation for the conceptual representation of route instructions, to enable robust humanrobot intera...