On Pushout Consistency, Modularity and Interpolation for Logical Specifications.
Paulo A. S. VelosoPublished in: Inf. Process. Lett. (1996)
Keyphrases
- image interpolation
- global consistency
- edge directed
- delay insensitive
- interpolation methods
- community detection
- formal specification
- specification language
- social networks
- reactive systems
- logical formulas
- logical reasoning
- software engineering
- logical framework
- multiscale
- path consistency
- case study
- logical properties
- interpolation algorithm
- search engine
- learning algorithm