Jtlv: A Framework for Developing Verification Algorithms.
Amir PnueliYaniv Sa'arLenore D. ZuckPublished in: CAV (2010)
Keyphrases
- times faster
- computational cost
- main contribution
- data structure
- computational complexity
- graph theory
- computationally efficient
- lightweight
- worst case
- conceptual framework
- convergence rate
- recently developed
- data mining algorithms
- theoretical framework
- optimization problems
- real time
- multi class
- significant improvement
- objective function
- information systems
- computer vision
- neural network
- databases