: Toward a Synthesis between Z and B.

Jean-Raymond Abrial

Published in: ZB (2003)

Keyphrases

texture synthesis
program synthesis
databases
genetic algorithm
image sequences
face recognition
wide range
pattern recognition
relational databases