An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph.
Yaoxue ZhangKaoru TakahashiNorio ShiratoriShoichi NoguchiPublished in: IEEE Trans. Software Eng. (1988)
Keyphrases
- learning algorithm
- graph based algorithm
- graph structure
- minimum spanning tree
- dynamic programming
- spanning tree
- computational complexity
- database
- objective function
- maximum flow
- graph construction
- state transition
- graph partitioning
- undirected graph
- image segmentation
- probability distribution
- np hard
- mobile devices
- search space
- relational databases