Login / Signup
GateComp: Equivalence Checking in CVE.
Rolf Drechsler
Published in:
MBMV (1) (2001)
Keyphrases
</>
collaborative virtual environments
real time
data sets
consistency checking
database
similarity measure
search algorithm
neural network
genetic algorithm
multiscale
expert systems