687 search results - page 76 / 138 » Specification and Verification of Model Transformations Usin... |
102
Voted
PKDD
2000
Springer
15 years 4 months 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...
117
Voted
TSE
2008
15 years 14 days 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...
107
Voted
ENTCS
2006
15 years 17 days 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...
107
click to vote
ISSTA
1998
ACM
15 years 4 months 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...
115
click to vote
IJSI
2008
15 years 17 days 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...