4126 search results - page 75 / 826 » Relationships with other Formalisms |
149
click to vote
ALT
2001
Springer
16 years 3 months ago
2001
Springer
The present work is dedicated to the study of modes of data-presentation in the range between text and informant within the framework of inductive inference. In this study, the le...
166
click to vote
MLG
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. There are many connections between graph mining and inductive logic programming (ILP), or more generally relational learning. Up till now these connections have mostly be...
118
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...
175
click to vote
VL
1999
IEEE
15 years 10 months ago
1999
IEEE
The formal treatment of visual languages is often based on graph representations. Since the matter of discourse is visual languages, it would be convenient if the formal manipulat...
203
click to vote
ICSEA
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...