Login / Signup
Formal Specification and Verification of the pGVT Algorithm.
Balakrishnan Kannikeswaran
Radharamanan Radhakrishnan
Peter Frey
Perry Alexander
Philip A. Wilsey
Published in:
FME (1996)
Keyphrases
</>
optimal solution
learning algorithm
formal specification
detection algorithm
k means
np hard
dynamic programming
information systems
expectation maximization
databases
real world
classification algorithm
model checking
key features