ALOS PALSAR products verification.

Thomas Börner Konstantinos P. Papathanassiou Nicolas Marquart Manfred Zink Martin Meininger Peter J. Meadows Anthony J. Rye Patricia A. Wright Betlem Rosich Tell

Published in: IGARSS (2007)

Keyphrases

neural network
concurrent systems
high security
formal verification
signature verification
artificial intelligence
product line
product design
face verification
model checking
test generation
long tail
customer demand
data structure
information systems
software vendors
handwritten signature verification