Interactions Between PVS and Maple in Symbolic Analysis of Control Systems.

Published in: Calculemus (2005)

Keyphrases

quantitative analysis
statistical analysis
databases
real time
control system
data sets
genetic algorithm
multiscale
data analysis
neural network
database
decision trees
case study
three dimensional
data structure
video sequences
artificial neural networks