PSI 2014:Keyword Index

Keyword	Papers
A
almost well relation	Turchin's Relation and Subsequence Relation in Loop Approximation
C
combinatorial optimization	Multiple Ant Colony Optimization for Single Depot Multiple Trip Vehicle Routing Problems
G
graphical modeling	Making the Evolution of Graphical Models Visible
H
Higman embedding	Turchin's Relation and Subsequence Relation in Loop Approximation
Human Computer Interface	Making the Evolution of Graphical Models Visible
L
loop approximation	Turchin's Relation and Subsequence Relation in Loop Approximation
M
message passing	A Sufficient Condition for the Observational Equivalence of Processes
Multiple Ant Colony Optimization	Multiple Ant Colony Optimization for Single Depot Multiple Trip Vehicle Routing Problems
Multiple-trip vehicle routing problem	Multiple Ant Colony Optimization for Single Depot Multiple Trip Vehicle Routing Problems
P
processes	A Sufficient Condition for the Observational Equivalence of Processes
program transformation	Turchin's Relation and Subsequence Relation in Loop Approximation
R
repository mining	Making the Evolution of Graphical Models Visible
S
sliding window protocol	A Sufficient Condition for the Observational Equivalence of Processes
supercompilation	Turchin's Relation and Subsequence Relation in Loop Approximation
T
textual modeling	Making the Evolution of Graphical Models Visible
V
verification	A Sufficient Condition for the Observational Equivalence of Processes
version control	Making the Evolution of Graphical Models Visible