247 search results - page 4 / 50 » Development graphs - Proof management for structured specifi... |
67
Voted
IRAL
2000
ACM
15 years 1 months ago
2000
ACM
We propose a method to create process flow graphs automatically from textbooks for cooking programs. This is realized by understanding context by narrowing down the domain to cook...
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
With the development of highly efficient graph data collection technology in many application fields, classification of graph data emerges as an important topic in the data mining...
101
Voted
AGTIVE
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
WADT
1998
Springer
15 years 1 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
79
Voted
INFOVIS
2003
IEEE
15 years 2 months ago
2003
IEEE
An increasing number of tasks require people to explore, navigate and search extremely complex data sets visualized as graphs. Examples include electrical and telecommunication ne...