Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms.
Vladimir V. RybakovPublished in: LFCS (2007)
Keyphrases
- worst case
- orders of magnitude
- parallel implementations
- graph theory
- knowledge representation
- computational efficiency
- temporal data
- recently developed
- real world
- computationally efficient
- spatio temporal
- theoretical analysis
- times faster
- parallel processing
- efficient implementation
- expert systems
- temporal constraints
- decision trees
- parallel processors
- genetic algorithm