HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

PSI 2014:Keyword Index

KeywordPapers
A
almost well relationTurchin's Relation and Subsequence Relation in Loop Approximation
C
combinatorial optimizationMultiple Ant Colony Optimization for Single Depot Multiple Trip Vehicle Routing Problems
G
graphical modelingMaking the Evolution of Graphical Models Visible
H
Higman embeddingTurchin's Relation and Subsequence Relation in Loop Approximation
Human Computer InterfaceMaking the Evolution of Graphical Models Visible
L
loop approximationTurchin's Relation and Subsequence Relation in Loop Approximation
M
message passingA Sufficient Condition for the Observational Equivalence of Processes
Multiple Ant Colony OptimizationMultiple Ant Colony Optimization for Single Depot Multiple Trip Vehicle Routing Problems
Multiple-trip vehicle routing problemMultiple Ant Colony Optimization for Single Depot Multiple Trip Vehicle Routing Problems
P
processesA Sufficient Condition for the Observational Equivalence of Processes
program transformationTurchin's Relation and Subsequence Relation in Loop Approximation
R
repository miningMaking the Evolution of Graphical Models Visible
S
sliding window protocolA Sufficient Condition for the Observational Equivalence of Processes
supercompilationTurchin's Relation and Subsequence Relation in Loop Approximation
T
textual modelingMaking the Evolution of Graphical Models Visible
V
verificationA Sufficient Condition for the Observational Equivalence of Processes
version controlMaking the Evolution of Graphical Models Visible
Copyright © 2012-2023 easychair.org. All rights reserved.