Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
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
Copyright © 2012-2023 easychair.org. All rights reserved.